[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3329007.3332706acmotherconferencesArticle/Chapter ViewAbstractPublication Pagess-bpmoneConference Proceedingsconference-collections
research-article

An extended subject-oriented business process management execution semantics

Published: 26 June 2019 Publication History

Abstract

The Subject-oriented Business Process Management (S-BPM) paradigm provides concepts and methods to support the development of in- and inter-organizational parallel and distributed processes. S-BPM Process Models are directly executable and formal execution semantics enable different software development teams to develop S-BPM engines with equivalent execution behavior. We did a state of the art analysis of existing formal S-BPM execution semantics and analyzed the required language elements of an advanced smart energy grid Process Model. We extended an existing Abstract State Machines (ASM) specification to close the identified specification gaps.

References

[1]
Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, and Egon Börger. Subject-Oriented Business Process Management. Springer Publishing Company, Incorporated, 2012.
[2]
André Wolski, Stephan Borgert, and Lutz Heuser. A CoreASM based Reference Implementation for Subject-Oriented Business Process Management Execution Semantics. In S-BPM ONE'19, June 26--28, 2019, Seville, Spain. ACM, New York, NY, USA, 2019, accepted.
[3]
Lightbend, Inc. Akka, January 2019. URL https://akka.io/. Last accessed on: 2019-01-11.
[4]
Eclipse Foundation. Eclipse Vert.x. URL http://vertx.io/. Last accessed on: 2019-01-11.
[5]
Albert Fleischmann, Stefan Oppl, Werner Schmidt, and Christian Stary. Ganzheitliche Digitalisierung von Prozessen. Springer, 2018. ISBN 978-3-658-22647-3.
[6]
Stephan Borgert, Joachim Steinmetz, and Max Mühlhäuser. ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept. In International Conference on Subject-Oriented Business Process Management, pages 190--211. Springer, 2011.
[7]
Nikoleta Hadzhiivanova. A pi@-calculus Based Semantics for S-BPM Processes. Bachelor-Thesis, TU Darmstadt, Juli 2012.
[8]
Egon Börger and Robert Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Science & Business Media, 2003.
[9]
PolyEnergyNet Consortium. PolyEnergyNet (PEN), 2014. URL http://www.polyenergynet.de. Last accessed on: 2019-02-13.
[10]
Egon Börger. A Subject-Oriented Interpreter Model for S-BPM. Appendix in: A. Fleischmann, W. Schmidt, C. Stary, S. Obermeier, E. Börger: Subjektorientiertes Prozessmanagement, Hanser-Verlag, München, 2011.
[11]
Harald Lerchner and Christian Stary. An open S-BPM runtime environment based on abstract state machines. In Business Informatics (CBI), 2014 IEEE 16th Conference on, volume 1, pages 54--61. IEEE, 2014.
[12]
Roozbeh Farahbod. CoreASM: An extensible Modeling Framework & Tool Environment for High-Level Design and Analysis of Distributed Systems.
[13]
Albert Fleischmann. Distributed Systems: Software Design and Implementation. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1994. ISBN 0387573828.
[14]
Manuel Bandmann. Spezifikation einer Ausführungs-und Verifikationseinheit mit Abstract State Machines für die Subject-Oriented Business Process Management Modellierungsnotation. Diplomarbeit, TU Darmstadt, Juli 2014.
[15]
Stephan Borgert and Max Mühlhäuser. A S-BPM Suite for the Execution of Cross Company Subject Oriented Business Processes. In S-BPM ONE-Scientific Research, pages 161--170. Springer, 2014.
[16]
Richard Stein. Reduktion des Zustandsraums für die Verifikation von subjektori-entierten Geschäftsprozessmodellen. Bachelor-Thesis, TU Darmstadt, Oktober 2013.
[17]
Arne Link. Verteilte Modellierung und Ausführung subjektorientierter Geschäftsprozessmodellen. Bachelor-Thesis, TU Darmstadt, 2015.
[18]
André Wolski. Spezifikation einer Ausführungssemantik für das Subjektori-entierte Prozessmanagement mit CoreASM. Bachelor-Thesis, TU Darmstadt, October 2018. URL https://tuprints.ulb.tu-darmstadt.de/id/eprint/8360.

Cited By

View all
  • (2021)The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business ProcessesLogic, Computation and Rigorous Methods10.1007/978-3-030-76020-5_16(283-300)Online publication date: 4-Jun-2021
  • (2021)Modeling and Implementing of Industrie 4.0 ScenariosModelling to Program10.1007/978-3-030-72696-6_4(90-112)Online publication date: 31-Mar-2021
  • (2020)Mapping Execution and Model Semantics for Subject-Oriented Process ModelsSubject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation10.1007/978-3-030-64351-5_4(46-59)Online publication date: 23-Nov-2020
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
S-BPM ONE '19: Proceedings of the 11th International Conference on Subject-Oriented Business Process Management
June 2019
118 pages
ISBN:9781450362504
DOI:10.1145/3329007
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 June 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. abstract state machines
  2. subject-oriented business process management

Qualifiers

  • Research-article

Conference

S-BPM ONE'19
S-BPM ONE'19: S-BPM ONE 2019
June 26 - 28, 2019
Seville, Spain

Acceptance Rates

S-BPM ONE '19 Paper Acceptance Rate 10 of 17 submissions, 59%;
Overall Acceptance Rate 28 of 54 submissions, 52%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2021)The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business ProcessesLogic, Computation and Rigorous Methods10.1007/978-3-030-76020-5_16(283-300)Online publication date: 4-Jun-2021
  • (2021)Modeling and Implementing of Industrie 4.0 ScenariosModelling to Program10.1007/978-3-030-72696-6_4(90-112)Online publication date: 31-Mar-2021
  • (2020)Mapping Execution and Model Semantics for Subject-Oriented Process ModelsSubject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation10.1007/978-3-030-64351-5_4(46-59)Online publication date: 23-Nov-2020
  • (2019)A CoreASM based reference implementation for subject-oriented business process management execution semanticsProceedings of the 11th International Conference on Subject-Oriented Business Process Management10.1145/3329007.3329018(1-15)Online publication date: 26-Jun-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media