Dynamic interaction of information systems: Weaving architectural connectors on component petri nets

ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

Volumn ISAS, Issue , 2007, Pages 152-158

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a   Barkaoui, Kamel ^b  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b Bioinformatique et Chimie Moléculaire   (France)

Author keywords

Architectural techniques; Dynamic evolution; High level nets; Rewriting logic; Specification validation

Indexed keywords

ARCHITECTURAL TECHNIQUES; DYNAMIC EVOLUTION; HIGH-LEVEL NETS; REWRITING LOGIC; SPECIFICATION/VALIDATION;

DISTRIBUTED COMPUTER SYSTEMS; GRAPH THEORY; PETRI NETS; WEAVING;

INFORMATION SYSTEMS;

EID: 46249113306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

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.