A hierarchy of temporal properties (invited paper, 1989)
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Visual Specification of Multi-View Visual Environments
VL '98 Proceedings of the IEEE Symposium on Visual Languages
High-Level Integrated Design Environment for Dependability (HIDE)
WORDS '99 Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Pounamu: A Meta-Yool for Multi-View Visual Language Environment Construction
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Visual specification of measurements and redesigns for domain specific visual languages
Journal of Visual Languages and Computing
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A generic tool for tracing executions back to a DSML's operational semantics
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Analysis of a metamodel to estimate complexity of using a domain-specific language
Proceedings of the 10th Workshop on Domain-Specific Modeling
Modeling collaboration protocols for collaborative modeling tools: Experiences and applications
Journal of Visual Languages and Computing
Reusable abstractions for modeling languages
Information Systems
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The integration of usable and flexible analysis support in modelling environments is a key success factor in Model-Driven Development. In this paradigm, models are the core asset from which code is automatically generated, and thus ensuring model correctness is a fundamental quality control activity. For this purpose, a common approach is to transform the system models into formal semantic domains for verification. However, if the analysis results are not shown in a proper way to the end-user (e.g. in terms of the original language) they may become useless. In this paper we present a novel DSVL called BaVeL that facilitates the flexible annotation of verification results obtained in semantic domains to different formats, including the context of the original language. BaVeL is used in combination with a consistency framework, providing support for all steps in a verification process: acquisition of additional input data, transformation of the system models into semantic domains, verification, and flexible annotation of analysis results. The approach has been validated analytically by the cognitive dimensions framework, and empirically by its implementation and application to several DSVLs. Here we present a case study of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.