A growing number of enterprises use complex event processing for monitoring and
controlling their operations, while business process models are used to document working …

Today, web technology is very important for various sectors. Business, education,
communication, the military and medicine all use web technology. Web services are an …

The paper proposes a novel model checking-based approach towards verifying the
compliance of intelligent agent-based web services with contracts regulating their …

Workflow makespan is the total execution time for running a workflow in the Cloud. The
workflow makespan significantly depends on how the workflow tasks and datasets are …

The disqualification of third-party cloud services has caused great threat to large-scale
Enterprise Systems (ESs). Service Level Agreements (SLA) management is used to …

Emerging developments in service-based systems have contributed to a range of proposals
for the rapid development of complex applications by composing existing web services …

In distributed environments where entities only have a partial view of the system,
cooperation plays a key issue. In the case of decentralized service discovery in open service …

Abstract Information sharing between government organizations is regulated by Service
Level Agreements (SLA's). Design and implementation of an SLA demands involvement …

Context The development of distributed software systems has become an important problem
for the software engineering community. Service-based applications are a common solution …

Purpose Firms in the early stage of their organisational lifecycle (ESFs) are subject to
concerns founded on a requirement for strategic flexibility, prompting engagement in inter …