This paper presents a set of tools and techniques for analyzing interactions of composite
web services which are specified in BPEL and communicate through asynchronous XML …

Since software systems are becoming increasingly more concurrent and distributed,
modeling and analysis of interactions among their components is a crucial problem. In …

Global types are formal specifications that describe communication protocols in terms of
their global interactions. We present a new, streamlined language of global types equipped …

Behavior modeling has proved to be successful in hel** uncover design flaws of
concurrent and distributed systems. Nevertheless, it has not had a widespread impact on …

This paper focuses on the realizability problem of a framework for modeling and specifying
the global behaviors of reactive electronic services (e-services). In this framework, Web …

We present a framework for analyzing interactions among Web services that communicate
with asynchronous messages. We model the interactions among the peers participating in a …

Message sequence charts (MSCs) constitute an attractive visual formalism that is widely
used to capture system requirements during the early design stages in domains such as …

Reactive systems are often modelled as two person antagonistic games where one player
represents the system while his adversary represents the environment. Undoubtedly, the …

Abstract Specification, modeling and analysis of interactions among peers that communicate
via messages are becoming increasingly important due to the emergence of service …

Message sequence charts (MSCs) are an attractive visual formalism widely used to capture
system requirements during the early design stages in domains such as telecommunication …