论文信息 - A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS

A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS

This contribution investigates the application of behaviordriven transient architectural connectors to rigorously and coherently unifying UML structural- with behavioral-diagrams. Indeed, existing UML-Architectural proposals drastically neglect behavioural issues, ignoring thereby vital concurrent and evolving behaviors in today’s crossorganizational agile complex information systems (IS).

Gunter Saake | Nasreddine Aoumeur

[1] J. Meseguer,et al. Rewriting Logic as a Logical and Semantic Framework , 1996 .

[2] José Luiz Fiadeiro,et al. Agility through coordination , 2002, Inf. Syst..

[3] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[4] Mary Shaw,et al. Software architecture - perspectives on an emerging discipline , 1996 .

[5] Marko Bajec,et al. A methodology and tool support for managing business rules in organisations , 2005, Inf. Syst..

[6] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[7] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[8] David Garlan,et al. Reconciling the needs of architectural description with object-modeling notations , 2002, Sci. Comput. Program..

[9] José Meseguer,et al. Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..