Abstract :
The March, April, and May 2007 issues of IEEE Distributed Systems Online feature revised versions of the best papers presented at the 17th International IEEE Workshop on Rapid System Prototyping (RSP 06). These articles were selected by reviewers from a large selection of excellent submissions. In this month\´s issue, we present "System Prototype and Verification Using Metamodel-Based Transformations" by Luis Pedro, Levi Lucio, and Didier Buchs. The article discusses how mapping domain-specific languages\´ core concepts into the Concurrent Object-Oriented Petri Nets formal specification language can provide users with the semantics necessary for developing prototypes for these DSLs.
