Verifying SysML activity diagrams using formal transformation to Petri nets

[1]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[2]  Samir Ouchani,et al.  A probabilistic verification framework of SysML activity diagrams , 2013, 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT).

[3]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[4]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[5]  Ken Young,et al.  An Object-Oriented Approach to an Agile Manufacturing Control System Design , 2001 .

[6]  Jun Li,et al.  Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams , 2009, Comput. Ind. Eng..

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  Dolev Dotan,et al.  Verification of embedded system's specification using collaborative simulation of SysML and simulink models , 2009, 2009 International Conference on Model-Based Systems Engineering.

[9]  Mourad Debbabi,et al.  Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[10]  L.A. Guedes,et al.  Control and plant modeling for manufacturing systems using statecharts , 2008, 2008 IEEE International Symposium on Industrial Electronics.

[11]  Lingyu Wang,et al.  Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages , 2009, SSV.

[12]  I. Batchkova,et al.  Development of multi-agent control systems using UML/SysML , 2008, 2008 4th International IEEE Conference Intelligent Systems.

[13]  Leon F. McGinnis,et al.  Toward on-demand wafer fab simulation using formal structure & behavior models , 2008, 2008 Winter Simulation Conference.

[14]  Dong Yang,et al.  A UML-based approach for the development of shop floor control systems , 2009 .

[15]  Jamil Ahmad,et al.  Modeling of real-time embedded systems using SysML and its verification using UPPAAL and DiVinE , 2014, 2014 IEEE 5th International Conference on Software Engineering and Service Science.

[16]  Luis Gomes,et al.  From UML state machines to Petri nets: History attribute translation strategies , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[17]  Tony Spiteri Staines.  Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[18]  Li-Chih Wang.  An integrated object-oriented Petri net paradigm for manufacturing control systems , 1996 .

[19]  Surendra M. Gupta,et al.  Petri net models of flexible and automated manufacturing systems : a survey , 1996 .

[20]  Cihan H. Dagli,et al.  Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process , 2011, Syst. Eng..

[21]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

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

[23]  Rik Eshuis,et al.  Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.

[24]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[25]  Gustavo Rau de Almeida Callou,et al.  Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints , 2008, 2008 International Conference on Computational Intelligence for Modelling Control & Automation.

[26]  Mohamed Ariff Ameedeen,et al.  A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[27]  Marcello Bonfè,et al.  On the Use of UML for Modeling Mechatronic Systems , 2007, IEEE Transactions on Automation Science and Engineering.

[28]  Alexander H. Levis,et al.  Toward executable architectures to support evaluation , 2009, 2009 International Symposium on Collaborative Technologies and Systems.

[29]  C. Ou-Yang,et al.  Developing a computer shop floor control model for a CIM system - using object modeling technique , 2000 .

[30]  Cris Kobryn.  UML 2001: a standardization odyssey , 1999, CACM.

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

[32]  Sébastien Henry,et al.  On the use of SysML for manufacturing execution system design , 2011, ETFA2011.

[33]  David Basin,et al.  Model driven security: From UML models to access control infrastructures , 2006, TSEM.

[34]  Mourad Debbabi,et al.  On the Meaning of SysML Activity Diagrams , 2009, 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.

[35]  Ludovic Apvrille,et al.  TEPE: a SysML language for time-constrained property modeling and formal verification , 2011, SOEN.

[36]  Samir Ouchani,et al.  A formal verification framework for SysML activity diagrams , 2014, Expert Syst. Appl..

[37]  Rômulo Silva de Oliveira,et al.  Introducing the modeling and verification process in SysML , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[38]  Wang Jian,et al.  Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colored Petri Net , 2009, 2009 Third International Symposium on Intelligent Information Technology Application.

[39]  Massimo Pacella,et al.  Object-oriented modeling and simulation of flexible manufacturing systems: a rule-based procedure , 2002, Simul. Model. Pract. Theory.

[40]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[41]  Sanjay B. Joshi,et al.  A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[42]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[43]  Francesco Basile,et al.  A two-stage modelling architecture for distributed control of real-time industrial systems: Application of UML and Petri Net , 2009, Comput. Stand. Interfaces.

[44]  Yann Thierry-Mieg,et al.  UML behavioral consistency checking using instantiable Petri nets , 2008, Innovations in Systems and Software Engineering.

[45]  Alamgir Hossain,et al.  Transforming UML sequence diagram to High Level Petri Net , 2010, 2010 2nd International Conference on Software Technology and Engineering.

[46]  Manfredi Bruccoleri,et al.  An Object-Oriented Approach for Flexible Manufacturing Control Systems Analysis and Design Using the Unified Modeling Language , 2003 .