963 search results - page 107 / 193 » Formal Analysis of BPMN Models Using Event-B |
103
click to vote
JSS
1998
15 years 1 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
125
click to vote
IFM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
106
click to vote
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
105
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
107
click to vote
POLICY
2004
Springer
15 years 6 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...