Despite its great importance, modern network infrastructure is remarkable for the lack of rigor
in its engineering. The Internet, which began as a research experiment, was never designed …

Rigorous theory and real-world applications for modeling and analysis of the behavior of
complex communicating computer systems Complex communicating computer systems …

The complexity of large-scale distributed systems, particularly when deployed in physical
space, calls for new mechanisms to address composability and reusability of collective …

The paradigm of service-oriented computing revolutionized the field of software engineering.
According to this paradigm, new systems are composed of existing stand-alone services to …

The interaction between the cyber domain and the physical domain components and
processes can be leveraged to enhance the security of the cyber-physical system. In order to …

Abstract Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time,
and hierarchy. These extensions make it possible to model complex processes as CPNs …

Although lots of IoT (Internet of Things) applications have been developed, the systematic
method to construct IoT services is still obscure. In this paper, an Event-driven Service …

This introductory chapter outlines the main problem dealt with in this book: finding suitable
languages for representing classes of Petri nets, taking inspiration from the process …

Development of high-level supervisory controllers is an important challenge in the design of
high-tech systems. It has become a significant issue due to increased complexity, combined …

In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive
Model), for developing and modeling self-adaptive evolving systems. In this model, policies …