- Alexander, P., The Rosetta User's Guide, Morgan Kaufmann Publishers, to appear Sept 2006
- Zinjuwadia, K. and P. Alexander, "DVTG and Test Harnessing Using Rosetta Specifications," Proceedings of the 11th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'04), , Brno, Czech Republic, May 24-26, 2004
- Kong, C., P. Alexander, and C. Menon,
"Defining a Formal Coalgebraic Semantics for The Rosetta
Journal of Universal Computer
- Kong, C. and P. Alexander, "Defining a Formal Semantics for the Rosetta Specification Language," Proceedings of the IFIP Formal Specification of Computer-Based Systems Workshop (FSCBS'03), , Huntsville, AL, April 2003
- Kong, C. and P. Alexander, "The Rosetta Meta-Model Framework," Proceedings of the IEEE Engineering of Computer-Based Systems Symposium and Workshop (ECBS'03), , Huntsville, AL, April 7-11, 2003
- Kong, C. and P. Alexander, "Multi-Faceted Requirements Modeling and Analysis," Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), , Essen, Germany, Septebmer 9-13, 2002
- Kong, C. and P. Alexander, "Modeling Model of Computation Ontologies in Rosetta," Proceedings of the Formal Specification of Computer Based Systems (FSCBS'02), , Lund, Sweden, April 10-11, 2002
- Cindy Kong and Perry Alexander, "Heterogeneous Computer-Based System Specification," Proceedings of the Formal Specification of Computer-Based Systems Workshop, , Washington, DC, April 20, 2001
- Alexander, P., C. Kong and D. Schonberger, "A Practical Semantics for Domain Interaction," Proceedings of the Engineering of Computer Based Systems Symposium and Workshop (ECBS'01), , Washington, DC, April, 2001
- Alexander, P. and D. Barton, "A Tutorial Introduction to Rosetta," Proceedings of the Hardware Description Languages Conference (HDLCon'01), , San Jose, CA, March 2001
- Perry Alexander, Roshan Kamath, and David Barton, "System Specification in Rosetta," Proceedings of the IEEE Engineering of Computer Based Systems Symposium, , Edinburgh, UK, April 2000
- Perry Alexander and David Barton, "An Introduction to Rosetta," tutorial presentation at the HDLCon00, , San Jose, CA, March, 2000
- Perry Alexander, Cindy Kong and David Barton, "Rosetta Functional Specification Domains," Proceedings of the HDLCon00, , San Jose, CA, March, 2000
- Peter Ashenden, Perry Alexander and David Barton, "A Dual Spring System Case Study Model in Rosetta," Proceedings of the Forum On Design Languages (FDL-00), , Tubingen, Germany, September 2000
The Rosetta language project focuses on the development of a syntax and formal specification of a system-level specifiation language. The Rosetta language uses facets, domains and interactions to model the various aspects of a system and how those aspect interact. The goal is providing a language that supports predicting how local design decisions impact system-level design requirements.
A facet is the fundamental design unit in a Rosetta specifiation. Each facet is a model of a system from one modeling perspective. Thus, several facets are used in parallel to model a system from multiple perspectives.
A domain provides vocabulary and semantics for facet definition. Each domain encodes model-of-computation information, standard modeling vocabulary and semantics for a given modeling domain. Each facet extends a domain to define a model.
An interation defines how information from two domains interacts. Each interaction encodes a mechanism for translating information from one domain into another. Using domains, it is possible to integrate facets from multiple domains structually as well as in parallel. Parallel facets must be mutually consistent with respect to interactions between them for a Rosetta model to be correct.
The Rosetta team is actively engaged in developing a language standard to be submitted to IEEE; a standard defining base modeling domains; a usage model; and prototype tools for modeling various systems. The language standard is well underway and a book from Morgan Kaufmann is due to appear in Fall 2006. However, assistance is still required and we welcome anyone willing to participate in the process as a developer or reviewer.
Other Rosetta related projects in the System-Level Design Group include:
- Rosetta Homepage -
Visit the Rosetta hompepage for more detailed information on Rosetta and participation in Rosetta definition.