scholarly journals A Rule-Based Language and Verification Framework of Dynamic Service Composition

2020 ◽  
Vol 12 (2) ◽  
pp. 23
Author(s):  
Willy Kengne Kungne ◽  
Georges-Edouard Kouamou ◽  
Claude Tangha
Keyword(s):  
Process Modeling ◽  
Service Composition ◽  
Operational Semantics ◽  
Modeling Language ◽  
Formal Aspect ◽  
Composite Service ◽  
Rule Based ◽  
Validation Framework ◽  
Dynamic Service Composition

The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how the processes should be built. Despite the fact that semantics is introduced in languages to increase their flexibility, dynamism is limited to find services that have disappeared or become defective. They do not offer the possibility to adapt the composite service to execution. Although rules-based languages were introduced, they remain very much dependent on the BPML which is the underlying technology. This article proposes the specification of a rule-based declarative language for the composition of services. It consists of the syntactic categories which make up the concepts of the language and a formal description of the operational semantics that highlights the dynamism, the flexibility and the adaptability of the language thus defined. This paper also presents a verification framework made of a formal aspect and a toolset. The verification framework translates service specifications into Promela for model checking. Then, a validation framework is proposed that translates the verified specifications to the operational system. Finally, a case study is presented.

DYNAMIC SERVICE COMPOSITION: A DISCOVERY-BASED APPROACH

2008 ◽  
Vol 18 (02) ◽  
pp. 199-222 ◽  
Author(s):  
JONATHAN LEE ◽  
SHANG-PIN MA ◽  
YING-YAN LIN ◽  
SHIN-JIE LEE ◽  
YAO-CHIANG WANG
Keyword(s):  
Service Composition ◽  
Service Discovery ◽  
Main Trend ◽  
Service Availability ◽  
Composite Service ◽  
Composite Pattern ◽  
Contract Net ◽  
Dynamic Service Composition ◽  
Service Oriented ◽  
Composite Services

Service-Orientated Computing (SOC) has become a main trend in software engineering that promotes the construction of applications based on the notion of services. SOC has recently attracted the researchers' attention and has been adopted industry-wide. However, service composition that enables one to aggregate existing services into a new composite service is still a highly complex and critical task in service-oriented technology. To enhance availability of composite services, we propose a discovery-based service composition framework to better integrate component services in both static and dynamic manner, including (1) to devise a notion of service availability especially for composition; (2) to develop a dynamic service composition (DSC) pattern for addressing the issues of service availability; and (3) to extend Contract Net Protocol (ECNP) to coordinate service discovery, composition and invocation based on the composite pattern. The main benefit of the proposed approach is better availability through attaching multiple candidate services for future binding.

Integrated Goal, Data and Process Modeling

2011 ◽  
pp. 43-65 ◽  
Author(s):  
John Krogstie
Keyword(s):  
Process Modeling ◽  
Rule Based ◽  
Data Resource ◽  
Business Goals ◽  
Industrial Setting ◽  
Long Time ◽  
Eu Project ◽  
Rule Systems ◽  
Different Levels

In organizations, goals and rules on different levels ranging from visions, to strategies, tactics, and operational goals have been expressed for a long time. In the IS-field, the interest on goals and rules has come from two directions. A) Business goals for use in requirements specification. B) Rule-based (expert) systems, focusing on automation of rule-execution. We were already 15 years ago involved in an EU-project Tempora together with Benkt Wangler and others where we tried to combine these worlds. Although able to produce interesting prototypes, the approaches we used then proved to be difficult to scale to an industrial setting. 15 years later we are involved in taking these approaches to a new level. We will in this paper present our approach to combining goal, data, resource and process modeling, in the support of the development and user-led evolution of what we term Model-generated Workplaces (MGWP), with an emphasis on the use of goal and rule-modeling in combination with process modeling. A case study extending an ongoing industrial trial of production rule systems is provided to illustrate some of the benefits of the approach.

Automatic Construction of Service Network based on OpenCyc

2014 ◽  
Vol 11 (4) ◽  
pp. 1-18 ◽  
Author(s):  
Xiaocao Hu ◽  
Zhiyong Feng ◽  
Shizhan Chen
Keyword(s):  
Web Services ◽  
Service Composition ◽  
Software Industry ◽  
Service Network ◽  
Composite Service ◽  
Automatic Construction ◽  
Domain Ontologies

With the advent of Web Services, the software industry is evolving from developing specific functionality from scratch to reusing functionalities off the shelf. However, a major limitation of Web Services is that manual efforts are required in the functionality reuse. Thus, Service Network is proposed as an infrastructure that allows users to discover, deploy, synthesize and compose Web Services automatically. Nevertheless, the construction of Service Network suffers from the lack of domain ontologies. Based on OpenCyc, this paper presents an approach for the automatic construction of Service Network. In particular, the authors concentrate on two fundamental concepts in Service Network, including the service semantics and the association semantics. With the semantic support of OpenCyc, the service semantics is generated by augmenting the semantics of services, and the association semantics is acquired by identifying the association relations among services. And then a case study of service composition is presented to demonstrate how Service Network facilitates the functionality reuse. It is suggested that Service Network not only can effectively generate a composite service, but also can reduce the complexity of service composition.

BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS

2004 ◽  
Vol 13 (03) ◽  
pp. 289-332 ◽  
Author(s):  
JULIANE DEHNERT ◽  
WIL M. P. VAN DER AALST
Keyword(s):  
Information System ◽  
Business Process ◽  
Process Modeling ◽  
Business Models ◽  
Formal Semantics ◽  
Business Process Modeling ◽  
Modeling Language ◽  
Correctness Criterion ◽  
Process Chains ◽  
Selection Of

This paper presents a methodology to bridge the gap between business process modeling and workflow specification. While the first is concerned with intuitive descriptions that are mainly used for communication, the second is concerned with configuring a process-aware information system, thus requiring a more rigorous language less suitable for communication. Unlike existing approaches the gap is not bridged by providing formal semantics for an informal language. Instead it is assumed that the desired behavior is just a subset of the full behavior obtained using a liberal interpretation of the informal business process modeling language. Using a new correctness criterion (relaxed soundness), it is verified whether a selection of suitable behavior is possible. The methodology consists of five steps and is illustrated using event-driven process chains as a business process modeling language and Petri nets as the workflow specification language.

scholarly journals A Novel Rules Based Approach for Estimating Software Birthmark

2015 ◽  
Vol 2015 ◽  
pp. 1-8 ◽  
Author(s):  
Shah Nazir ◽  
Sara Shahzad ◽  
Sher Afzal Khan ◽  
Norma Binti Alias ◽  
Sajid Anwar
Keyword(s):  
Fuzzy Logic ◽  
Soft Computing ◽  
Fuzzy Rule ◽  
New Technique ◽  
License Agreement ◽  
Rule Based ◽  
Software Birthmark ◽  
A New Technique

Software birthmark is a unique quality of software to detect software theft. Comparing birthmarks of software can tell us whether a program or software is a copy of another. Software theft and piracy are rapidly increasing problems of copying, stealing, and misusing the software without proper permission, as mentioned in the desired license agreement. The estimation of birthmark can play a key role in understanding the effectiveness of a birthmark. In this paper, a new technique is presented to evaluate and estimate software birthmark based on the two most sought-after properties of birthmarks, that is, credibility and resilience. For this purpose, the concept of soft computing such as probabilistic and fuzzy computing has been taken into account and fuzzy logic is used to estimate properties of birthmark. The proposed fuzzy rule based technique is validated through a case study and the results show that the technique is successful in assessing the specified properties of the birthmark, its resilience and credibility. This, in turn, shows how much effort will be required to detect the originality of the software based on its birthmark.

Transit Shift Response Analysis Through Fuzzy Rule Based-Choice Model: A Case Study of Indian Metropolitan City

2017 ◽  
Vol 3 (1) ◽  
Author(s):  
Ashu S. Kedia ◽  
D. Sowjanya ◽  
P. S. Salini ◽  
M. Jabeena ◽  
Bhimaji Krishnaji Katti
Keyword(s):  
Choice Model ◽  
Fuzzy Rule ◽  
Response Analysis ◽  
Rule Based ◽  
Metropolitan City ◽  
Shift Response

Construction of H5-Index for Conference Ranking Indicator and its Correlation to ERA

2021 ◽  
Vol 20 (01) ◽  
pp. 2150011
Author(s):  
Worapan Kusakunniran ◽  
Thearith Ponn ◽  
Nuttapol Boonsom ◽  
Suwimol Wahakit ◽  
Kittikhun Thongkanchorn
Keyword(s):  
Correlation Analysis ◽  
Quality Assessment ◽  
Computer Science ◽  
Strong Correlation ◽  
Moderate Correlation ◽  
Data Cleansing ◽  
Rule Based ◽  
Ranking Systems ◽  
Rule Based Approach

This paper develops the Scopus H5-Index rankings, using the field of computer science as a case study. The challenge begins with the inconsistency of conference names. The rule-based approach is invented to automatically clean up duplicate conferences and assign unique pseudo ID for each conference. This data cleansing process is applied on conference names retrieved from both Scopus and ERA/CORE, in order to share common pseudo IDs for the sake of correlation analysis. The proposed data cleansing process is validated using ERA 2010 and CORE 2018 as references and reports the very small errors of 0.6% and 0.4%, respectively. Then, the Scopus H5-Index 2006–2010 and Scopus H5-Index 2014–2018 rankings are constructed and compared with the existing ERA 2010 and CORE 2018 rankings, respectively. The results show that the correlation within the Scopus H5-Index rankings (i.e. Scopus H5-Index 2006–2010 and Scopus H5-Index 2014–2018) is at the top of the moderate correlation band, where the correlation within the ERA/CORE rankings (ERA 2010 and CORE 2018) is at the top of the strong correlation band. While the correlations across ranking systems (i.e. Scopus H5-Index 2006–2010 vs. ERA 2010, and Scopus H5-Index 2014–2018 vs. CORE 2018) are at the bottom and middle of the moderate correlation band. It can be said that the quality assessment using the Scopus H5-Index ranking is more dynamic and quickly up-to-date when compared with the ERA/CORE ranking. Also, these two ranking systems are moderately correlated with each other for both periods of 2010 and 2018.

Sign in / Sign up

Export Citation Format

Share Document