211 search results - page 1 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
ERCIM
2007
13 years 11 months ago
2007
ICSE
2008
IEEE-ACM
14 years 12 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
FMCO
2008
Springer
14 years 22 days ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
JSW
2007
13 years 11 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
FMCO
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...