Proceedings Article10.1109/APSEC.1999.809614
A formal basis for object-oriented patterns
Alejandra Cechich,R. Moore +1 more
- 07 Dec 1999
- pp 284-291
8
TL;DR: This paper describes a formal model of patterns which can form the basis for demonstrating that a particular design conforms to a given pattern, and illustrates using an example how this can be done.
read more
Abstract: Object-oriented patterns represent abstractions of good solutions to recurring problems in object-oriented software design. This abstractness means that a given pattern can be used in many different applications, which makes it a valuable tool for constructing reusable software and for helping object modellers achieve more effective results. However, patterns are invariably described informally in the literature, generally using natural language together with some sort of graphical notation, which makes it very difficult to give any meaningful certification of software developed using them. In this paper, we describe a formal model of patterns which can form the basis for demonstrating that a particular design conforms to a given pattern, and we illustrate using an example how this can be done. We also briefly discuss future work which will extend the model to include more behavioural properties.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A Formal Model of Object-Oriented Design and GoF Design Patterns
Andres Flores,Richard Moore,Luis Reynoso +2 more
- 12 Mar 2001
TL;DR: This paper describes a formal model of object-oriented design and design patterns which can be used to demonstrate that a particular design conforms to a given pattern, and illustrates using an example how this can be done.
26
Weaving in Role-Based Aspect-Oriented Design Models
Shin Nakajima,Tetsuo Tamai +1 more
- 01 Jan 2004
TL;DR: This work adopts a role-based aspect-oriented modeling method and defines a notion of the aspect weaving in a systematic way, and discusses how Alloy, a lightweight formal specification language and analysis tool, is used for the precise model descriptions and verification.
5
A formal model for some behavioural features of analysis patterns
Agustina Buccella,Alejandra Cechich +1 more
- 01 Oct 2000
TL;DR: This paper presents a formal model of some behavioural properties of analysis patterns, and illustrates using an example how an instantiation can be done.
Linear Software Models - Vector Spaces for Design Pattern Modules
Iaakov Exman
- 21 May 2017
TL;DR: In this article, the authors propose an algebraic vector space for software design patterns as a theoretical framework based on linear software models. But the commonly used set of design patterns has remained arbitrary and lacking a well-founded theoretical basis.
1
•Proceedings Article
Linear Software Models - Vector Spaces for Design Pattern Modules.
Iaakov Exman
- 01 Jan 2013
TL;DR: This work offers algebraic Vector Spaces for software design patterns as a theoretical framework based on Linear Software Models with the ultimate goal of sets of generic pattern modules serving as bases for the vector space.
1
References
•Book
Design Patterns: Elements of Reusable Object-Oriented Software
Erich Gamma,Richard Helm,Ralph E. Johnson,John Vlissides +3 more
- 01 Jan 1994
TL;DR: The book is an introduction to the idea of design patterns in software engineering, and a catalog of twenty-three common patterns, which most experienced OOP designers will find out they've known about patterns all along.
24.8K
•Book
Object-Oriented Modeling and Design
James Rumbaugh,Michael R. Blaha,William James Premerlani,Frederick Eddy,William E. Lorensen +4 more
- 01 Jan 1990
TL;DR: This book discusses Object Modeling as a Design Technique, Object Diagram Compiler, and the Future of Object-Oriented Technology.
6.2K
•Book
Object Oriented Software Engineering: A Use Case Driven Approach
Ivar Jacobson
- 01 Jan 1992
TL;DR: This chapter discusses object-oriented software engineering as a process of change, management and reuse, and some of the methods used to develop and implement object- oriented software.
3.7K
Documenting frameworks using patterns
Ralph E. Johnson
- 31 Oct 1992
TL;DR: This paper shows one way to document frameworks with patterns, and includes a set of patterns for HotDraw as an example to see how well patterns work to describe a framework.
Towards a Mathematical Foundation for Design Patterns
Amnon H. Eden,Yoram Hirshfeld,Amiram Yehudai +2 more
- 01 Jan 1999
TL;DR: A compact and sufficient set of building blocks are identified which constitute most design patterns of the GoF catalog: uniform sets of classes or functions, function clans, class hierarchies, and so on.
45