CSPm models for the ATM case study-Reference-Cited by-同舟云学术

CSPm models for the ATM case study

Published:2015-04-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th International Conference on Subject-Oriented Business Process Management
language:
Short-container-title:

Author:

Hense Andreas V.¹

Affiliation:

1. Bonn-Rhein-Sieg University oAS, Sankt Augustin, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2723839.2723866

Reference14 articles.

1. Anonymous. Automatic teller machine or till: Case study 2014. Formulated 1999 as Modelling in two formalisms: The FM99 ATM modelling challenge for the FM99 Conference and as A Cash-point Service Example in the IFAD document V6.3.0a reused 2013 for the Dagstuhl Seminar on Integration of Tools for Rigorous Software Construction and Analysis to which A. Fleischmann added in 2014 the change and cancel requirements. Anonymous. Automatic teller machine or till: Case study 2014. Formulated 1999 as Modelling in two formalisms: The FM99 ATM modelling challenge for the FM99 Conference and as A Cash-point Service Example in the IFAD document V6.3.0a reused 2013 for the Dagstuhl Seminar on Integration of Tools for Rigorous Software Construction and Analysis to which A. Fleischmann added in 2014 the change and cancel requirements.

2. Modeling for change via component-based decomposition and ASM refinement

3. A. Fleischmann S. Rass and R. Singer. S-BPM illustrated: a storybook about business process modeling and execution. 2013. A. Fleischmann S. Rass and R. Singer. S-BPM illustrated: a storybook about business process modeling and execution. 2013.

4. A. V. Hense. A CSPm model for the "procure to pay" case study 2015. http://www.bis.inf.h-brs.de/bpmcasestudies/. A. V. Hense. A CSPm model for the "procure to pay" case study 2015. http://www.bis.inf.h-brs.de/bpmcasestudies/.

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

1. Comparison of the subject-oriented and the Petri net based approach for business process automation;Proceedings of the 7th International Conference on Subject-Oriented Business Process Management;2015-04-23

2. CSPm models for the ATM case study;Proceedings of the 7th International Conference on Subject-Oriented Business Process Management;2015-04-23

3. Modeling for change via component-based decomposition and ASM refinement;Proceedings of the 7th International Conference on Subject-Oriented Business Process Management;2015-04-23