963 search results - page 107 / 193 » Formal Analysis of BPMN Models Using Event-B |
160
click to vote
JSS
1998
15 years 5 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...
184
click to vote
IFM
2009
Springer
15 years 3 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...
157
click to vote
HICSS
2003
IEEE
15 years 11 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...
155
click to vote
ISORC
2009
IEEE
16 years 25 days 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...
165
click to vote
POLICY
2004
Springer
15 years 11 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...