Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols
| Autor: | María Laura Caliusco, Jorge Roa, Emiliano Reynares, Pablo David Villarreal |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Knowledge management
Business rule Computer science business.industry Artifact-centric business process model Formal semantics (linguistics) 0102 computer and information sciences 02 engineering and technology Business process modeling 01 natural sciences Business domain Business Process Model and Notation 010201 computation theory & mathematics Business architecture 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Semantics of Business Vocabulary and Business Rules business Software engineering |
| Zdroj: | Business Process Management Workshops ISBN: 9783319740294 Business Process Management Workshops |
| DOI: | 10.1007/978-3-319-74030-0_61 |
| Popis: | Collaborative business processes (CBPs) are expected to conduct the behavior among organizations that participate in collaborative networks. Although languages for CBPs emerged from the industry and academic sides, not much effort has been put to add formal semantics to the constructs of the languages to reason on structural aspects of CBP models. In particular, the UP-ColBPIP language supports the modeling of collaborative business processes in terms of interaction protocols, which describes a choreography of business messages based on speech acts. This paper presents an approach to add formal semantics to the UP-ColBPIP language, by defining an OntoUML conceptual model of the constructs that allows modeling CBPs as interaction protocols. The formal semantics of the constructs of UP-ColBPIP enables the definition of design guidelines and the development of techniques for the structural analysis of CBP models represented in terms of interaction protocols. Finally, the work depicts an OWL ontology implementing the proposed conceptual model, with the purpose of answering queries about the messages based on speech acts as well as other structural aspects of CBP models. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|