Implementing Deterministic Finite State Machines using Guard-Stage-Milestone-Reference-Cited by-同舟云学术

Implementing Deterministic Finite State Machines using Guard-Stage-Milestone

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists on - SAICSIT '16
language:
Short-container-title:

Author:

Marin Mike A.¹,Lotriet Hugo²,van Der Poll John A.³

Affiliation:

1. University of South Africa, IBM Analytics Group, Laguna Hills, CA, USA

2. College of Science, Engineering and Technology, University of South Africa, Johannesburg, South Africa

3. Graduate School of Business Leadership (SBL), University of South Africa, Midrand, Gauteng, South Africa

Publisher

ACM Press

Reference24 articles.

1. B. Bagheri Hariri, D. Calvanese, G. De Giacomo, A. Deutsch, and M. Montali. Verification of Relational Data-centric Dynamic Systems with External Services. In Proceedings of the 32Nd Symposium on Principles of Database Systems, PODS '13, pages 163--174, New York, NY, USA, 2013. ACM.

2. F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. In C. Liu, H. Ludwig, F. Toumani, and Q. Yu, editors, Service-Oriented Computing, volume 7636 of Lecture Notes in Computer Science, pages 17--31. Springer Berlin Heidelberg, 2012.

3. K. Bhattacharya, R. Hull, and J. Su. A data-centric design methodology for business processes, pages 503--531. IGI Global, 2009.

4. D. Calvanese, M. Montali, F. Patrizi, and A. Rivkin. Implementing Data-Centric Dynamic Systems over a Relational DBMS. In Alberto Mendelzon International Workshop on Foundations of Data Management, page 209, 2015.

5. D. Cohn and R. Hull. Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes. IEEE Data Eng. Bull., 32(3):3--9, 2009.