A graph transformation approach to software architecture reconfiguration

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Science of Computer Programming

• Publication date

  2002-08-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/S0167-6423(02)00036-9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A graph based architectural (Re)configuration language

  2001cited by this paper
• Tool support for coordination-based software evolution

  2001cited by this paper
• Superposing connectors

  2000cited by this paper
• Reconfiguration of Software Architecture Styles with Name Mobility

  2000cited by this paper
• Towards a Verification Logic for Rewriting Logic

  1999cited by this paper
• Behaviour Analysis of Software Architectures

  1999cited by this paper
• Specification and Refinement of Dynamic Software Architectures

  1999cited by this paper
• Algebraic software architecture reconfiguration

  1999cited by this paper
• Specification of software architecture reconfiguration

  1999cited by this paper
• Describing Software Architecture Styles Using Graph Grammars

  1998influential reference
• Connectors for Mobile Programs

  1998cited by this paper
• Semantics of Transient Connectors in Rewriting Logic

  1998cited by this paper
• Towards a chemical model for software architecture reconfiguration

  1998cited by this paper
• Colimit library for graph transformations and algebraic development techniques

  1998cited by this paper
• Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems

  1998cited by this paper
• Compositional Programming Abstractions for Mobile Computing

  1998cited by this paper
• Specifying and Analyzing Dynamic Software Architectures

  1998influential reference
• Description of EDCS technology clusters

  1997cited by this paper
• Categorical Semantics of Parallel Program Design

  1997cited by this paper
• Issues in the Runtime Modification of Software Architectures

  1997cited by this paper
• Mobile UNITY

  1997cited by this paper
• Succeedings of the second international software architecture workshop (ISAW-2)

  1997cited by this paper
• An Overview of the State of the Art in Software Architecture

  1997cited by this paper
• Semantics of Architectural Connectors

  1997cited by this paper
• ADLs and dynamic architecture changes

  1996cited by this paper
• GRAPH PROCESSES

  1996cited by this paper
• Dynamic structure in software architectures

  1996cited by this paper
• GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS

  1996cited by this paper
• On Termination of Graph Rewriting

  1995cited by this paper
• The Evolving Philosophers Problem: Dynamic Change Management

  1990cited by this paper
• Parallel program design - a foundation

  1988influential reference

• Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems

  2022cites this paper
• Reasoning about distributed reconfigurable systems

  2022cites this paper
• Reasoning about Reconfigurations of Distributed Systems

  2021cites this paper
• A calculus for dynamic architectures

  2019cites this paper
• Interactive verification of architectural design patterns in FACTum

  2019cites this paper
• Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

  2019cites this paper
• A Specification and Detection Approach for Parallel Evolution Conflicts of Software Architectures

  2017cites this paper
• Signature : Sorts , Function , and Predicate Symbols Datatype Specification Interface Specification Architecture Constraint Specification

  2017cites this paper
• On the Specification of Constraints for Dynamic Architectures

  2017cites this paper
• Graph transformation planning with time and concurrency

  2016cites this paper
• Evolution Taxonomy for Software Architecture Evolution

  2016cites this paper
• Self-management of machine-to-machine communications: a multi-models approach

  2016cites this paper
• A method for rigorous design of reconfigurable systems

  2016cites this paper
• Evolution Patterns: Designing and Reusing Architectural Evolution Knowledge to Introduce Architectural Styles

  2016influential citation
• Towards modeling and runtime verification of self-organizing systems

  2016cites this paper
• Sustainable Street Lighting Design Supported by Hypergraph-Based Computational Model

  2015cites this paper
• La gestion des ressources pour des infrastructures vertes par la reconfiguration

  2015cites this paper
• Temporal plans for software architecture reconfiguration

  2015cites this paper
• Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire. (Formal modeling of autonomous dynamical systems: graph rewriting and grammar)

  2015cites this paper
• Systematic synthesis of delta modeling languages

  2015cites this paper
• A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

  2014cites this paper
• Components as Location Graphs

  2014cites this paper
• Enhanced graph rewriting systems for complex software domains

  2014cites this paper
• Trusted Software Architecture Evolution Based on Graph Transformation Rule

  2014cites this paper
• Delta Modeling for Software Architectures

  2014cites this paper
• An Interview-Based Case Study in Software Architecture Evolution

  2014cites this paper
• On Specifying Reconfigurable Component-Based Systems Using Strategies

  2014cites this paper
• Graph Transformation Planning via Abstraction

  2014cites this paper
• Support for self-optimized organizational patterns in socio-driven elastic clouds

  2013cites this paper
• Challenges in developing a software architecture evolution tool as a plug-in

  2013cites this paper
• Engineering delta modeling languages

  2013cites this paper
• Dark Knowledge and Graph Grammars in Automated Software Design

  2013cites this paper
• A graph-based generic type system for object-oriented programs

  2013cites this paper
• Compositional and behavior-preserving reconfiguration of component connectors in Reo

  2013cites this paper
• Temporal Reconfiguration Plans for Self-Adaptive Systems

  2013cites this paper
• Graph-Based Formalism for Machine-to-Machine Self-Managed Communications

  2013cites this paper
