Parallel program design: a foundation
Parallel program design: a foundation
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Fundamenta Informaticae - Special issue on graph transformations
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
Proceedings of the third international workshop on Software architecture
Sixth International Symposium on the Foundations of Software Engineering
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
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Towards a Verification Logic for Rewriting Logic
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Behaviour Analysis of Software Architectures
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
On Termination of Graph Rewriting
WG '95 Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Tool Support for Coordination-Based Software Evolution
TOOLS '01 Proceedings of the Technology of Object-Oriented Languages and Systems
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
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
Transforming Specification Architectures by GenGED
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Proceedings of the 26th International Conference on Software Engineering
AutoGen: Easing model management through two levels of abstraction
Journal of Visual Languages and Computing
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Science of Computer Programming
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Ævol: A tool for defining and planning architecture evolution
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Object-Oriented Connector-Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Framework for Connector Architectures based on Components and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
ETAK: tailoring architectural evolution by (re-)using architectural knowledge
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Guiding architects in selecting architectural evolution alternatives
ECSA'11 Proceedings of the 5th European conference on Software architecture
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Dynamic reconfiguration and access to services in hierarchical component models
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
NASA's advanced multimission operations system: a case study in software architecture evolution
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Planning self-adaption with graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Graph transformations for evolving domain knowledge
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Validating reconfigurations of reo circuits in an e-Banking scenario
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Engineering delta modeling languages
Proceedings of the 17th International Software Product Line Conference
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
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. We propose a uniform algebraic approach that improves on previous formal work in the area due to the following characteristics. First, components are written in a high-level program design language with the usual notion of state. Second, the approach deals with typical problems such as guaranteeing that new components are introduced in the correct state (possibly transferred from the old components they replace) and that the resulting architecture conforms to certain structural constraints. Third, reconfigurations and computations are explicitly related by keeping them separate. This is 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.