Context: In modern systems, like cyber-physical systems, where software and physical
services are interacting, safety, security or performance play an important role. In order to …

Choreography models describe the communication protocols between services. Testing of
service choreographies is an important task for the quality assurance of service-based …

Mobile robot teams are particularly suited to applications where infrastructure is unavailable
or damaged since they can be used to quickly form an infrastructure-less mobile ad hoc …

The need for global behavior definitions is well established both in the domain of embedded
reactive systems and service-oriented (business) systems. The problem has been to define …

This paper presents a case study for the modeling and model-based testing (MBT) of
enterprise service choreographies. Our proposed MBT approach uses proprietary models …

Abstract Service-based applications are based on modern architectures that require careful
design of interfaces and protocols to allow smooth integration of service components. These …

Choreography models describe the communication protocols between services. Every
choreography model can be considered either from a global or from a local point of view …

Data synchronous dynamic update is a main issue for the Service-Oriented Architecture
(SOA) application system that is widely employed in distributed systems such as e …

(57) ABSTRACT A data source, such as a database, is modeled using State variables, state,
and actions performed on the data source. State variable queries may be automatically …

Service Level Agreement (SLA) establishment can be viewed as a complex business
process in which consumers and providers, with varying and potentially conflicting …