loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

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

ISBN: 978-972-8865-90-0

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 adaptivi ty, 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)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.208.186.19

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Aoumeur N.; Saake G.; Barkaoui K. and (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 2: ICEIS, ISBN 978-972-8865-90-0, pages 152-158. DOI: 10.5220/0002402501520158

@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 2: ICEIS,},
year={2007},
pages={152-158},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002402501520158},
isbn={978-972-8865-90-0},
}

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.