scholarly journals Verifying Service Choreography Model Based on Description Logic

2016 ◽  
Vol 2016 ◽  
pp. 1-20 ◽  
Author(s):  
Minggang Yu ◽  
Zhixue Wang ◽  
Xiaoxing Niu
Keyword(s):  
Web Services ◽  
Conceptual Framework ◽  
Description Logic ◽  
Formal System ◽  
Model Verification ◽  
Description Language ◽  
New Approach ◽  
Service Choreography ◽  
The Given

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. The paper presents a new approach of choreography model verification based on Description Logic. A metamodel of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoner. A case study is given to demonstrate applicability of the method. Furthermore, the work will be compared with other related researches.

Upgrading Non-Technological Capabilities

2021 ◽  
pp. 268-302
Author(s):  
Jae-Yong Choung ◽  
Hye-Ran Hwang
Keyword(s):  
Conceptual Framework ◽  
Technology Policy ◽  
Technological Development ◽  
Financial Innovation ◽  
Science And Technology Policy ◽  
Technological Capabilities ◽  
Technological Aspect ◽  
New Approach ◽  
Catch Up

In recent years, Korean firms have struggled with slowdowns of both these world-first developments and their export to overseas markets. Despite technological development process, however, important questions remain with respect to how non-technological capabilities such as organizational, regulatory, and financial innovation affect accumulation and failure. To address these concerns, the key components of a conceptual framework for investigating non-technological capabilities for transition consist of the existing government, R&D organizations, and inter-firm relations. We analyze the performance and limitations of non-technological capabilities in the process of transition from the catch-up system to the innovation-based system in Korea. Using the case study of system rather than mass products, we hope that this research can contribute to the understating of non-technological features of energy-sector transitional dynamics in Korea. Finally this research would provide a new approach to the challenges from a non-technological aspect and can also provide differentiated science and technology policy strategies for the catch-up economies.

scholarly journals Application of interval valued fuzzy-rough numbers in multi-criteria decision making: The IVFRN-MAIRCA model

2019 ◽  
Vol 29 (2) ◽  
pp. 221-247 ◽  
Author(s):  
Dragan Pamucar ◽  
Goran Cirovic ◽  
Darko Bozanic
Keyword(s):  
Decision Making ◽  
Sensitivity Analysis ◽  
High Stability ◽  
Multi Criteria Decision Making ◽  
Analysis Method ◽  
New Approach ◽  
The Given ◽  
Interval Valued ◽  
Selection Of

This paper presents a new approach for the treatment of uncertainty and imprecision based on interval-valued fuzzy-rough numbers (IVFRNs). IVFRNs make a decision making possible using only the internal knowledge from the data, using objective indeterminacy without the need to rely on models of any assumption. Namely, instead of subjectively entering external uncertainties, the structure of the given data is used. Taking into account the given assumptions, we developed an original multi-criteria model based upon the IVFR approach. In the multi-criteria model the traditional MAIRCA (Multi-Attribute Ideal-Real Comparative Analysis) method was modified. The model was tested and validated on a case study, considering selection of the optimal landing operations point for overcoming water obstacles. The sensitivity analysis of the IVFRN MAIRCA model was carried out through 24 scenarios which showed that our results are of a high stability degree.

ONTOLOGY-BASED SEMANTIC VERIFICATION FOR UML BEHAVIORAL MODELS

2013 ◽  
Vol 23 (02) ◽  
pp. 117-145 ◽  
Author(s):  
HONGYUE HE ◽  
ZHIXUE WANG ◽  
QINGCHAO DONG ◽  
WEIZHONG ZHANG ◽  
WEIXING ZHU
Keyword(s):  
Description Logic ◽  
System Analysis ◽  
Formal Semantics ◽  
Behavioral Model ◽  
Model Verification ◽  
Behavioral Models ◽  
Analysis And Design ◽  
Requirements Modeling ◽  
Logic System

