Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture and mobility
ISAW '98 Proceedings of the third international workshop on Software architecture
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Mapping tile logic into rewriting logic
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A formal approach to software architecture
A formal approach to software architecture
ACM SIGSOFT Software Engineering Notes
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Semantic foundations for generalized rewrite theories
Theoretical Computer Science
Representing Hierarchical Mobility in Software Architectures
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
The paper deals with the specification of dynamic reconfiguration of complex systems. We show how dynamic reconfiguration and especially components mobility, affects the ongoing behaviour of the reconfigured parts and its side effects on the system as a whole. Our approach is based on software architectural viewpoint of hierarchical systems, considered as sets of independent components and links. Nevertheless, the recursive description of components structure and particularly hierarchical and compositional generation of components and system behaviour, needs additional concepts. For this reason, we define a tile logic based model, where interfaces constitute basic objects that undergo the two dimensional dynamics of reconfigurable software systems. Spatial distribution of interfaces defines system / hierarchical component structural configuration. Dynamic reconfiguration is then regarded as a redistribution operation of these interfaces. On the other hand, tuples of interfaces values define system / hierarchical component behavioural configurations. The incremental and compositional definition of both system structure and behaviour is obtained thanks to the horizontal composition operator of tile logic that establishes dynamic connections between components interfaces and at the same time propagates the corresponding action effects on the environment.