Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Formalising design patterns composition

Formalising design patterns composition

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IEE Proceedings - Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© The Institution of Engineering and Technology
Published

A design pattern describes a set of proven solutions to a recurring problem within a context. Most design patterns are specified in an informal fashion, which can give rise to ambiguity that may lead to incorrect usage. Thus, reasoning about them requires formalisation. Balanced Pattern Specification Language (BPSL) was developed in order to formally specify the structural as well as behavioural aspects of patterns. When designing software, in most cases two or more patterns are to be composed to solve a bigger problem. In this sense patterns represent micro-architectures that when glued together could create an entire software architecture. Thus, if formalised, pattern composition can lead to ready-made architectures from which only instantiation would be required to build robust implementations. This paper focuses mainly on BPSL's rigorous pattern composition process using the Observer-Mediator pattern composition as a case study.

Inspec keywords: specification languages; formal specification; software architecture; reasoning about programs; object-oriented programming

Other keywords: balanced pattern specification language; observer-mediator pattern composition; formal specification; software architecture; microarchitecture; design pattern composition

Subjects: Software engineering techniques; Object-oriented programming; Formal methods

References

    1. 1)
    2. 2)
      • Eden, A.H., Hirshfeld, Y.: `Principles in formal specification of object-oriented architectures', Proc. CASCON conference, 2001, Toronto.
    3. 3)
      • T. Taibi , D.C.L. Ngo . Formal specification of design patterns – a balanced approach. J. Object Technol. , 4 , 127 - 140
    4. 4)
      • E. Gamma , R. Helm , R. Johnson , J. Vlissides . (1995) Design patterns: elements of reusable object-oriented systems.
    5. 5)
      • J. Cheesman , J. Daniels . (2000) UML Components: A Simple process for specifying component-based software.
    6. 6)
      • Mikkonen, T.: `Formalizing design patterns', Proc. IEEE Int. Conf. on Software Engineering, 1998, Kyoto, p. 115–124.
    7. 7)
      • Dong, J., Alencar, P.S.C., Cowan, D.D.: `Ensuring structure and behavior correctness in design composition', Proc. 7th IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, 2000, Edinburgh, p. 279–287.
    8. 8)
      • D.C. Schmidt , M. Stal , H. Rohnert , F. Buschmann . (2000) Pattern-oriented software architecture: patterns for concurrent and networked objects.
    9. 9)
      • Saeki, M.: `Behavioral specification of GoF design patterns with LOTOS', Proc. IEEE Asia-Pacific Software Engineering Conf., 2000, Singapore, p. 408–415.
    10. 10)
      • Taibi, T., Ngo, D.C.L.: `Formal specification of design patterns: A comparison', Proc. ACS/IEEE Int. Conf. on Computer Systems and Applications (AICCSA), 2003, Tunisia.
    11. 11)
      • J. Rumbaugh , I. Jacobson , G. Booch . (1998) The unified modeling language reference manual.
    12. 12)
      • ISO 8807. Information processing systems, open systems interconnection – LOTOS – A Formal description technique based on the temporal ordering of observational behavior, 1998.
    13. 13)
      • C. Alexander , S. Ishikawa , M. Silverstein , M. Jacobson , I. Fiksdahl-King , S. Angel . (1977) A pattern language: towns, buildings, construction.
    14. 14)
      • D.F. D'Souza , A.L. Wills . (1998) Objects, components, and frameworks with UML: The catalysis approach.
    15. 15)
      • R.M. Smullyan . (1968) First-order logic.
    16. 16)
      • T. Taibi , D.C.L. Ngo . Towards a balanced specification language for distributed object computing patterns. Int. J. Comput. Appl. , 1 , 63 - 70
    17. 17)
      • Jarvinen, H.M., Kurki-Suonio, H.M.: `DisCo specification language: Marriage of actions and objects', Proc. 11th IEEE Int. Conf. on Distributed Computing Systems, 1991, p. 142–151.
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-sen_20050072
Loading

Related content

content/journals/10.1049/ip-sen_20050072
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address