Using AToM3 as a Meta-Case Tool

No abstract is available for this paper.

• Publication year

  2002

• Venue

  International Conference on Enterprise Information Systems

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Software Engineering: A Practitioner's Approach (McGraw-Hill Series in Computer Science)

  2004cited by this paper
• Using graph rewriting to specify software architectural transformations

  2000cited by this paper
• DEVS as a common denominator for multi-formalism hybrid systems modelling

  2000cited by this paper
• Process support in MetaCASE: implementing the conceptual basis for enactable process models in MetaEdit+

  1997cited by this paper
• Meta-CASE in Practice: a Case for KOGGE

  1997influential reference
• A Theory of Objects

  1996cited by this paper
• MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment

  1996cited by this paper
• Interconnecting formalisms: supporting modularity, reuse and incrementality

  1995cited by this paper
• MULTIGRAPH: an architecture for model-integrated computing

  1995cited by this paper
• Efficient Graph Rewriting and Its Implementation

  1995influential reference
• Issues in the Practical Use of Graph Rewriting

  1994cited by this paper
• Conjunction as composition

  1993cited by this paper
• ViewPoint Oriented Software Development

  1990cited by this paper
• A Pluralistic Knowledge-Based Approach to Software Specification

  1989cited by this paper
• On visual formalisms

  1988cited by this paper
• Software Engineering: A Practitioner's Approach

  1982cited by this paper
• Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science

  1982cited by this paper

• Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation

  2022influential citation
• Refining Privacy-Aware Data Flow Diagrams

  2021cites this paper
• Eugenia: towards disciplined and automated development of GMF-based graphical model editors

  2017cites this paper
• Transformations Debugging Transformations

  2017cites this paper
• Organisational Metamodel for Large-Scale Multi-Agent Systems: First Steps Towards Modelling Organisation Dynamics

  2017cites this paper
• Organisational Metamodel for Large-Scale Multi- Agent Systems: First Steps Towards Modelling Organisation Dynamics

  2017cites this paper
• Scope in model transformations

  2016cites this paper
• Reflective Constraint Writing - A Symbolic Viewpoint of Modeling Languages

  2016cites this paper
• Towards an automatic model transformation mechanism from UML state machines to DEVS models

  2015cites this paper
• Environnement Multi-agent pour la Multi-modélisation et Simulation des Systèmes Complexes. (Multi-agent Environment for Multi-Modeling and Simulation of Complex Systems)

  2015cites this paper
• Collaborative editing of EMF/Ecore meta-models and models conflict detection, reconciliation, and merging in DiCoMEF

  2015cites this paper
• Formal Verification Techniques for Model Transformations: A Tridimensional Classification

  2015cites this paper
• Back-Annotation of Execution Sequences by Advanced Search and Traceability Techniques

  2014cites this paper
• A survey of Model-Driven approaches applied to DEVS - a comparative study of metamodels and transformations

  2014cites this paper
• Bridging the gap between formal semantics and implementation of triple graph grammars

  2014cites this paper
• Reflective Extension of Object Constraint Languages, Sustainable Constraint Writing and a Symbolic Viewpoint of Modeling Languages

  2014cites this paper
• Metamodel-based transformation from UML state machines to DEVS models

  2014cites this paper
• Comprehensive Tool Support for Enterprise Modeling and Evaluation

  2014cites this paper
• Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables

  2013cites this paper
• DPF Workbench: a multi-level language workbench for MDE

  2013cites this paper
• A component-based approach for specifying DSML's concrete syntax

  2013cites this paper
• Design, verification and deployment of software-intensive systems : a multi-paradigm modelling approach

  2013cites this paper
• A Reconciliation Framework to Support Cooperative Work with DSM

  2013cites this paper
• A Case Study in Combining Formal Verification and Model-Driven Engineering

  2012cites this paper
• Replaying Execution Trace Models for Dynamic Modeling Languages

  2012cites this paper
• SynDEVS Co-Design Flow

  2012cites this paper
• Implementing Graph Transformation Languages using RDF Storage and SPARQL Queries †

  2012cites this paper
• Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements

  2012cites this paper
• Incremental model synchronization with precedence-driven triple graph grammars

  2012cites this paper
• Integrating a Formal Development for DSLs into Meta-Modeling

  2012cites this paper
• DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment

  2012cites this paper
• A Tridimensional Approach for Studying the Formal Verification of Model Transformations

  2012cites this paper
• Combining Verification and MDE Illustrated by a Formal Java Development

  2012cites this paper
• A Formal Semantics of Kermeta

  2012cites this paper
• ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

  2011cites this paper
• ACESMB 2011 Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems

  2011cites this paper
• A Model-Driven Approach for Software Parallelization

  2011influential citation
