Model Composition in Rosetta

Frisby, Nicolas; Peck, M.; Snyder, Mark; Alexander, Perry

doi:10.1109/ecbs.2011.34

Cited by 3 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rosetta [28] is focused on functional multi-formalism modeling [29]. It takes an algebraic approach to relating models: each formalism is described as a coalgebra-a mathematical system useful for describing arbitrary transitions among arbitrary states [30], [31]. The coalgebras corresponding to each formalism are placed in a lattice, which provides a structure for determining how to transform one model into another.…”

Section: Related Workmentioning

confidence: 99%

Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation

Jarus

Sarvestani

Hurson

2019

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)

View full text Add to dashboard Cite

Model transformation tools assist system designers by reducing the labor-intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions. We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.

show abstract

Section: Related Workmentioning

confidence: 99%

Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation

Jarus

Sarvestani

Hurson

2019

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)

View full text Add to dashboard Cite

show abstract

Models, metamodels, and model transformation for cyber-physical systems

Jarus

Sarvestani

Hurson

2016

2016 Seventh International Green and Sustainable Computing Conference (IGSC)

View full text Add to dashboard Cite

Rosetta Composition Semantics

Peck

Alexander

2014

Advances in Systems Analysis, Software Engineering, and High Performance Computing

View full text Add to dashboard Cite

The Rosetta specification language aims to enable system designers to abstractly design complex heterogeneous systems. To this end, Rosetta allows for compositional design to facilitate modularity, separation of concerns, and specification reuse. The behavior of Rosetta components and facets can be viewed as systems, which are well suited for coalgebraic denotation. The previous semantics of Rosetta lacked detail in the denotational work, and had no firm semantic basis for the composition operators. This thesis refreshes previous work on the coalgebraic denotation of Rosetta. It then goes on to define the denotation of the composition operators. Several Rosetta examples using all types of composition serve as a demonstration of the power of composition as well as the clean modular abstraction it affords the designer.

show abstract

Model Composition in Rosetta

Cited by 3 publications

References 14 publications

Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation

Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation

Models, metamodels, and model transformation for cyber-physical systems

Rosetta Composition Semantics

Contact Info

Product

Resources

About