Algorithms
Parallel program design: a foundation
Parallel program design: a foundation
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Foundations of programming languages
Foundations of programming languages
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
ADLs and dynamic architecture changes
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Succeedings of the second international software architecture workshop (ISAW-2)
ACM SIGSOFT Software Engineering Notes
An overview of the state of the art in software architecture
ICSE '97 Proceedings of the 19th international conference on Software engineering
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Description of EDCS technology clusters
ACM SIGSOFT Software Engineering Notes
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Using Explicit State to Describe Architechtures
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A Hierarchic Architecture Model for Dynamic Reconfiguration
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
A Compositional Approach to Connector Construction
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Reconfiguration of Software Architecture Styles with Name Mobility
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Evaluating and improving the automatic analysis of implicit invocation systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards a knowledge-based approach to architectural adaptation management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
An Active-Architecture Approach to COTS Integration
IEEE Software
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)
Correct Execution of Reconfiguration for Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
FORMS: a formal reference model for self-adaptation
Proceedings of the 7th international conference on Autonomic computing
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
On the reconfiguration of software connectors
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
The ability of reconfiguring software architectures in order to adapt them to new requirements or a changing environment has been of growing interest, but there is still not much formal work in the area. Most existing approaches deal with run-time changes in a deficient way. The language to express computations is often at a very low level of specification, and the integration of two different formalisms for the computations and reconfigurations require sometimes substantial changes. To address these problems, we propose a uniform algebraic approach with the following characteristics.Components are written in a high-level program design language with the usual notion of state.The approach combines two existing frameworks—one to specify architectures, the other to rewrite labelled graphs—just through small additions to either of them.It deals with certain typical problems such as guaranteeing that new components are introduced in the correct state (possibly transferred from the old components they replace). It shows the relationships between reconfigurations and computations while keeping them separate, because the approach provides a semantics to a given architecture through the algebraic construction of an equivalent program, whose computations can be mirrored at the architectural level.