Graph grammar engineering with PROGRES

Schürr, Andy; Winter, Andreas; Zündorf, Albert

doi:10.1007/3-540-60406-5_17

Cited by 94 publications

(55 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The application of graph productions was restricted by using negative application conditions and controlled graph rewriting. All these techniques are provided by stateof-the-art graph rewriting tools such as PROGRES [11] and Fujaba [13].…”

Section: Discussionmentioning

confidence: 99%

Formalising Behaviour Preserving Program Transformations

Mens

Demeyer

Janssens

2002

Graph Transformation

View full text Add to dashboard Cite

Abstract. The notion of refactoring -transforming the source-code of an objectoriented program without changing its external behaviour-has increased the need for a precise definition of refactorings and their properties. This paper introduces a graph representation of those aspects of the source code that should be preserved by a refactoring, and graph rewriting rules as a formal specification for the refactoring transformations themselves. To this aim, we use type graphs, forbidden subgraphs, embedding mechansims, negative application conditions and controlled graph rewriting. We show that it is feasible to reason about the effect of refactorings on object-oriented programs independently of the programming language being used. This is crucial for the next generation of refactoring tools.

show abstract

Section: Discussionmentioning

confidence: 99%

Formalising Behaviour Preserving Program Transformations

Mens

Demeyer

Janssens

2002

Graph Transformation

View full text Add to dashboard Cite

show abstract

“…STATEMATE [18], PROGRES [19], which simulate the specified model like an interpreter, our approach is to generate source code out of the specification and observe the running system.…”

Section: Related Workmentioning

confidence: 99%

Towards Design Verification and Validation at Multiple Levels of Abstraction

Giese

Kardos

Nickel

2002

Design and Analysis of Distributed Embedded Systems

View full text Add to dashboard Cite

Abstract:The specification of software for distributed production control systems is an error prone task. The ISILEIT project aims at the development of a seamless methodology for the integrated design. analysis and validation of such embedded systems. Suitable subsets of UML and SDL for the design of such systems are therefore identified in a first step. The paper then focuses on how we use a series of formal semantics of our design language to enable the effective evaluation of software designs by means of validation and verification. We will further explain how the use of multiple Abstract State Machine meta-models permits simulation and model checking at different levels of abstraction

show abstract

“…1: m and 1: n relationships are modeled through non-functional features called roles [50]. This extension will introduce and unify versioning concepts in graph-structured applications such as computer-aided design (CAD) [26], or graph-based software development environments [13,48]; first results are given in [63].…”

Section: Efficient Integration Of Scm Conceptsmentioning

confidence: 99%

Unified versioning through feature logic

Zeller

Snelting

1997

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

Software Configuration Management (SCM) suffers from tight coupling between SCM versioning models and the imposed SCM processes. In order to adapt SCM tools to SCM processes, rather than vice versa, we propose a unified versioning model, the version set model. Version sets denote versions, components, and configurations by feature terms, that is, boolean terms over (feature: value)-attributions. Through feature logic, we deduce consistency of abstract configurations as well as features of derived components and describe how features propagate in the SCM process; using feature implications, we integrate change-oriented and version-oriented SCM models. We have implemented the version set model in a SCM system called ICE for Incremental Configuration Environment. ICE is based on a featured file system (FFS), where version sets are accessed as virtual files and directories. Using the well-known C Preprocessor representation, users can view and edit multiple versions simultaneously, while still only the differences between versions are stored. It turns out that all major SCM models can be realized and integrated efficiently on top of the FFS, demonstrating the flexible and unifying nature of the version set model.

show abstract

Graph grammar engineering with PROGRES

Cited by 94 publications

References 4 publications

Formalising Behaviour Preserving Program Transformations

Formalising Behaviour Preserving Program Transformations

Towards Design Verification and Validation at Multiple Levels of Abstraction

Unified versioning through feature logic

Contact Info

Product

Resources

About