Cart (Loading....) | Create Account
Close category search window

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 )

Date of Publication:

April 2007

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.