• Specification and verification of timed automaton using meta-modeling and graph grammars

  2011cites this paper
• Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations

  2011cites this paper
• A Multi-Layer Diagrammatic ( Meta ) Modelling Environment

  2011cites this paper
• A Multi-Layer Modelling Environment for Diagram Predicate Framework in Eclipse

  2011cites this paper
• Using specification and description language to define and implement discrete simulation models

  2010cites this paper
• Konzeption und Implementierung eines generischen Modellierungswerkzeugs zur Unterstützung der domänenspezifischen Prozessmodellierung

  2010cites this paper
• A meta model for representing arbitrary meta model hierarchies

  2010cites this paper
• Towards an open meta modeling environment

  2010cites this paper
• Taming EMF and GMF using model transformation

  2010cites this paper
• Bridging the gap between formal semantics and implementation of triple graph grammars

  2010cites this paper
• A framework for integrated modeling using a knowledge-driven approach

  2010cites this paper
• eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

  2009cites this paper
• Automatically Generated Case Workbenches: A Preliminary Case Study

  2009cites this paper
• Supporting domain-specific model patterns with metamodeling

  2009cites this paper
• Intuitive Visualization-Oriented Metamodeling

  2009cites this paper
• Composing Visual Syntax for Domain Specific Languages

  2009cites this paper
• Transformation techniques can make students excited about formal methods

  2008cites this paper
• Integrating Refinement into Software Development Tools

  2008cites this paper
• An extensible platform for specification of integrated languages for model management

  2008cites this paper
• Model-driven analysis and synthesis of textual concrete syntax

  2008cites this paper
• Formal Representations of the Data Flow Diagram: A Survey

  2008cites this paper
• Integrating Refinement into Software Development Tools

  2008cites this paper
• A flexible, declarative presentation framework for domain-specific modeling

  2008cites this paper
• Progress of Research on Metamodeling

  2008cites this paper
• From UML State Charts to DEVS State Machines using XML

  2007cites this paper
• Students can get excited about Formal Methods : a model-driven course on Petri-Nets , Metamodels and Graph Grammars

  2007cites this paper
• Concrete syntax definition for modeling languages

  2007cites this paper
• A Meta-Modeling Environment for Mechanical System Co-Simulations

  2007cites this paper
• Software Engineering and Management 2007 : 01 Proceedings of the 3 rd Educators ’ Symposium at MODELS 2007

  2007cites this paper
• Meta-Model Guided Error Correction for UML Models

  2007cites this paper
• DEVSML: automating DEVS execution over SOA towards transparent simulators

  2007cites this paper
• Milestones, Models and Mappings for Model-Driven Architecture

  2006influential citation
• Constructing meta-CASE workbenches by exploiting visual language generators

  2006cites this paper
• Proceedings of the European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA)

  2006cites this paper
• The design of a language for model transformations

  2006cites this paper
• Meta-Modeling for Multi-Physics Co-Simulations applied for OpenModelica

  2006cites this paper
• Model-Driven analysis and synthesis of concrete syntax

  2006cites this paper
• Metamodel-Aware Textual Concrete Syntax Specification

  2006cites this paper
• Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware

  2006cites this paper
• The design of a simple language for graph transformations

  2005cites this paper
• Making Metamodels Aware of Concrete Syntax

  2005cites this paper
• An Introduction to Computer Automated Multi-Paradigm Modeling

  2004cites this paper
• Intégration de modèles hétérogènes pour la modélisation et la simulation de systèmes complexes : application à la modélisation multi-échelles en écologie marine

  2004cites this paper
• Model Based Software Engineering , Graph Grammars and Graph Transformations Area Paper

  2004cites this paper
• DCHARTS, A FORMALISM FOR MODELING AND SIMULATION BASED DESIGN OF REACTIVE SOFTWARE SYSTEMS

  2004cites this paper
• Computer Automated Multi-Paradigm Modeling: An Introduction

  2004cites this paper
• Meta-modelling hybrid formalisms

  2004cites this paper
• A formal graph transformation based language for model-to-model transformations

  2004cites this paper
• Graph Transformations on Domain-Specific Models

  2003cites this paper
• Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation

  2003cites this paper
• 1 Graph Transformations on Domain-Specific Models

  2003cites this paper
• Computer automated multi-paradigm modelling: meta-modelling and graph transformation

  2003cites this paper
• Computer Automated Multi-paradigm Modelling: Meta-modelling and Graph Transformation

  2003cites this paper
• OPCAT - A Bimodal Case Tool for Object-Process Based System Development

  2003cites this paper
• Domain-Speci(cid:2)c Visual Modelling in AToM 3

  year unknowncites this paper