Property preserving redesign of specifications

Authors:
Artur Zawłocki;Grzegorz Marczyński;Piotr Kosiuczenko
Affiliations:
Institute of Informatics, Warsaw University;Institute of Informatics, Warsaw University;Department of Computer Science, University of Leicester
Venue:
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Year:
2005

Citing 11
Cited 0

Toward formal development of programs from algebraic specifications: implementations revisited

Acta Informatica
Specifications in an arbitrary institution

Information and Computation - Semantics of Data Types
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
Formal Object-Oriented Development

Formal Object-Oriented Development
Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification
A Formal Framework with Late Binding

FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Refinements and Modules for Typed Graph Transformation Systems

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formal Redesign of UML Class Diagrams

Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Correct realizations of interface constraints with OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the traditional formal approach to system specification and implementation, the software development process consists of a number of refinement steps which transform the initial specification into its correct realisation. This idealised view can hardly capture common situations when a specification changes in a non-incremental way. An extra flexibility can be added to the development process by allowing for a redesign of specifications, in addition to refinement steps. In this paper, the notion of specification redesign is formalised for an arbitrary institution. Basic properties of redesign are investigated and the formalism is applied to provide a formal semantics for UML class diagram transformations. As examples, two refactoring patterns are described in terms of class diagrams and interpreted as redesigns of corresponding algebraic specifications.