Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 5:00 PM ET (12:00 - 21:00 UTC). We apologize for the inconvenience.
By Topic

System Prototype and Verification Using Metamodel-Based Transformations

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
Pedro, L. ; Geneva Univ. ; Lucio, L. ; Buchs, D.

Mapping domain-specific languages' core concepts into the concurrent object-oriented Petri nets formal specification language provides users with the semantics necessary for developing prototypes for these DSLs. Different knowledge domains demand different types of support from software languages. Domain engineers often use domain-specific languages to overcome this problem. DSLs are difficult to design, implement, and maintain and are often less efficient than hand-coded software. To address some of these problems, we propose transforming a DSL into the concurrent object-oriented Petri nets formalism. The DSL metamodel serves as the transformation's starting point. The transformation represents the semantic mapping between the DSL and CO-OPN. We aim both to provide a formally defined semantics for the DSL and, because we integrate CO-OPN in a framework, to provide the functionalities that allow model verification and fast prototype generation for the DSL

Published in:

Distributed Systems Online, IEEE  (Volume:8 ,  Issue: 4 )