Authors:
Nasreddine Aoumeur
1
;
Gunter Saake
1
and
Kamel Barkaoui
2
Affiliations:
1
ITI, FIN, Otto-von-Guericke-Universität Magdeburg, Germany
;
2
Laboratoire CEDRIC, CNAM, France
Keyword(s):
High-Level Nets, rewriting logic, specification/validation, architectural techniques, dynamic evolution.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Engineering Methodologies
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Concepts and Information Integration Tools
;
Modeling Formalisms, Languages and Notations
;
Software Engineering
;
Systems Engineering
Abstract:
Advances in networking over heterogenous infrastructures are boosting market globalization and thereby forcing most software-intensive information systems to be fully distributed, cooperating and evolving to stay competitive. The emerging composed behaviour in such interacting components evolve dynamically/rapidly and unpredictably as market laws and users/application requirements change on-the-fly both at the coarse- type and fine-grained instance levels.
Despite significant proposals for promoting interactions and adaptivity using mainly architectural techniques (e.g. components and connectors), rigorously specifying / validating / verifying and dynamically adapting complex communicating information systems both at type and instance levels still remains challenging. In this contribution, we present a component-based Petri nets governed by a true-concurrent rewriting-logic based semantics for specifying and validating interacting distributed information systems. For runtime adaptiv
ity, we enhance this proposal with (ECA-business) rules Petri nets-driven behavioral connectors, and demonstrate how to dynamically weaving them on running components to reflect any emerging behavior.
(More)