Business process design is primarily driven by process improvement objectives. However,
the role of control objectives stemming from regulations and standards is becoming …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

It is a typical scenario that many organisations have their business processes specified
independently of their business obligations (which includes contractual obligations to …

The ever-increasing obligations of regulatory compliance are presenting a new breed of
challenges for organizations across several industry sectors. Aligning control objectives that …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

SCIFF is a framework thought to specify and verify interaction in open agent societies. The
SCIFF language is equipped with a semantics based on abductive logic programming; …

Internet of Things (IoT) is an environment in which everywhere and every device became
smart in a smart world. Internet of Things is growing vastly, it is implemented using smart …

We seek for a small set of primitives that might serve as a basis for formalising and
programming service oriented applications over global computers. As an outcome of this …

The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …

Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …