GridPML: a process modeling language and history capture system for grid service composition

2005 ◽  
Author(s):  
Hua Ma ◽  
S.D. Urban ◽  
Yang Xiao ◽  
S.W. Dietrich
Keyword(s):  
Process Modeling ◽  
Service Composition ◽  
Grid Service ◽  
Modeling Language

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.

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.

Coordination-theoretic approach to modelling grid service composition process

2010 ◽  
Vol 21 (4) ◽  
pp. 713-720 ◽  
Author(s):  
Meng Qian ◽  
Zhong Liu ◽  
Jing Wang ◽  
Li Yao ◽  
Weiming Zhang
Keyword(s):  
Service Composition ◽  
Grid Service ◽  
Theoretic Approach ◽  
Composition Process

scholarly journals The Syntax of a Multi-Level Production Process Modeling Language

2020 ◽  
Author(s):  
Marko Vještica ◽  
Vladimir Dimitrieski ◽  
Milan Pisarić ◽  
Slavica Kordić ◽  
Sonja Ristić ◽  
...  
Keyword(s):  
Production Process ◽  
Process Modeling ◽  
Modeling Language ◽  
Multi Level ◽  
Level Production
Sign in / Sign up

Export Citation Format

Share Document