Transformation of a core scenario model and activity diagrams into Petri nets

..........................................................................................................I TABLE OF CONTENTS .......................................................................................II LIST OF FIGURES ............................................................................................. VI LIST OF TABLES............................................................................................. VIII ACKNOWLEDGMENTS..................................................................................... IX GLOSSARY......................................................................................................... X CHAPTER

[1]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[2]  Kurt Jensen,et al.  A Brief Introduction to Coloured Petri Nets , 1997, TACAS.

[3]  Yong Xiang Zeng.  Transforming use case maps to the core scenario model representation , 2005 .

[4]  Andrew Miga,et al.  Application of Use Case Maps to System Design With Tool Support , 1998 .

[5]  Raymond J. A. Buhr,et al.  Use Case Maps as Architectural Entities for Complex Systems , 1998, IEEE Trans. Software Eng..

[6]  Gregor V Bochmann.  Activity Nets : A UML profile for modeling workflow and business processes , .

[7]  C. Murray Woodside,et al.  A Metamodel for Generating Performance Models from UML Designs , 2004, UML.

[8]  Conrad Bock.  UML 2 Activity and Action Models, Part 3: Control Nodes , 2003, J. Object Technol..

[9]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[10]  Conrad Bock.  UML 2 Activity and Action Models, Part 2 , 2003, J. Object Technol..

[11]  Conrad Bock.  UML 2 Activity and Action Models, Part 4: Object Nodes , 2004, J. Object Technol..

[12]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[13]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[14]  Daniel Amyot,et al.  Specification and validation of telecommunications systems with use case maps and lotos , 2001 .

[15]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[16]  Conrad E. Bock,et al.  UML 2 Activity and Action Models, Part 2 , 2003, J. Object Technol..

[17]  Terry Quatrani,et al.  Visual modeling with rational Rose and UML , 1998, Addison-Wesley object technology series.

[18]  Dorina C. Petriu,et al.  Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications , 2002, Computer Performance Evaluation / TOOLS.

[19]  Miguel Gea Megías,et al.  A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling , 2002, DSV-IS.

[20]  Javier Campos,et al.  From UML activity diagrams to Stochastic Petri nets: application to software performance engineering , 2004, WOSP '04.

[21]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[22]  Conrad Bock,et al.  UML 2 Activity and Action Models, Part 5: Partitions , 2004, J. Object Technol..

[23]  C. M. Sperberg-McQueen,et al.  Extensible markup language , 1997 .