Sciweavers

7 search results - page 2 / 2
» A Model Driven Approach to Represent Sequence Diagrams as Fr...
Sort
View
ICSEA
2009
IEEE
13 years 3 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
FOSSACS
2005
Springer
13 years 10 months ago
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
Samy Abbes, Albert Benveniste