Model Composition in Rosetta

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Apr 2011Publisher:IEEEJournal:2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

Authors: Nicolas Frisby; M. Peck; Mark Snyder; Perry Alexander;

doi: 10.1109/ecbs.2011.34

Model Composition in Rosetta

- Summary
- Metrics

Abstract

We describe the various composition operations available in the Rosetta specification language, provide examples, and discuss reasoning compositionally about specified systems. Composing specifications allows for more than the usual benefits of modularity and re-use: reasoning about specifications also may rely explicitly on the nature of composition. Rosetta facilitates composition of differing views, called 'facets', of a system. This heterogeneous specification approach allows for separation of concerns and also admits any applicable multi-domain reasoning.

Related Organizations

National Institutes of Health
United States
Center for Information Technology
United States
University of Kansas
United States

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average