7 search results - page 2 / 2 » Formal Properties and Implementation of Bidirectional Charts |
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
INFORMS
1998
13 years 4 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...