The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
Graph-based tools for re-engineering
Journal of Software Maintenance: Research and Practice
Proceedings of the First International Conference on Theory and Application of Diagrams
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
A Graph-Based Approach to Resolution in Temporal Logic
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Fully Abstract Model for Graph-Interpreted Temporal Logic
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Integration of Analysis and Redesign Activities in Information System Reengineering
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
Specification of business components using temporal OCL
UML and the unified process
Graph transformation with time
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
| Hi-index | 0.00 |
Graph transformation techniques have already been used successfully by several research groups to support re-engineering of large legacy systems. Where others often aim at transforming the system to improve it, we advocate an evolutionary approach that embeds transformations within the ordinary development process and provides tool support to monitor the ongoing progress regularly. In this paper, we discuss how temporal graph queries based on Fujaba story diagrams can provide a natural means to express trend-oriented metrics and consistency rules that we identified in our industrial case studies. To this end, we discuss a first-order logic rather than operational interpretation of a graph queries and show how well-known temporal logic operators can be added to express rules over consecutive states of the same instance graph.