Skip to main content
SpringerLink
Log in

A Formal Metamodel for Problem Frames

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5301))

Abstract

Problem frames are patterns for analyzing, structuring, and characterizing software development problems. This paper presents a formal metamodel for problem frames expressed in UML class diagrams and using the formal specification notation OCL. That metamodel clarifies the nature of the different syntactical elements of problem frames, as well as the relations between them. It provides a framework for syntactical analysis and semantic validation of newly defined problem frames, and it prepares the ground for tool support for the problem frame approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Eclipse - An Open Development Platform (May 2008), http://www.eclipse.org/

  2. Eclipse Modeling Framework Project (EMF) (May 2008), http://www.eclipse.org/modeling/emf/

  3. Graphical Editing Framework Project (GEF) (May 2008), http://www.eclipse.org/gef/

  4. OCL Tool for Precise UML Specifications (Octopus) ( May 2008), http://www.klasse.nl/octopus/

  5. Papyrus UML (May 2008), http://www.papyrusuml.org

  6. XMI - XML Metadata Interchange ( May 2008), http://www.omg.org/docs/formal/05-09-01.pdf

  7. XML - Extensible Markup Language (May 2008), http://www.w3.org/XML/

  8. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)

    Google Scholar 

  9. Choppy, C., Heisel, M.: Une approache à base de “patrons” pour la spécification et le développement de systèmes d’information. In: Proceedings Approches Formelles dans l’Assistance au Développement de Logiciels - AFADL 2004, pp. 61–76 (2004)

    Google Scholar 

  10. Côté, I., Hatebur, D., Heisel, M., Schmidt, H., Wentzlaff, I.: A systematic account of problem frames. In: Proceedings of the European Conference on Pattern Languages of Programs (EuroPLoP), Universitätsverlag Konstanz (published, 2008)

    Google Scholar 

  11. Fayad, M.E., Johnson, R.E.: Domain-Specific Application Frameworks. John Wiley & Sons, Chichester (1999)

    Google Scholar 

  12. Fowler, M.: Analysis Patterns: Reusable Object Models. Addison Wesley, Reading (1997)

    Google Scholar 

  13. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)

    Google Scholar 

  14. Hall, J.G., Rapanotti, L., Jackson, M.: Problem frame semantics for software development. Software and System Modeling 4(2), 189–198 (2005)

    Article  Google Scholar 

  15. Hatebur, D., Heisel, M., Schmidt, H.: Security Engineering using Problem Frames. In: Müller, G. (ed.) ETRICS 2006. LNCS, vol. 3995, pp. 238–253. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Hatebur, D., Heisel, M., Schmidt, H.: A pattern system for security requirements engineering. In: Proceedings of the International Conference on Availability, Reliability and Security (AReS), pp. 356–365. IEEE Computer Society Press, Los Alamitos (2007)

    Chapter  Google Scholar 

  17. Hatebur, D., Heisel, M., Schmidt, H.: A security engineering process based on patterns. In: Proceedings of the International Workshop on Secure Systems Methodologies using Patterns (SPatterns), pp. 734–738. IEEE Computer Society Press, Los Alamitos (2007)

    Google Scholar 

  18. Hatebur, D., Heisel, M., Schmidt, H.: A formal metamodel for problem frames (technical report). Technical report (2008), http://swe.uni-duisburg-essen.de/en/members/schmidt/index.php

  19. Jackson, M.: Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, Reading (1995)

    Google Scholar 

  20. Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)

    Google Scholar 

  21. Jackson, M., Jackson, D.: Problem decomposition for reuse. Software Engineering Journal 11(1), 19–30 (1996)

    Article  Google Scholar 

  22. Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings 17th Int. Conf. on Software Engineering, Seattle, USA, pp. 15–24. ACM Press, New York (1995)

    Google Scholar 

  23. Lencastre, M., Botelho, J., Clericuzzi, P., Araújo, J.: A meta-model for the problem frames approach. In: WiSME 2005: 4th Workshop in Software Modeling Engineering (2005)

    Google Scholar 

  24. Rapanotti, L., Hall, J.G., Jackson, M., Nuseibeh, B.: Architecture-driven problem decomposition. In: Proceedings of the 2004 International Conference on Requirements Engineering (RE 2004), Kyoto. IEEE Computer Society Press, Los Alamitos (2004), http://mcs.open.ac.uk/mj665/ArchDrvn.pdf

    Google Scholar 

  25. Schmidt, H., Wentzlaff, I.: Preserving software quality characteristics from requirements analysis to architectural design. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 189–203. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  26. Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requirements Engineering 12(2), 77–102 (2007)

    Article  Google Scholar 

  27. Specker, M., Wentzlaff, I.: Exploring usability needs by human-computer interaction patterns. In: Winckler, M., Johnson, H., Palanque, P. (eds.) TAMODIA 2007. LNCS, vol. 4849, pp. 254–260. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  28. Sutcliffe, A.: The Domain Theory, Patterns for Knowledge and Software Reuse. Addison-Wesley, Reading (2002)

    Google Scholar 

  29. Sutcliffe, A., Maiden, N.: The domain theory for requirements engineering. IEEE Transactions on Software Engineering 24(3), 174–196 (1998)

    Article  Google Scholar 

  30. UML Revision Task Force. Object Constraint Language Specification. Object Constraint Language (OCL) (May 2006)

    Google Scholar 

  31. UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2007), http://www.omg.org/docs/formal/07-02-03.pdf

Download references

Author information

Authors and Affiliations

  1. Institut für technische Systeme GmbH, Germany

    Denis Hatebur

  2. Faculty of Engineering, Department of Computer Science and Cognitive Science, Workgroup Software Engineering, University Duisburg-Essen, Germany

    Denis Hatebur, Maritta Heisel & Holger Schmidt

Authors
  1. Denis Hatebur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maritta Heisel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Holger Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Krzysztof Czarnecki Ileana Ober Jean-Michel Bruel Axel Uhl Markus Völter

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hatebur, D., Heisel, M., Schmidt, H. (2008). A Formal Metamodel for Problem Frames. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87875-9_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87874-2

  • Online ISBN: 978-3-540-87875-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation