A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Handbook of graph grammars and computing by graph transformation
The expression of graph properties and graph transformations in monadic second-order logic
Handbook of graph grammars and computing by graph transformation
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Hyperedge Replacement: Grammars and Languages
Hyperedge Replacement: Grammars and Languages
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
A Spatial Logic for Querying Graphs
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Graph Grammars for distributed systems
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Style-Based Refinement of Dynamic Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
DynAlloy: upgrading alloy with actions
Proceedings of the 27th international conference on Software engineering
A Verification Logic for Rewriting Logic
Journal of Logic and Computation
Describing dynamic software architectures using an extended UML model
Proceedings of the 2006 ACM symposium on Applied computing
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
The rewriting logic semantics project
Theoretical Computer Science
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
A formal support to business and architectural design for service-oriented systems
Rigorous software engineering for service-oriented systems
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Hi-index | 0.00 |
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented in Alloy; ii) a process algebraic presentation of graph transformation implemented in Maude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis.