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.

• Type: Conference
• Year: 2009
• Where: SOCO
• Authors: Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
• Keywords: Design Spaces, Important Design Concerns, Non-functional Requirements, SOCO 2009, Software Engineering