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

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