Authors:
Hervé Verjus
and
Frédéric Pourraz
Affiliation:
University of Savoie - Polytech’Savoie, LISTIC-LS - Language and Software Evolution Group, France
Keyword(s):
Information system architecture, SOA, Services orchestration, BPM, Dynamic evolution, π-calculus.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Formalisms, Languages and Notations
;
Modeling of Distributed Systems
;
Software Engineering
;
Systems Engineering
Abstract:
This paper presents a novel approach called Diapason, for expressing, verifying and deploying evolvable information system service-based architectures. Diapason promotes a π-calculus-based layered language and a corresponding virtual machine for expressing and executing dynamic and evolvable services orchestration that support agile business processes. Information system service-based architecture may dynamically evolve, whatever the changes may occur during the services orchestration lifecycle.