A visual language for design pattern modelling and instantiation

Maplesden, David; Hosking, John; Grundy, John

doi:10.1109/hcc.2001.995285

Cited by 52 publications

(69 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…However, using these descriptions makes patterns ambiguous and may lack details. There have been many research that specify patterns using formal techniques [Zhu andBayley, 2010,Blazy et al, 2003] but research that model design patterns with semi-formal languages are few [Mapelsden et al, 2002].…”

Section: Related Workmentioning

confidence: 99%

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns

Tounsi¹,

Hrichi²,

Kacem³

et al. 2013

Proceedings of the 15th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Abstract. Although design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endow design methods. In this paper, we present an approach that aims, first, to model message-oriented SOA design patterns with the SoaML language, and second to transform them to Event-B specifications. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. Our approach is enhanced with a tool supporting it. Specification results are imported under the Rodin platform which we use to prove model consistency.

show abstract

Section: Related Workmentioning

confidence: 99%

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns

Tounsi¹,

Hrichi²,

Kacem³

et al. 2013

Proceedings of the 15th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

show abstract

“…Another well-known work in this category is the Design Pattern Modeling Language (DPML) of Maplesden et al (2001Maplesden et al ( , 2002. In this language, design pattern solutions are modeled as a collection of participants, representing structural features such as classes and methods, plus associated constraints and dimensions.…”

Section: Related Work and Associated Problemsmentioning

confidence: 99%

“…A tool called DPTool, reported in (Maplesden et al, 2002), supports both pattern specification, and the checking of pattern conformance, with respect to a UML model. DPML does have some shortcomings though that affect its expressivity and precision.…”

Section: Related Work and Associated Problemsmentioning

confidence: 99%

On the Composition of Design Patterns

Bayley

Zhu

2008

2008 the Eighth International Conference on Quality Software

View full text Add to dashboard Cite

This version is available: http://radar.brookes.ac.uk/radar/items/d90172fd-7dd5-8b14-a7bb-9319020e3e4d/1/ Available in the RADAR: November 2010 Copyright © and Moral Rights are retained by the author(s) and/ or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. This item cannot be reproduced or quoted extensively from without first obtaining permission in writing from the copyright holder(s). The content must not be changed in any way or sold commercially in any format or medium without the formal permission of the copyright holders.This document is the postprint version of the journal article. Some differences between the published version and this version may remain and you are advised to consult the published version if you wish to cite from it. Formal Specification of the Variants and Behavioural Features of Design Patterns Ian Bayley and Hong ZhuDepartment of Computing and Electronics, Oxford Brookes University, Oxford OX33 1HX, UK AbstractThe formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying patterns, eliminate ambiguity and thereby lay a solid foundation for tool support. This paper further advances a formal meta-modelling approach that uses first order predicate logic to specify design patterns. In particular, it specifies both structural and behavioural features of design patterns and systematically captures the variants in a well-structured format. The paper reports a case study involving the formal specification of all 23 patterns in the Gang of Four catalog. It demonstrates that the approach improves the accuracy of pattern specifications by covering variations and clarifying the ambiguous parts of informal descriptions.

show abstract

“…Mapelsden et al [13] propose the DPML, a visual modeling language, that provides a set of constructs (e.g., interface, method) to specify design pattern solutions. A pattern specification is instantiated to produce pattern instances that are part of UML object model.…”

Section: Related Workmentioning

confidence: 99%

“…A major drawback of the approaches is that they require mathematics and formal logic background which has discouraged pattern authors from adopting them. Other works [3,13,1,8] suffer from lack of formality or feature; they focus mostly on structural aspects of patterns, and pay little attention to behavioral aspects.…”

Section: Introductionmentioning

confidence: 99%