Paper Info
Title
On the Use of Coloured Petri Nets for Object-Oriented Design
Abstract
Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the adoption of a statecharts based notation by the Unified Modelling Language specification, and also by the several object-inspired Petri net classes. This paper defines a class of high-level nets, named Composable Coloured Petri nets, allowing the use of Coloured Petri nets in object-oriented design, namely for the specification of synchronous and asynchronous communication among objects, and the three most common abstractions: generalisation, classification, and composition. Starting from Coloured Petri nets, the paper shows how those abstractions can be modelled based on node fusion and with minimally intrusive syntax additions. Node fusions take two forms: one for modelling message passing, abstracting the interactions between objects, and another for modelling generalisation and composition, abstracting the system static structure.
Year
DOI
Venue
2004
10.1007/978-3-540-27793-4_8
Lecture Notes in Computer Science
Keywords
Field
DocType
object-oriented design,net composition,coloured Petri nets,UML class diagrams
Specification language,Object-oriented design,Petri net,Programming language,Formal language,Object-oriented programming,Unified Modeling Language,Computer science,Process architecture,Formal specification
Conference
Volume
ISSN
Citations 
3099
0302-9743
2
PageRank 
References 
Authors
0.43
18
2
Name
Order
Citations
PageRank
João Paulo Barros110518.03
Luís Gomes220.43