Title :
Model Composition in Rosetta
Author :
Frisby, N. ; Peck, M. ; Snyder, M. ; Alexander, P.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Univ. of Kansas, Lawrence, KS, USA
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.
Keywords :
formal specification; reasoning about programs; software reusability; specification languages; Rosetta specification language; composition operation; compositional reasoning; concern separation; model composition; modularity; multidomain reasoning; reasoning about specifications; system facets; Adders; Central Processing Unit; Cognition; Fabrics; Lattices; Program processors; Semantics; reasoning; refinement; specification composition;
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4577-0065-1
Electronic_ISBN :
978-0-7695-4379-6
DOI :
10.1109/ECBS.2011.34
