Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …

As computer systems continue to grow in complexity, the possibility of failure increases. At
the same time, the increase in computer system pervasiveness in day-to-day activities bring …

Ensuring transactional behavior of business processes and web service compositions is an
essential issue in the area of service-oriented computing. Transactions in this context may …

Transactions are crucial to ensuring the quality (such as recovery and reliability) of web
services applications by constraining them to a mutually agreed outcome. This paper …

Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …

We are interested in describing timed systems that exhibit probabilistic behaviour. To this
purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of …

Web services provide a distributed computing environment wherein service providers and
consumers can dynamically interact and cooperate on various tasks in different domains …

Web services (WS) transactions are important in order to reliably compose distributed and
autonomous services into composite web services and to ensure that their execution is …

Transactions are a key issue in the reliability of distributed applications because they ensure
all the participants achieve a mutually agreed outcome. However, current research has …

In recent years, some approaches have been presented for the seamless integration of
WSNs with the existing, widely deployed SOA technologies such as XML, Web services, and …