Defining Object-Oriented Execution Semantics Using Graph Transformations

No abstract is available for this paper.

• Publication year

  2006

• Venue

  International Conference on Formal Methods for Open Object-Based Distributed Systems

• Publication date

  2006-06-14

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/11768869_15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Specification and Construction of Control Flow Semantics

  2006cited by this paper
• Engineering Object-Oriented Semantics Using Graph Transformations

  2006influential reference
• Dynamic META modeling: a semantics description technique for visual modeling languages

  2005cited by this paper
• The Joys of Graph Transformation

  2005cited by this paper
• Translating Java Code to Graph Transformation Systems

  2004cited by this paper
• The GROOVE Simulator: A Tool for State Space Generation

  2003cited by this paper
• Types and programming languages: the next generation

  2003cited by this paper
• Inductive Proof Outlines for Monitors in Java

  2003cited by this paper
• How to Cook a Complete Hoare Logic for Your Pet OO Language

  2003cited by this paper
• Visual Language Semantics Specification in the VisPro System

  2003cited by this paper
• A Formal Semantics of UML Statecharts by Model Transition Systems

  2002cited by this paper
• An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation

  2002cited by this paper
• Unification of Static and Dynamic Semantics of UML

  2001cited by this paper
• Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML

  2000influential reference
• A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach

  2000cited by this paper
• Software Metrics : A Rigorous and Practical Approach

  1998cited by this paper
• Software metrics (2nd ed.): a rigorous and practical approach

  1997cited by this paper
• Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations

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

  1996cited by this paper
• A Theory of Objects

  1996cited by this paper
• PolyTOIL: A type-safe polymorphic object-oriented language

  1995cited by this paper
• The formal semantics of programming languages - an introduction

  1993cited by this paper
• An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language

  1993cited by this paper

• Graph Attribution Through Sub-Graphs

  2018cites this paper
• Mathematical model for quantification of graph theory concepts

  2017cites this paper
• A systematic approach to constructing incremental topology control algorithms using graph transformation

  2017cites this paper
• Bringing Model Checking Closer To Practical Software Engineering

  2016cites this paper
• Translating Controlled Graph Grammars to Ordinary Graph Grammars

  2016cites this paper
• An Algebraic Semantics Model for Templates Constrained with a Single Associated Type Concept

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

  2013cites this paper
• Graph-Based Object-Oriented Hoare Logic

  2013cites this paper
• Abstract Graph Transformation - Theory and Practice

  2013cites this paper
• Algebraic semantics of concepts for a simple programming language

  2012cites this paper
• Composition of Model Transformations: A Categorical Framework

  2012cites this paper
• A Truly Concurrent Semantics for the K Framework Based on Graph Transformations

  2012cites this paper
• Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

  2012cites this paper
• Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems

  2012cites this paper
• Modeling UML2 activity diagram by using Graph Transformation Systems and Abstract State Machine

  2012cites this paper
• Behaviour modelling and transformations for context-aware mobile applications

  2011cites this paper
• A categorical framework for the transformation of object-oriented systems: Models and data

  2011cites this paper
• Execution Constraint Verification of Exception Handling on UML Sequence Diagrams

  2011cites this paper
• Verifying Runtime Reconfiguration Requirements on UML Models

  2010cites this paper
• The Edge of Graph Transformation - Graphs for Behavioural Specification

  2010cites this paper
• Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques

  2010influential citation
• Modelling and analysis using GROOVE

  2010cites this paper
• Full Semantics Preservation in Model Transformation – A Comparison of Proof Techniques

  2010cites this paper
• Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen

  2010cites this paper
• A rewriting approach to concurrent programming language design and semantics

  2010cites this paper
• Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

  2009cites this paper
• A Type Graph Model for Java Programs

  2009cites this paper
• A graph-transformation-based simulation approach for analysing aspect interference on shared join points

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

  2009cites this paper
• Refactoring Object-Oriented Systems

  2009cites this paper
• Challenges in Model-Driven Software Engineering

  2009cites this paper
• Graph Based Verification of Software Evolution Requirements

  2009cites this paper
• A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models

  2009cites this paper
• Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

  2009cites this paper
• Using Graph Transformations and Graph Abstractions for Software Verification

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

  2009cites this paper
• A Journey through the Secret Life of Models

  2008cites this paper
• Explicit State Model Checking for Graph Grammars

  2008cites this paper
• Framework for Computer-Aided Evolution of Object-Oriented Designs

  2008cites this paper
• From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations

  2008cites this paper
• From structural operational semantics to graph transformations

  2007cites this paper
• Graph-Based Semantics of the .NET Intermediate Language

  2007cites this paper
• A Language Description is More than a Metamodel

  2007cites this paper
• Towards the Generation of a Text-Based IDE from a Language Metamodel

  2007cites this paper
• Graph Transformation and AI Planning

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

  2007cites this paper
• Simulating Multigraph Transformations Using Simple Graphs

  2007cites this paper
• The Graph Transformation Benchmark for the International Knowledge Engineering Competition for Planning & Scheduling

  2007cites this paper
• Nested Quantification in Graph Transformation Rules

  2006cites this paper
• A Graph-Transformation-Based Semantics for Analysing Aspect Interference

  2006cites this paper
• MCC: A Model Transformation Environment

  2006cites this paper
• Manipulation of Graphs, Algebras and Pictures Essays Dedicated to Hans-jörg Kreowski on the Occasion of His 60th Birthday Categorical Framework for the Transformation of Object-oriented Systems: Operations and Methods Categorical Framework for the Transformation of Object-oriented Systems: Operation

  year unknowncites this paper