In this chapter we give an introduction to active learning of Mealy machines, an automata
model particularly suited for modeling the behavior of realistic reactive systems. Active …

The demand for cost effectiveness and increased flexibility has driven the fast-paced
adoption of software systems in areas where requirement violations may lead to financial …

Research on Software Architectures has been active since the early nineties, leading to a
number of different architecture description languages (ADL). Given their importance in …

An architectural approach to self-adaptive systems involves runtime change of system
configuration (ie, the system's components, their bindings and operational parameters) and …

Abstract In the Internet of Things (IoT), data is handled and stored by software known as
middleware (located on a server). IoT devices send such data through an application layer …

Abstract Service-oriented Architecture (SOA) is one of the most recent trends in IT solutions.
From a technical perspective SOA, can be considered a method for designing and …

Interoperability is a major concern for the software engineering field, given the increasing
need to compose components dynamically and seamlessly. This dynamic composition is …

Interoperability is a fundamental problem in distributed systems, and an increasingly difficult
problem given the level of heterogeneity and dynamism exhibited by contemporary systems …

Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …

Abstract Models at runtime can be defined as abstract representations of a system, including
its structure and behaviour, which exist in tandem with the given system during the actual …