You are here

Coloured Petri Net Model of the bCMS system using CPN Tools

Artifact Details
Isabel Sofia Sousa Brito, João Paulo Barros
Polytechnic Institute of Beja
Required Tool(s): 
CPN Tools
Programming/Modeling Languages: 
Coloured petri nets and Standard ML.
Artifact Description: 

The presented model was constructed as a high-level specification of the bCMS system using CPN Tools. Then, we have shown how non-functional requirements can be added. In particular, the use of timed CPN models can offer a further level of specification towards the creation of more detailed executable prototypes.

Revision Summary: 
No revisions submitted.
Artifact Development Contexts: 
Artifact Types: 
Lifecycle Phases: 
Modeling Languages/Notations: 
No votes yet