The March, April, and May 2007 issues of IEEE Distributed Systems Online will 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. You can find the workshop proceedings in the Computer Society's Digital Library.

Fabrice Kordon is a professor at the University Paris VI. Contact him at fabrice.kordon@lip6.fr.