A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling | Zendy

José Luis García Garrido | Zendy; Miguel Gea | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling

Author(s) -

José Luis García Garrido,

Miguel Gea

Publication year - 2002

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-36235-5_2

Subject(s) - computer science , petri net , notation , unified modeling language , programming language , semantics (computer science) , software engineering , software , arithmetic , mathematics

New approaches are currently being adopted to address the development of cooperative systems, although not many standards exist that can be used to develop this type of interactive system. We apply the standard Unified Modelling Language (UML) notation within a methodology aimed at the analysis and design of such systems, and present a semantic formalisation of the UML notation used to model cooperative systems. The semantics and its application are described on the basis of translation schemes to Coloured Petri Nets and the benefits of formalisation are shown.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research