Abstract Information systems have to respond well to the changing business environment.
Thus, they must have architecture which withstands the change. To design such systems …

Composition of Web services is much studied to support business-to-business and
enterprise application integration in e-commerce. Current Web service composition …

Current approaches to service composition range from industrial standards (like BPEL and
OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a …

The correctness of business process models is critical for IT system development. The
properties of business processes need to be analyzed when they are designed. In particular …

Current business process technology is pretty good in supporting well-structured business
processes and aim at achieving a fixed goal by carrying out an exact set of operations. In …

Currently web services constitute one of the most important topics in the realm of the World
Wide Web. Composition of web services lets developers create applications on top of …

CONTEXT: To guarantee the success of Business Process Modelling (BPM) it is necessary
to check whether the activities and tasks described by Business Processes (BPs) are sound …

Composition of services has received much interest to support business-to-business and
enterprise applications integration. The business world has developed a number of XML …

In a Delay-Tolerant Network (DTN), data originating from a source node may be delivered to
the destination node, despite the non-existence of end-to-end connectivity between them at …

Abstract Service-Oriented Computing (SOC) was introduced some years ago as a paradigm
that allows companies to expose their core competencies as services. Yet, we can only …