Refinement Patterns for UML

Authors:
K. Lano;K. Androutsopolous;D. Clark
Affiliations:
Dept. of Computer Science, King's College London, London, UK;Dept. of Computer Science, King's College London, London, UK;Dept. of Computer Science, King's College London, London, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 3

KIDS: A Semiautomatic Program Development System

IEEE Transactions on Software Engineering
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
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
The B Language and Method: A Guide to Practical Formal Development

The B Language and Method: A Guide to Practical Formal Development
The Science of Programming

The Science of Programming
Rigorous Development in UML

FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Advanced Systems Design with Java, UML and MDA

Advanced Systems Design with Java, UML and MDA

Constraint-driven development

Information and Software Technology
A Lightweight Approach for the Semantic Validation of Model Refinements

Electronic Notes in Theoretical Computer Science (ENTCS)
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes strategies or 'patterns' for the refinement of UML specifications into executable implementations, using a semantically precise subset, UML-RSDS, of UML.