An Architecture-Centric Approach for Information System Architecture Modeling, Enactement and Evolution

International audienc

COWS: A Timed Service-Oriented Calculus

COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. In this paper, we extend COWS with timed orchestration constructs, this way we obtain a language capable of completely formalizing the semantics of WS-BPEL, the ‘de facto’ standard language for orchestration of web services. We present the semantics of the extended language and illustrate its peculiarities and expressiveness by means of several examples

Assessing self-organization and emergence in Evolvable Assembly Systems (EAS)

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de ComputadoresThere is a growing interest from industry in the applications of distributed IT. Currently, most modern plants use distributed controllers either to control production processes, monitor them or both. Despite the efforts on the last years to improve the implementation of the new manufacturing paradigms, the industry is still mainly using traditional controllers. Now, more than ever, with an economic crisis the costumers are searching for cheap and customized products, which represents a great opportunity for the new paradigms to claim their space in the market. Most of the research on distributed manufacturing is regarding the control and communication infrastructure. They are key aspects for self-organization and there is a lack of study on the metrics that regulate the self-organization and autonomous response of modern production paradigms. This thesis presents a probabilistic framework that promotes self-organization on a multiagent system based on a new manufacturing concept, the Evolvable Assembly Systems/Evolvable Production Systems. A methodology is proposed to assess the impact of self-organization on the system behavior, by the application of the probabilistic framework that has the dual purpose of controlling and explaining the system dynamics. The probabilistic framework shows the likelihood of some resources being allocated to the production process. This information is constantly updated and exchanged by the agents that compose the system. The emergent effect of this self-organization dynamic is an even load balancing across the system without any centralized controller. The target systems of this work are therefore small systems with small production batches but with a high variability of production conditions and products. The agents that compose the system originated in the agent based architecture of the FP7-IDEAS proejct. This work has extended these agents and the outcome has been tested in the IDEAS demonstrators, as the changes have been incorporated in the latest version of the architecture, and in a simulation and more controlled environment were the proposed metric and its influence were assessed

Adaptable processes

We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have a location and are sensible to actions of dynamic update at runtime; this allows to express a wide range of evolvability patterns for concurrent processes. We introduce a core calculus of adaptable processes and propose two verification problems for them: bounded and eventual adaptation. While the former ensures that the number of consecutive erroneous states that can be traversed during a computation is bound by some given number k, the latter ensures that if the system enters into a state with errors then a state without errors will be eventually reached. We study the (un)decidability of these two problems in several variants of the calculus, which result from considering dynamic and static topologies of adaptable processes as well as different evolvability patterns. Rather than a specification language, our calculus intends to be a basis for investigating the fundamental properties of evolvable processes and for developing richer languages with evolvability capabilities

The object binary interface: C++ objects for evolvable shared class libraries

Object-oriented design and object-oriented languages support the development of independent software components such as class libraries. When using such components, versioning becomes a key issue. While various ad-hoc techniques and coding idioms have been used to provide versioning, all of these techniques have deficiencies - ambiguity, the necessity of recompilation or re-coding, or the loss of binary compatibility of programs. Components from different software vendors are versioned at different times. Maintaining compatibility between versions must be consciously engineered. New technologies such as distributed objects further complicate libraries by requiring multiple implementations of a type simultaneously in a program. This paper describes a new C++ object model called the Shared Object Model for C++ users and a new implementation model called the Object Binary Interface for C++ implementors. These techniques provide a mechanism for allowing multiple implementations of an object in a program. Early analysis of this approach has shown it to have performance broadly comparable to conventional implementations

Pollux: a dynamic hybrid control architecture for flexible job shop systems

Nowadays, manufacturing control systems can respond more effectively to exigent market requirements and real-time demands. Indeed, they take advantage of changing their structural and behavioural arrangements to tailor the control solution from a diverse set of feasible configurations. However, the challenge of this approach is to determine efficient mechanisms that dynamically optimise the configuration between different architectures. This paper presents a dynamic hybrid control architecture that integrates a switching mechanism to control changes at both structural and behavioural level. The switching mechanism is based on a genetic algorithm and strives to find the most suitable operating mode of the architecture with regard to optimality and reactivity. The proposed approach was tested in a real flexible job shop to demonstrate the applicability and efficiency of including an optimisation algorithm in the switching process of a dynamic hybrid control architecture.This work was supported by the Colombian scholarship programme of department of science – COLCIENCIAS under grant ‘Convocatoria 568 – Doctorados en el exterior’ and the Pontificia Universidad Javeriana under grant ‘Programa de Formacion de posgrados del Profesor Javeriano’.info:eu-repo/semantics/publishedVersio