Towards supporting multiple execution environments for UML/OCL models at runtime

No abstract is available for this paper.

• Publication year

  2012

• Venue

  MRT '12

• Publication date

  2012-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2422518.2422526
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• OCL-Based Runtime Monitoring of Applications with Protocol State Machines

  2012cited by this paper
• Abstract Runtime Monitoring with USE

  2012cited by this paper
• Electronic Communications of the EASST Volume 41 ( 2011 ) Proceedings of the Tenth International Workshop on Graph Transformation and Visual Modeling Techniques ( GTVMT 2011 ) Exploring ( Meta-) Model Snapshots by Combining Visual and Textual Techniques

  2011cited by this paper
• Electronic Communications of the EASST Volume 36 ( 2010 ) Proceedings of the Workshop on OCL and Textual Modelling ( OCL 2010 ) OCL-based Runtime Monitoring of JVM hosted Applications

  2011cited by this paper
• Summary of the 5th International Workshop on Models@run.time

  2010cited by this paper
• Meta-Modeling Runtime Models

  2010cited by this paper
• Applying MDE Tools at Runtime: Experiments upon Runtime Models

  2010cited by this paper
• An Approach to Verifying Security and Timing Properties in UML Models

  2010cited by this paper
• Monitoring Model Specifications in Program Code Patterns

  2010cited by this paper
• Generating synchronization engines between running systems and their model-based views

  2009cited by this paper
• XMI2USE: A Tool for Transforming XMI to USE Specifications

  2009cited by this paper
• Declarative Workflow Modeling with UML Class Diagrams and OCL

  2009cited by this paper
• Models in Software Engineering

  2009cited by this paper
• Incremental model synchronization for efficient run-time monitoring

  2009cited by this paper
• A Model-Based Framework for Statically and Dynamically Checking Component Interactions

  2008cited by this paper
• MDA Employed in a Joint eGovernment Strategy: An Experience Report

  2008cited by this paper
• USE: A UML-based specification environment for validating UML and OCL

  2007cited by this paper
• Overview and Evaluation of Constraint Validation Approaches in Java

  2007cited by this paper
• CLR via C

  2006cited by this paper

• History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany

  2020cites this paper
• Models@run.time: a guided tour of the state of the art and research challenges

  2019cites this paper
• Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

  2016cites this paper