[ABSa07] Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets

Conférence Internationale avec comité de lecture : ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, January 2007, pp.152-158,

Auteurs: N. Aoumeur , K. Barkaoui , G. Saake

motcle:

Résumé: 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 adaptivity, 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.

For further information, please visit this web site.

BibTeX

@inproceedings {
	ABSa07,
	title	=	"{Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets}",
	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
	booktitle	=	"{ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal}",
	year	=	2007,
	month	=	"January",
	issue	=	9,
	pages	=	"152-158",
}