95 search results - page 4 / 19 » Conformance checking of service behavior |
EPEW
2005
Springer
15 years 3 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
14 years 11 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...
89
Voted
COMPSAC
2009
IEEE
15 years 4 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...
75
Voted
DAGSTUHL
2006
14 years 11 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
15 years 3 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...