ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept-Reference-Cited by-同舟云学术

ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept

Published:2011 Issue: Volume: Page:190-211
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Borgert Stephan,Steinmetz Joachim,Mühlhäuser Max

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-23471-2_14

Reference35 articles.

1. CCIS;E. Aitenbichler,2010

2. Barendregt, H.: The lambda calculus: its syntax and semantics. Elsevier, Amsterdam (1981)

3. Lecture Notes in Computer Science;R. Beauxis,2008

4. Bouchbout, K., Akoka, J., Alimazighi, Z.: Proposition of a generic metamodel for interorganizational business processes. In: Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation, EOMAS 2010, CEUR-WS.org, Aachen, Germany, pp. 42–56 (2010), http://portal.acm.org/citation.cfm?id=1866939.1866943

5. Boudol, G.: Asynchrony and the Pi-calculus. Research Report RR-1702, INRIA (1992), http://hal.inria.fr/inria-00076939/PDF/RR-1702.pdf

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mapping Execution and Model Semantics for Subject-Oriented Process Models;Communications in Computer and Information Science;2020

2. An extended subject-oriented business process management execution semantics;Proceedings of the 11th International Conference on Subject-Oriented Business Process Management - S-BPM ONE '19;2019

3. A CoreASM based reference implementation for subject-oriented business process management execution semantics;Proceedings of the 11th International Conference on Subject-Oriented Business Process Management - S-BPM ONE '19;2019

4. Agent-Based Business Process Modeling and Execution;Proceedings of the 8th International Conference on Subject-oriented Business Process Management;2016-04-07

5. Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting;Lecture Notes in Business Information Processing;2014