Consistency in model integration

Data and Knowledge Engineering

Volumn 56, Issue 1, 2006, Pages 4-22

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

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Modeling; Petri nets; Synchronization; UML

Indexed keywords

STATE-OF-THE-ART SYSTEMS ENGINEERING; SYSTEM ENGINEERS; UML;

COMPUTER PROGRAMMING LANGUAGES; ENGINEERS; KNOWLEDGE ENGINEERING; LARGE SCALE SYSTEMS; LIFE CYCLE; PETRI NETS; SYNCHRONIZATION;

SYSTEMS ENGINEERING;

EID: 27544431901     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2005.02.004     Document Type: Article

References (15)

1. W.M.P. van der Aalst Verification of workflow nets P. Azéma G. Balbo Proc. ATPN97, Lect. Notes in Comp. Science vol. 1248 1997 Springer-Verlag Berlin
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 Inform. 35 10 1998 813 857
3. G. Booch, J. Rumbaugh, and I. Jacobson The Unified Modeling Language User Guide 1999 Addsion-Wesley Reading
4. M. Chaudron, K. van Hee, and L. Somers Use cases as workflows W. van der Aalst A. ter Hofstede M. Weske Proc. BPM 2003, Lecture Notes in Comp. Science vol. 2678 2003 Springer-Verlag Berlin 88 103
5. M. Elkoutbi, and R.K. Keller User interface prototyping based on UML scenarios and high-level Petri nets M Nielsen D Simpson Proc. ATPN 2000, Lect. Notes in Comp. Science vol. 1825 2000 Springer-Verlag Berlin 166 186
6. R. Eshuis, 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 1994 Cambridge University Press Cambridge
8. J. Jacky The Way of Z 1997 Cambridge University Press Cambridge
9. K. Jensen Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Comp. Science 1992 Springer-Verlag Berlin
10. R. Milner Communication and Concurrency 1989 Prentice-Hall London
11. J. Nunamaker, A. Dennis, J. Valacich, R. Vogel, and J. George Electronic meeting systems to support group work CACM 34 7 1991 40 61
12. L. Priese, and H. Wimmel A uniform approach to true-concurrency and interleaving semantics for Petri nets Theor. Comput. Sci. 206 1-2 1998 219 256
13. J. Saldhana, S.M. Shatz, UML diagrams to object Petri net models: An approach for modeling and analysis, in: Proc. SEKE'00, 2000, pp. 103-110.
14. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst Diagnosing workflow processes using woflan Comput. J. 44 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. Software Eng. 24 12 1998 1115 1130