Sciweavers

11 search results - page 3 / 3
» On-the-Fly Model Checking of Fair Non-repudiation Protocols
Sort
View
IIWAS
2008
13 years 7 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...