Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
MetaEdit: a flexible graphical environment for methodology modelling
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
A calculus of mobile processes, I
Information and Computation
Test Driven Development: By Example
Test Driven Development: By Example
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Visual language semantics specification in the VisPro system
VIP '02 Selected papers from the 2002 Pan-Sydney workshop on Visualisation - Volume 22
A Semantic Anchoring Infrastructure for the Design of Embedded Systems
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Domain-specific development with visual studio dsl tools
Domain-specific development with visual studio dsl tools
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Runtime verification of java programs for scenario-based specifications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Hi-index | 0.00 |
Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques. However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM.