Computer Science – Software Engineering
Scientific paper
2011-06-30
EPTCS 56, 2011, pp. 65-79
Computer Science
Software Engineering
In Proceedings AMMSE 2011, arXiv:1106.5962
Scientific paper
10.4204/EPTCS.56.5
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.
Andova Suzana
den Brand Mark van
Engelen Luc
No associations
LandOfFree
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-480167