DYNAMIC INTERACTION OF INFORMATION SYSTEMS - Weaving Architectural Connectors on Component Petri Nets

Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui

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 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.

References

  1. Aoumeur, N. and Saake, G. (2002). A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering, 42(2):143-187.
  2. Cheng, S. and Garlan, D. (2001). Mapping architectural concepts to uml-rt. In Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001).
  3. Meseguer, J. (1992). Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science, 96:73-155.
  4. Szyperski, C. (1998). Component Software : Beyond Object-Oriented Programming. Addision-Wesley.
  5. Wan-Kadir, W. and Loucopoulos, P. (2003). Relating Evolving Business Rules to Software Design. Journal of Systems Architecture.
Download


Paper Citation


in Harvard Style

Aoumeur N., Saake G. and Barkaoui K. (2007). DYNAMIC INTERACTION OF INFORMATION SYSTEMS - Weaving Architectural Connectors on Component Petri Nets . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-90-0, pages 152-158. DOI: 10.5220/0002402501520158


in Bibtex Style

@conference{iceis07,
author={Nasreddine Aoumeur and Gunter Saake and Kamel Barkaoui},
title={DYNAMIC INTERACTION OF INFORMATION SYSTEMS - Weaving Architectural Connectors on Component Petri Nets},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2007},
pages={152-158},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002402501520158},
isbn={978-972-8865-90-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DYNAMIC INTERACTION OF INFORMATION SYSTEMS - Weaving Architectural Connectors on Component Petri Nets
SN - 978-972-8865-90-0
AU - Aoumeur N.
AU - Saake G.
AU - Barkaoui K.
PY - 2007
SP - 152
EP - 158
DO - 10.5220/0002402501520158