P-UML - A Pattern Design Language with a Formal Semantics (original) (raw)

A UML-based pattern specification technique

2004

Abstract Informally described design patterns are useful for communicating proven solutions for recurring design problems to developers, but they cannot be used as compliance points against which solutions that claim to conform to the patterns are checked. Pattern specification languages that utilize mathematical notation provide the needed formality, but often at the expense of usability. We present a rigorous and practical technique for specifying pattern solutions expressed in the unified modeling language (UML).

Precise Modeling of Design Patterns in UML

2004

Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be developed for user-defined design patterns in the future CASE tools. Targeting to a particular type of automation (e.g. verification of pattern instances), previous specification approaches over-specify pattern structures to a certain extend. Over-specification makes pattern specification ambiguous and disallows the specification language to be used for specifying compound patterns. In this paper, we present the structural properties of design patterns which reveal the true abstract nature of pattern structures. To support these properties so as to solve the over-specification problem, we propose an extension to UML 1.5 (basically UML 1.4 with Action semantics). The specialization and refining mechanism of UML provides also a smooth support for the instantiation, refinement and integration of pattern structures specified in UML. Our work makes no significant extension to the UML 1.5 meta-model but more in a UML Profile approach to ease the migration of our work to UML 2.0, which has not yet officially released by OMG during this work.

A uml-based metamodeling language to specify design patterns

2003

Abstract A design pattern describes a generic solution for problems that occur repeatedly. Current descriptions of design patterns describe solutions with graphical notation and complementing text. To encourage the use of design patterns, the development of pattern supporting tools is imperative. This requires design patterns to be specified precisely. There has been considerable work done on pattern specifications. They suffer from either complication or lack of formality and features.

Specification and Instantiation of Domain Specific Patterns based on UML

International Conference on Enterprise Information Systems, 2010

Domain-specific design patterns provide for architecture reuse of reoccurring design problems in a specific software domain. They capture domain knowledge and design expertise needed for developing applications. Moreover, they accelerate software development since the design of a new application consists in adapting existing patterns, instead of modeling one from the beginning. However, some problems slow their expansion because they have to incorporate flexibility and variability in order to be instantiated for various applications in the domain. This paper proposes new UML notations that better represent the domain-specific design patterns. These notations express variability of patterns to facilitate their comprehension and guide their reuse. The UML extensions are, then, illustrated in the process control system context using an example of an acquisition data pattern.

UML support for designing software systems as a composition of design patterns

2001

Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To reap the benefits of deploying these proven design solutions, we need to develop techniques to construct applications using patterns. These techniques should define a composition mechanism by which patterns can be integrated and deployed in the design of software applications.

Enhanced Design Pattern Definition Language

Design patterns are abstract descriptions of objectoriented designs, which appear repeatedly for a possible highquality solution. Many design pattern description languages have been proposed. These languages use a combination of a natural language, UML-style diagrams, complex mathematical or logic based formalisms, or eXtensible Markup Language (XML). In this paper, we propose an extension to the Design Pattern Description Language (DPDL), which is based on XML to support composite design patterns. A composite pattern is a special type of design patterns that is formed from a composition of other patterns. Composite patterns capture the synergy arising from the different roles an object plays in the overall composition structure. The enhanced Design Pattern Description Language (eDPDL) is found to be effective in capturing the composite design pattern while representing the whole composite design pattern in a single description.

Towards Design Pattern Definition Language

Design patterns are rapidly gaining acceptance in the software community not only as reusable constructs for software development but also for the documentation of the software architectural design. Most of the existing design pattern languages describe design patterns using a combination of a natural language, UML-style diagrams and complex mathematical or logic based formalisms, which makes them hard for programmers to understand. In this paper we propose a design pattern definition language (DPDL) based on XML which can be used for sharing design patterns’ implementation details among developers. DPDL is easy to understand and use. It provides unambiguous description of the patterns and is extensible. DPDL also has the flexibility of defining design patterns in a generic term to be used as templates. Copyright © 2011 John Wiley & Sons, Ltd.

Design Patterns Application in UML

Lecture Notes in Computer Science, 2000

Abstract. The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to model the struc- ture of Design Patterns. This is an interesting feature because it can help ...

A Formal Approach to Design Pattern Definition & Application

1995

In this paper we present a formal approach to de ne and apply design patterns that is both process-and reuse-oriented. Initially we use a process program based on design pattern primitive tasks or constructors to describe how to instantiate a pattern. As we develop the patterns we introduce a formal model for the interconnected objects that constitute the instantiation. The formal model which is based on Abstract Data Views divides designs into both objects and views in order to maintain a separation of concerns. We have chosen a formal model for pattern de nition and application since it allows us to specify the steps in pattern instantiation unambiguously and to reason about the completed design. Furthermore, a formal statement of the application of a design pattern can provide the foundation on which to build tools to assist the programmer in code generation.