Reducing the Complexity of Modeling Large Software Systems

Reducing the Complexity of Modeling Large Software Systems

Jules White (Vanderbilt University, USA), Douglas C. Schmidt (Vanderbilt University, USA), Andrey Nechypurenko (Siemens AG, Germany) and Egon Wuchner (Siemens AG, Germany)
DOI: 10.4018/978-1-60566-060-8.ch197
OnDemand PDF Download:
No Current Special Offers


Model-driven development is one approach to combating the complexity of designing software intensive systems. A model-driven approach allows designers to use domain notations to specify solutions and domain constraints to ensure that the proposed solutions meet the required objectives. Many domains, however, require models that are either so large or intricately constrained that it is extremely difficult to manually specify a correct solution. This chapter presents an approach to provide that leverages a constraint solver to provide modeling guidance to a domain expert. The chapter presents both a practical framework for transforming models into constraint satisfaction problems and shows how the Command Pattern can be used to integrate a constraint solver into a modeling tool.

Complete Chapter List

Search this Book: