Show Me Listing

Online Ebooks (PDF) Library

• Home
• Popular
• Latest
• Contact

Home » Marketing » Promotion

Patterns to Guide Practical Refactoring: examples targetting ...

Source: www-users.cs.york.ac.uk
Topic: Promotion

Sort Desciption: Patterns to Guide Practical Refactoring:. examples targetting promotion in Z. Susan Stepney Fiona Polack and Ian Toyn. Department of Computer Science ...

Content Inside: Patterns to Guide Practical Refactoring: examples targetting promotion in Z Susan Stepney Fiona Polack and Ian Toyn Department of Computer Science University of York Heslington York YO10 5DD UK. {susanfionaian}@cs.york.ac.uk Abstract. Formal methods such as Z are generally criticised for their lack of practical applicability. As in other areas of software engineering patterns help to construct analyse and describe formal texts. Once a method has a catalogue of patterns development can proceed by apply- ing patterns and by moving from one sort of pattern to another. This paper illustrates a developmental use of patterns. First we describe the set of patterns that collectively represent the well-known Z structure promotion. We then show how refactoring can be used to take an un- structured Z specification in to a promotion structure. Keyword: Z patterns refactoring development methods 1 Introduction Pattern languages Alexander et al. 1977 Gamma et al. 1995 and refactoring Fowler 1999 are programming techniques that can also be fruitfully applied to specification Stepney et al. 2003a Stepney et al. 2002. In this paper we illustrate how patterns and refactoring can be applied using the example of Z promotion as an elaboration of the Delta/Xi pattern Stepney et al. 2003a. We describe the simplest case of the promotion pattern in terms of a set of sub-patterns that can be used as steps in generating a pro- moted specification. We then provide various elaboration patterns showing how the simple case can be adapted to different circumstances. Finally we use the pro- motion generative sub-patterns as a basis for refactoring to take an unstructured Z specification into a promotion structure. 2 The Promotion pattern and its generative sub-patterns Promotion Intent: Specify a global system in terms of multiple instances of a local state and of operations that manipulate a local state. Problem: A system that is essentially a hierarchy of components has op ...

©2007 Show Me Listing - Designed by Free CSS Templates

RSS Feed Sitemap Privacy Policy