UML is now popularly applied as a requirements modeling language for software system analysis and design, and the dynamic behaviors of system are described in UML behavioral model. As the UML model suffers from lack of well-defined formal semantics, it is difficult to formally analyze and verify the behavioral model. The paper presents a method of UML behavioral model verification based on Description Logic system and its formal inference. The semantics of UML behavioral models is divided into static semantics and dynamic semantics, which are formally specified in OWL DL ontology and DL-Safe rules. To check the consistency of the behavioral models, the algorithms are provided for transforming UML behavioral models into OWL DL ontology, and hence model consistency can be verified through formal reasoning with a DL supporting reasoner Pellet. A case study is provided to demonstrate applicability of the method.

Analysis and Design of Semantic Web Services Using MDA and SBC Structure

2013 ◽  
Vol 284-287 ◽  
pp. 3340-3344
Author(s):  
Syun Sheng Jhan ◽  
Chung An Teng ◽  
Shao Hsuan Yeh
Keyword(s):  
Web Services ◽  
Description Language ◽  
Analysis And Design ◽  
Model Driven ◽  
Software Analysis ◽  
Development Cycle ◽  
Service Oriented ◽  
Domain Description ◽  
Architecture Development

The software analysis and design could be executed by Object Oriented architecture, but it might be unsuitable for Web Services due to their interoperability and transmission. Oppositely, the Service-Oriented and Resource-Oriented Architectures should allow of them. The software builds up a bridge between two Internet services or resources. This study has proposed what software analysis and design of Web Services can adopt the Structure-Behavior Coalescence Diagram and UML-like state and class diagrams as domain description language with Model-Driven Architecture development cycle. The case study of Plurk social website is successfully tested and verified.

Parallelizing Web Service Upload \ Download files

2018 ◽  
Vol 8 (3) ◽  
pp. 15
Author(s):  
Mustapha Mohammed Baua'a
Keyword(s):  
Web Services ◽  
Response Time ◽  
Web Service ◽  
File System ◽  
Programming Environment

The I\O file system Read\Write operations are considered the most significant characteristics. Where, many researchers focus on their works on how to decrease the response time of I\O file system read\write operations. However, most articles concentrate on how to read\write content of the file in parallelism manner. Here in this paper, the author considers the parallelizing Read\Write whole file bytes not only its contents. A case study has been applied in order to make the idea more clear. It talks about two techniques of uploading\downloading files via Web Service. The first one is a traditional way where the files uploaded and downloaded serially. While the second one is uploaded\ downloaded files using Java thread in order to simulate parallelism technique. Java Netbeans 8.0.2 have been used as a programming environment to implement the Download\Upload files through Web Services. Validation results are also presented via using Mat-lab platform as benchmarks. The visualized figures of validation results are clearly clarifying that the second technique shows better response time in comparison to the traditional way.

Literary Representations of Female Identity

2002 ◽  
Vol 19 (4) ◽  
pp. 23-41
Author(s):  
Safoi Babana-Hampton
Keyword(s):  
Related Problem ◽  
Female Identity ◽  
Literary Representations ◽  
Main Interest ◽  
Female Relationships ◽  
Arab Muslim ◽  
Feminine Writing ◽  
The Given ◽  
Female Experience

The essay examines the texts of the two women writers - Leila Abouzeid (from Morocco) and Nawal El Saadawi (from Egypt) - as offering two female perspectives within what is commonly referred to as "feminine" writing in the Arab Muslim world. My main interest is to explore the various discursive articulations of female identity that are challenged or foregrounded as a positive model. The essay points to the serious pitfalls of some feminist narratives in Arab-Muslim societies by dealing with a related problem: the author's setting up of convenient conceptual dichotomies, which account for the female experience, that reduce male-female relationships in the given social context to a fundamentally antagonistic one. Abouzeid's novel will be a case study of a more positive but also realistic and complex perspec­tive on female experience ...

Sign in / Sign up

Export Citation Format

Share Document