Item Details

Print View

Architecturally Correct-by-Construction Synthesis for Contemporary Framework and Middleware Platforms

Bagheri, Hamad; Sullivan, Kevin
Format
Report
Author
Bagheri, Hamad
Sullivan, Kevin
Abstract
We recently contributed correct-by-construction synthesis of architectural descriptions as a form of model-based development (MED), in which architecture-independent application models are combined with specifications of architectural styles to yield families of architectural descriptions for given applications in given styles. We have demonstrated MBD tool support for such styles as implicit invocation and pipeand-ftlter. We now show this approach can work for contemporary architectural styles induced by modern standards, frameworks and middleware, and that it can be combined with code synthesis to enable the synthesis of architecturally correct-by-construction code targeted to modern architectural frameworks and middleware. We validate our claims by demonstration. Starting with a formalization of a model of a sense-compute-control system from the literature, we synthesize code for two frameworks: in the REST style for the Restlet framework on a network of Android phones, and in the implicit invocation style for the Prism middleware. Note: Abstract extracted from PDF file via OCR
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 2010
Published Date
2010
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online