Sciweavers

Share
SOCO
2009
Springer

Specifying and Composing Non-functional Requirements in Model-Based Development

11 years 8 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-locally impact admissible platformmappings and design spaces. In this paper we present a novel and formal approach for specifying non-functional requirements as constraintsystems over the space of models. Our approach, based on structured logic programming, allows interacting requirements to be specified independently from each other and composed together. Correct-by- construction operators eliminate some composition mistakes. Our approach is implemented in our formal modeling tool FORMULA, which can analyze the impacts of interacting non-functional requirements on platform mappings and design spaces.
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where SOCO
Authors Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Comments (0)
books