Statecharts: A visual formalism for complex systems
Science of Computer Programming
Evolving algebras 1993: Lipari guide
Specification and validation methods
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Formal Semantics for VHDL
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Computer
Platform-Based Design and Software Design Methodology for Embedded Systems
IEEE Design & Test
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Specification and design of reactive systems
Specification and design of reactive systems
A denotational semantics for stateflow
Proceedings of the 5th ACM international conference on Embedded software
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Towards a formal foundation for domain specific modeling languages
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Compositional specification of behavioral semantics
Proceedings of the conference on Design, automation and test in Europe
A Case Study on Semantic Unit Composition
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Decoupling web application concerns through weaving operations
Science of Computer Programming
Towards Verification of Model Transformations Via Goal-Directed Certification
Model-Driven Development of Reliable Automotive Services
Operational Semantics of Ada Ravenscar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains
Software Language Engineering
A semantic framework for metamodel-based languages
Automated Software Engineering
Exploring Multi-Paradigm Modeling Techniques
Simulation
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
Journal of Visual Languages and Computing
A framework for evolution of modelling languages
Science of Computer Programming
Domain-specific engineering of domain-specific languages
Proceedings of the 10th Workshop on Domain-Specific Modeling
Computation platform for automatic analysis of embedded software systems using model based approach
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Model-based tool-chain infrastructure for automated analysis of embedded systems
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
A pattern-based approach to business process modeling and implementation in web services
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Towards a DSM-based framework for the development of complex simulation systems
Proceedings of the 2011 Summer Computer Simulation Conference
Model-driven development of DSML execution engines
Proceedings of the 7th Workshop on Models@run.time
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
Metamodeling facilitates the rapid, inexpensive development of domain-specific modeling languages (DSML-s). However, there are still challenges hindering the wide-scale industrial application of model-based design. One of these unsolved problems is the lack of a practical, effective method for the formal specification of DSML semantics. This problem has negative impact on reusability of DSML-s and analysis tools in domain specific tool chains. To address these issues, we propose a formal well founded methodology with supporting tools to anchor the semantics of DSML-s to precisely defined and validated "semantic units". In our methodology, each of the syntactic and semantic DSML components is defined precisely and completely. The main contribution of our approach is that it moves toward an infrastructure for DSML design that integrates formal methods with practical engineering tools. In this paper we use a mathematical model, Abstract State Machines, a common semantic framework to define the semantic domains of DSML-s.