95 search results - page 4 / 19 » Conformance checking of service behavior |
EPEW
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
FORTE
2008
13 years 9 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
DAGSTUHL
2006
13 years 9 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...