Spine: Language for Pattern Verification

Spine: Language for Pattern Verification

Alex Blewitt (Edinburgh University, UK)
Copyright: © 2007 |Pages: 14
DOI: 10.4018/978-1-59904-219-0.ch006
OnDemand PDF Download:


Patterns are often described in terms of concrete examples in specific programming languages in catalogues (Gamma, Helm, Johnson, & Vlissides, 1995). The description is worded such that a practitioner in an object-oriented programming language will be able to understand the key points of the pattern and translate it into a programming language of their choice.This abstract description of patterns is well suited for intelligent readers, but less suited for automated tasks that must process pattern information. Furthermore, the way in which the pattern information is encoded is often strongly influenced by the type of processing that is being performed on the pattern. In this chapter, the Spine language will be presented as a way of representing Design patterns in a suitable manner for performing verification of a pattern’s implementation in a particular source language. It is used by a proof engine

Complete Chapter List

Search this Book:
Table of Contents
Amnon Eden
Toufik Taibi
Chapter 1
Toufik Taibi
A Design pattern describes a set of proven solutions for a set of recurring design problems that occur within a context. As such, reusing patterns... Sample PDF
An Integrated Approach to Design Patterns Formalization
Chapter 2
David Maplesden, John Hosking, John Grundy
In this chapter we describe the Design pattern modeling language, a notation supporting the specification of Design pattern solutions and their... Sample PDF
A Visual Language for Design Pattern Modeling and Instantiation
Chapter 3
Andrés Flores, Alejandra Cechich, Gabriela Aranda
Object-oriented patterns are a promising technique for achieving widespread reuse of software architectures. They capture the static and dynamic... Sample PDF
A Generic Model of Object-Oriented Patterns Specified in RSL
Chapter 4
Joni Helin, Pertti Kellomäki, Tommi Mikkonen
This chapter presents an abstraction mechanism for collective behavior in reactive distributed systems. The mechanism allows the expression of... Sample PDF
Patterns of Collective Behavior in Ocsid
Chapter 5
Jing Dong, Paulo Alencar, Donald Cowan
This chapter introduces our approaches to formal specification of the structural and behavioral aspects of Design patterns. We investigate the... Sample PDF
Formal Specification and Verification of Design Patterns
Chapter 6
Alex Blewitt
Patterns are often described in terms of concrete examples in specific programming languages in catalogues (Gamma, Helm, Johnson, & Vlissides... Sample PDF
Spine: Language for Pattern Verification
Chapter 7
Jason Smith, David Stotts
This chapter introduces the system for pattern query and recognition, a collection of formalisms, definitions, and concepts that provides a means... Sample PDF
Intent-Oriented Design Pattern Formalization Using SPQR
Chapter 8
Kevin Lano
This chapter describes techniques for the verification of refactorings or transformations of UML models which introduce Design patterns. The... Sample PDF
Formalising Design Patterns as Model Transformations
Chapter 9
Dae-Kyoo Kim
This chapter describes a UML-based pattern specification language called the role-based metamodeling language (RBML), which defines the solution... Sample PDF
The Role-Based Metamodeling Language for Specifying Design Patterns
Chapter 10
Angel Herranz, Juan José Moreno-Navarro
In this chapter, a formal model for Design patterns is studied. The formal specification of a Design pattern is given as a class operator that... Sample PDF
Modeling and Reasoning about Design Patterns in Slam-Sl
Chapter 11
Rajeev R. Raje, Sivakumar Chinnasamy, Andew M. Olson, William Hidgon
Standardized pattern representations have become a popular way to capture, classify, and communicate the essential characteristics of software... Sample PDF
The Applications and Enhancement of LePUS for Specifying Design Patterns
Chapter 12
Jens Dietrich, Chris Elgar
This chapter introduces an approach to define Design patterns using semantic Web technologies. For this purpose, a vocabulary based on the Web... Sample PDF
An Ontology Based Representation of Software Design Patterns
Chapter 13
Neelam Soundarajan, Jason O. Hallstrom
There are two important requirements that any approach to formalizing Design patterns must meet. First, the approach must enable the precise... Sample PDF
Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization
Chapter 14
Gunter Mussbacher, Daniel Amyot, Michael Weiss
Patterns need to be described and formalized in ways that enable the reader to determine whether the particular solution presented is useful and... Sample PDF
Formalizing Patterns with the User Requirements Notation
Chapter 15
Howard Lovatt, Anthony M. Sloane, Dominic R. Verity
This chapter describes an extended compiler that formalizes patterns, which we call a pattern enforcing compiler (PEC). Developers use standard Java... Sample PDF
A Pattern Enforcing Compiler (PEC) for Java: A Practical Way to Formally Specify Patterns
Chapter 16
Epameinondas Gasparis
We present LePUS, a formal language for modeling object oriented (O-O) Design patterns. We demonstrate the language’s unique efficacy in producing... Sample PDF
LePUS: A Formal Language for Modeling Design Patterns
About the Authors