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

Report
Authors:Bagheri, Hamad, Department of Computer ScienceUniversity of Virginia Sullivan, Kevin, Department of Computer ScienceUniversity of Virginia
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

Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Bagheri, Hamad, and Kevin Sullivan. "Architecturally Correct-by-Construction Synthesis for Contemporary Framework and Middleware Platforms." University of Virginia Dept. of Computer Science Tech Report (2010).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
2010