• Self-management of Machine-to-Machine communications : a bi-layered approach

  2013cites this paper
• Automated planning for software architecture evolution

  2013cites this paper
• Validating reconfigurations of reo circuits in an e-Banking scenario

  2013cites this paper
• NASA's advanced multimission operations system: a case study in software architecture evolution

  2012cites this paper
• Evolution styles: foundations and models for software architecture evolution

  2012cites this paper
• Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal : An Initial Study

  2012cites this paper
• Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems

  2012cites this paper
• Fujaba Days 2011

  2012cites this paper
• Graph Transformations

  2012cites this paper
• The Many Faces of Complexity in Software Design

  2012cites this paper
• Verifiable resilience in architectural reconfiguration

  2012cites this paper
• A new Meta-Model for Story Diagrams . 1 2

  2012cites this paper
• Graph Transformations for Evolving Domain Knowledge

  2012cites this paper
• A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations

  2011cites this paper
• Planning Self-adaption with Graph Transformations

  2011cites this paper
• Guiding Architects in Selecting Architectural Evolution Alternatives

  2011cites this paper
• Measuring Complexity for MAS Design in the Presence of Ontology Heterogeneity

  2011cites this paper
• Adaptable processes

  2011cites this paper
• Applications of Graph Transformations with Industrial Relevance

  2011cites this paper
• Evolution Framework for Software Architecture using Graph Transformation Approach

  2011cites this paper
• Evolving Critical Systems

  2011cites this paper
• A Temporal Logic for Modeling Constraints on Software Architecture Evolution 15-816 Modal Logic

  2010cites this paper
• Bounded and Eventual Adaptation for Evolvable Components

  2010cites this paper
• Evolving Software Architecture Descriptions of Critical Systems

  2010cites this paper
• Guiding Architectural Restructuring through Architectural Styles

  2010cites this paper
• ETAK: tailoring architectural evolution by (re-)using architectural knowledge

  2010cites this paper
• A model for dynamic reconfiguration in service-oriented architectures

  2010cites this paper
• Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures

  2010cites this paper
• Tolérance aux fautes et reconfiguration dynamique pour les applications distribuées à grande échelle. (Fault tolerance and dynamic reconfiguration for large scale distributed applications)

  2010cites this paper
• Self-adaptation of Systems Composed by Adaptable Components

  2010cites this paper
• EVOLVING ARCHITECTURE OF CRITICAL SYSTEMS

  2010cites this paper
• EVOLVING ARCHITECTURE OF

  2010cites this paper
• A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures

  2009cites this paper
• A Graph-Based Operational Semantics of OO Programs

  2009cites this paper
• Ævol: A tool for defining and planning architecture evolution

  2009cites this paper
• Conceptual modelling of adaptive web services based on high-level Petri nets

  2009cites this paper
• A Graph-based Design Framework for Global Computing Systems

  2009cites this paper
• Supporting Real-Life Applications in Hierarchical Component Systems

  2009cites this paper
• Evolution styles: Foundations and tool support for software architecture evolution

  2009cites this paper
• Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment

  2009cites this paper
• A formal model for self-adaptive and self-healing organizations

  2009cites this paper
• Graph transformations for object-oriented refinement

  2009cites this paper
• iPOJO : Un modèle à composant à service flexible pour les systèmes dynamiques. (iPOJO : A flexible service-oriented component model for dynamic systems)

  2008cites this paper
• Styles-Formal foundations and tool support for software architecture evolution

  2008cites this paper
• Verification of Architectural Refactorings by Rule Extraction

  2008cites this paper
• Verification of Architectural Refactoring Rules

  2008cites this paper
• Legacy Model Reconfiguration Using Graph-Theoretic

  2008cites this paper
• A Supporting Environment Based on Graph Grammar for Dynamic Software Architectures

  2008cites this paper
• Formal Architecture Transformation Using Heuristics

  2007cites this paper
• Transformational Approaches to Model Driven Architecture - A Review

  2007cites this paper
• Putting Teeth into Open Architectures: Infrastructure for Reducing the Need for Retesting

  2007cites this paper
• Matching of Bigraphs

  2007cites this paper
• FOURTH ANNUAL ACQUISITION RESEARCH SYMPOSIUM

  2007cites this paper
• Advanced Features of Hierarchical Component Models

  2007cites this paper
• Model-Based Testing of Service Infrastructure Components

  2007cites this paper
• Dynamic software architectures

  2007cites this paper
• Graph Transformations for Object-Oriented Refinement

  2007cites this paper
• Modeling and Verification of Reliable Messaging by Graph Transformation Systems

  2007cites this paper
• Modeling of Reliable Messaging in Service Oriented Architectures 3

  2006cites this paper
• Dynamic Reconfiguration and Access to Services in Hierarchical Component Models

  2006cites this paper
• Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration

  2006cites this paper
• Style-based modeling and refinement of service-oriented architectures

  2006cites this paper
• AutoGen: Easing model management through two levels of abstraction

  2006cites this paper
• Modeling Software Evolution using Algebraic Graph Rewriting

  2006cites this paper