A Mathematical Formalism for Specifying Design Patterns
نویسندگان
چکیده
Model based software development uses design patterns to capture successful designs and micro-architectures. This paper presents the essential constructs of a mathematical formalism for the specification of design patterns. The specification constitutes an extension of basic concepts from many-sorted algebra. The approach can be used to determine efforts for component reuse, facilitate automatic program verification, and aid complex software development by providing the developer with design alternatives.
منابع مشابه
Tracing Correct Usage of Design Patterns
We previously described a contract formalism for specifying design patterns precisely, and showed how the formalism amplifies the benefits of pattern usage. In this paper, we present an extension to the formalism that addresses problems which arise in systems involving complex interconnections among objects, including potential cyclic reference structures. In the presence of such structures, th...
متن کاملFormal Specification of Design Patterns - A Balanced Approach
Pattern users are faced with difficulties in understanding when and how to use the increasing number of available design patterns. This is mainly due to the inherent ambiguity in the existing means (textual and graphical) of describing them. Hence, there is a need to introduce formalism in order to describe them accurately and allow rigorous reasoning about them. The main problem of existing fo...
متن کاملConstraints specification at higher levels of abstraction
We are proposing a formalism to express performance constraints at a high level of abstraction. The formalism allows specifying design performance constraints even before all low level details necessary to evaluate them are known. It is based on a solid mathematical foundation, to remove any ambiguity in its interpretation, and yet it allows quite simple and natural specification of many typica...
متن کاملISF: A Visual Formalism for Specifying Interconnection Styles for Software Design
We have developed a framework for specifying high-level software designs. The core of the framework is a very simple visual notation. This notation enables designers to document designs as labelled rectangles and directed edges. In addition to the notation, our framework features a supporting formalism, called ISF (Interconnection Style Formalism). This formalism enables designers to customize ...
متن کاملTowards a Mathematical Foundation For Design Patterns
We identify a compact and sufficient set of building blocks which constitute most design patterns of the GoF catalog: uniform sets of classes or functions, function clans, class hierarchies, and regularities (morphisms) thereof. The abstractions observed are manifested within a model in symbolic logic and defined in LePUS, a declarative, higher order language. LePUS formulae concisely prescribe...
متن کامل