The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes. (English) Zbl 07495065
Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 283-300 (2021).
Summary: The domain of Subject-oriented Business Process Management (S-BPM) is somewhat outstanding due to its embracing of Subject Orientation. However, at the same time, it is also a classic BPM domain concerned with typical aspects like creation and exchange of diagrammatic process models, elicitation of domain knowledge, and implementing process (models) into organisations and IT systems. Nevertheless, the Abstract State Machine (ASM) concept, a formal and abstract specification means for algorithms, has been and is fundamental and an important cornerstone for the S-BPM community. The first formal specifications for S-BPM has been developed by Egon Börger using ASM means – namely a specification for an interpreter engine for the subject-oriented modeling language PASS, the Parallel Activity Specification Schema. However, for the sake of intuitive and comprehensive use, ASM can be enriched with defining the passive aspects of PASS, namely the (data) structure of process models and data object appearing in the processes. Here it is useful to complement ASM description means with concepts that are better suited for that tasks. This work analyzes how the S-BPM research community has combined ASM with the Web Ontology Language (OWL) to generate a precise, while comprehensible, system specification for the execution of formal, subject-oriented process models. Furthermore, it will be argued why this combination is worthwhile overcoming the weaknesses of both generic and technology independent specification approaches.
For the entire collection see [Zbl 1482.68038].
For the entire collection see [Zbl 1482.68038].
References:
| [1] | Web ontology language (owl). https://www.w3.org/OWL/ |
| [2] | Berghaus, M.: Luhmann leicht gemacht. Böhlau Verlag (2011) |
| [3] | Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). doi:10.1007/978-3-642-18216-7 · Zbl 1040.68042 |
| [4] | Börger, E.: A subject-oriented interpreter model for S-BPM. Appendix. In: Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E. (eds.) Subjektorientiertes Prozessmanagement. Hanser-Verlag, München (2011) |
| [5] | Börger, E.; Stärk, RF, Abstract State Machines: A Method for High-Level System Design and Analysis (2003), Berlin: Springer, Berlin · Zbl 1040.68042 · doi:10.1007/978-3-642-18216-7 |
| [6] | Dori, D.: Object-Process Methodology for Structure-Behavior Codesign. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15865-0_7 |
| [7] | Einstein: Zitat albert einstein. https://www.sasserlone.de/zitat/190/albert.einstein/ |
| [8] | Farahbod, R.: CoreASM: an extensible modeling framework & tool environment for high-level design and analysis of distributed systems. Ph.D. Dissertation (2009) |
| [9] | Fleischmann, A., Stary, C.: Dependable data sharing in dynamic IoT-systems - subject-oriented process design, complex event processing, and blockchains. In: Betz, S., Elstermann, M., Lederer, M. (eds.) S-BPM ONE 2019, 11th International Conference on Subject Oriented Business Process Management. ICPC published by ACM Digital Library, Association of Computing Machinery (ACM) (2019) |
| [10] | Fleischmann, A.; Schmidt, W.; Stary, C.; Obermeier, S.; Boerger, E., Subject-Oriented Business Process Management (2012), Heidelberg: Springer, Heidelberg · doi:10.1007/978-3-642-32392-8 |
| [11] | Gemino, A.; Wand, Y., A framework for empirical evaluation of conceptual modeling techniques, Requirements Eng., 9, 248-260 (2004) · doi:10.1007/s00766-004-0204-6 |
| [12] | Habermas, J.: Theory of Communicative Action Volume 1, Volume 2. Suhrkamp Paperback Science (1981) |
| [13] | Hoare, A., Communicating Sequential Processes (1985), Hoboken: Prentice Hall, Hoboken · Zbl 0637.68007 |
| [14] | I2PM: Standard document for pass (2019). https://github.com/I2PM/Standard-Documents-for-Subject-Orientation. Accessed 22 Jan 2020 |
| [15] | Jolak, et al.: Software engineering whispers: the effect of textual vs. graphical software design descriptions on software design communication. Empir. Softw. Eng. 25, 4427-4471 (2020). doi:10.1007/s10664-020-09835-6 |
| [16] | Luhmann, N.: Social Systems. Suhrkamp Verlag (1984) |
| [17] | Milner, R., Communication and Concurrency (1989), Hoboken: Prentice Hall, Hoboken · Zbl 0683.68008 |
| [18] | Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999) · Zbl 0942.68002 |
| [19] | Römpp, M.: Habermas leicht gemacht. Böhlau Verlag (2015) |
| [20] | Stachowiak, H.: Allgemeine Modelltheorie. Springer, Heidelberg (1973) |
| [21] | Thalheim B.: The theory of conceptual models, the theory of conceptual modelling and foundations of conceptual modelling. In: Embley, D., Thalheim, B. (eds.) Handbook of Conceptual Modeling. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15865-0_17 |
| [22] | Wolski, A., Borgert, S., Heuser, L.: A coreASM based reference implementation for subject oriented business process management execution semantics. In: Betz, S., Elstermann, M., Lederer, M. (eds.) S-BPM ONE 2019, 11th International Conference on Subject Oriented Business Process Management. ICPC published by ACM Digital Library, Association of Computing Machinery (ACM) (2019) |
| [23] | Wolski, A., Borgert, S., Heuser, L.: An extended subject-oriented business process management execution semantics. In: Betz, S., Elstermann, M., Lederer, M. (eds.) S-BPM ONE 2019, 11th International Conference on Subject Oriented Business Process Management. ICPC published by ACM Digital Library, Association of Computing Machinery (ACM) (2019) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
