A Method for Verifiable and Validatable Business Process Modeling-Reference-Cited by-同舟云学术

A Method for Verifiable and Validatable Business Process Modeling

Published:2008 Issue: Volume: Page:59-115
ISSN:0302-9743
Container-title:Advances in Software Engineering
language:
Short-container-title:

Author:

Börger Egon,Thalheim Bernhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89762-0_3

Reference42 articles.

1. OMG Unified Modeling Language superstructure (final adopted specification, version 2.0) (2003), http://www.omg.org

2. Web Services Business Process Execution Language version 2.0. OASIS Standard,( April 11,2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

3. Lecture Notes in Computer Science;A. Barros,2005

4. Lecture Notes in Computer Science;A. Barros,2005

5. Batory, D., Börger, E.: Modularizing theorems for software product lines: The Jbook case study,Universal Computer Science,Special ASM Issue(2008): Coupling Design and Verification in Software Product Lines. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 1–4. Springer, Heidelberg (2008)

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

1. Consistent modelling of hierarchical BPMN collaborations;Business Process Management Journal;2022-03-11

2. Formalising and animating multiple instances in BPMN collaborations;Information Systems;2022-01

3. From Models_For_Programming to Modelling_To_Program and Towards Models_As_A_Program;Modelling to Program;2021

4. Models and Modelling in Computer Science;Logic, Computation and Rigorous Methods;2021

5. Verification of Privacy-Enhanced Collaborations;Proceedings of the 8th International Conference on Formal Methods in Software Engineering;2020-09-12