Consistency in Model Integration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3080, Issue , 2004, Pages 1-16

  Van Hee, Kees ^a   Sidorova, Natalia ^a   Somers, Lou ^a   Voorhoeve, Marc ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048827083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25970-1_1     Document Type: Article

References (15)

1. W.M.P. van der Aalst. Verification of Workflow Nets. P. Azéma and G. Balbo (eds) Proc. ATPN97, Lect. Notes in Comp. Science, Vol. 1248. Springer-Verlag, Berlin (1997)
2. E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. M-nets: an algebra of high-level Petri nets with an application to the semantics of concurrent programming languages. Acta Informatica Vol. 35, No. 10 (1998) 813-857
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addsion-Wesley, Reading (1999)
4. M. Chaudron, K. van Hee, and L. Somers. Use Cases as Workflows. In: W. van der Aalst, A. ter Hofstede, and M. Weske (eds) Proc. BPM 2003, Lecture Notes in Comp. Science, Vol. 2678. Springer-Verlag, Berlin (2003) 88-103
5. Mohammed Elkoutbi and Rudolf K. Keller. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In: M. Nielsen and D. Simpson (eds) Proc. ATPN 2000, Lect. Notes in Comp. Science, Vol. 1825. Springer-Verlag, Berlin (2000) 166-186
6. R. Eshuis and R. Wieringa. A Comparison of Petri Net and Activity Diagram Variants. In: Proc. Int. Coll. Petri Net Tech. Modeling Communication Based Systems (2001)
7. K.M. van Hee. Information Systems Engineering: a Formal Approach. Cambridge University Press, Cambridge (1994)
8. J. Jacky. The way of Z. Cambridge University Press, Cambridge (1997)
9. K. Jensen. Colured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS monographs on Theoretical Comp. Science. Springer-Verlag, Berlin (1992)
10. R. Milner. Communication and Concurrency. Prentice-Hall, London (1989)
11. J. Nunamaker, A. Dennis, J. Valacich, R. Vogel, and J. George. Electronic Meeting Systems to Support Group Work. CACM Vol. 34, No. 7 (1991) 40-61
12. L. Priese and H. Wimmel. A uniform approach to true-concurrency and interleaving semantics for Petri nets. Theoretical Comp. Science, Vol. 206, No. 1-2 (1998) 219-256
13. J. Saldhana and S.M. Shatz. UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. In: Proc. SEKE'00 (2000) 103-110
14. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. The Computer Journal, Vol. 44, No. 4 (2001) 246-279
15. J.L Woo, D.C. Sung, and R.K. Yong. Integration and Analysis of Use Cases using Modular Petri Nets in Requirements Engineering. IEEE Trans. on Software Engineering, Vol. 24, No. 12 (1998) 1115-1130