A formal model for work flows

Proceedings - Software Engineering and Formal Methods, SEFM 2010

Volumn , Issue , 2010, Pages 135-144

  Leuxner, Christian ^a   Sitou, Wassiou ^a   Spanfelner, Bernd ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Concurrency; Denotational semantics; Labeled transition system; Refinement; System behavior; Work flow

Indexed keywords

CONCURRENCY; DENOTATIONAL SEMANTICS; LABELED TRANSITION SYSTEMS; REFINEMENT; SYSTEM BEHAVIORS; WORK-FLOWS;

SEMANTICS;

FORMAL METHODS;

EID: 78650491386     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2010.27     Document Type: Conference Paper

References (20)

1. M. Broy and K. Stølen, Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.
2. T. A. Henzinger, "Masaccio: A formal model for embedded components," in TCS'00: Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics. London, UK: Springer-Verlag, 2000, pp. 549-563.
3. B. Schätz, "Modular functional descriptions," in Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2007), 2007.
4. N. A. Lynch and M. R. Tuttle, "An introduction to input/output automata," CWI Quarterly, vol. 2, pp. 219-246, 1989.
5. F. Huber, B. Schätz, and G. Einert, "Consistent Graphical Specification of Distributed Systems," in FME'97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, J. Fitzgerald, C. B. Jones, and P. Lucas, Eds. Springer, 1997, pp. 122 -141.
6. M. Broy, Engineering Theories of Software Intensive Systems. Springer Verlag, July 2005, ch. Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures - The JANUS Approach, pp. 47 - 81.
7. A. Pnueli, "The temporal semantics of concurrent programs," in Proceedings of the International Sympoisum on Semantics of Concurrent Computation. London, UK: Springer-Verlag, 1979, pp. 1-20.
8. W. Reisig, Petri nets: an introduction. New York, NY, USA: Springer-Verlag, 1985.
9. K. Salimifard and M. Wright, "Petri net-based modelling of workflow systems: An overview," European Journal of Operational Research, vol. 134, no. 3, pp. 664 - 676, 2001.
10. G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide. Addison-Wesley Reading Mass, 1999.
11. H. Eshuis, "Semantics and verification of uml activity diagrams for workflow modelling," Ph.D. dissertation, Univ. of Twente, November 2002.
12. H. Störrle, "Semantics and verification of data flow in UML 2.0 activities," Electronic Notes in Theoretical Computer Science, vol. 127, no. 4, pp. 35-52, 2005.
13. W. M. P. van der Aalst and A. H. M. ter Hofstede, "Yawl: yet another workflow language," Information Systems, vol. 30, no. 4, pp. 245 - 275, 2005.
14. A. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M. Ford, Y. Goland, A. Guizar, N. Kartha et al., "Web services business process execution language version 2.0," OASIS Standard, vol. 11, 2007.
15. M. Butler, C. Ferreira, and M. Ng, "Precise modelling of compensating business transactions and its application to BPEL," Journal of Universal Computer Science, vol. 11, no. 5, pp. 712-743, 2005.
16. J. Bergstra, A. Ponse, and S. Smolka, Handbook of process algebra. Elsevier Science, 2001.
17. G. Hilderink, "Graphical modelling language for specifying concurrency based on CSP," IEE proceedings-software, vol. 150, no. 2, pp. 108-120, 2003.
18. D. Jovanovic, B. Orlic, G. Liet, and J. Broenink, "gCSP: a graphical tool for designing CSP systems," 2004.
19. C. Leuxner, W. Sitou, B. Spanfelner, V. Thurner, and A. Schneider, "Modeling work flows for building contextaware applications," Technische Universität München, Institut f ür Informatik, techreport, June 2009.
20. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, "Nusmv: a new symbolic model checker," International Journal on Software Tools for Technology Transfer, 1998.