Grzegorz Lehmann and Marco Blumendorf and Sebastian Feuerstack and Sahin Albayrak
Interactive Systems - Design, Specification, and Verification
In this demonstration we present the Multi Access Service Platform (MASP), a model-based runtime architecture for user interface development based on the idea of dynamic executable models. Such models are self-contained and complete as they contain the static structure, the dynamic state information as well as the execution logic. Utilizing dynamic executable models allows us to implement a rapid prototyping approach and provide mechanisms for the extension of the UI modeling language of the MASP.