A formal metamodel for problem frames

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 68-82

  Hatebur, Denis ^a,b   Heisel, Maritta ^b   Schmidt, Holger ^b  

^a Institut für Technische Systeme GmbH   (Germany)

^b UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; LINGUISTICS; UNIFIED MODELING LANGUAGE;

FORMAL SPECIFICATIONS; PROBLEM FRAMES; SOFTWARE DEVELOPMENTS; TOOL SUPPORTS; UML CLASS DIAGRAMS;

MODELS;

EID: 56649104987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_5     Document Type: Conference Paper

References (31)

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)
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)
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)
11. Fayad, M.E., Johnson, R.E.: Domain-Specific Application Frameworks. John Wiley & Sons, Chichester (1999)
12. Fowler, M.: Analysis Patterns: Reusable Object Models. Addison Wesley, Reading (1997)
13. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)
14. Hall, J.G., Rapanotti, L., Jackson, M.: Problem frame semantics for software development. Software and System Modeling 4(2), 189-198 (2005)
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)
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)
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)
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)
20. Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)
21. Jackson, M., Jackson, D.: Problem decomposition for reuse. Software Engineering Journal 11(1), 19-30(1996)
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)
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)
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
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)
26. Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requirements Engineering 12(2), 77-102 (2007)
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)
28. Sutcliffe, A.: The Domain Theory, Patterns for Knowledge and Software Reuse. Addison-Wesley, Reading (2002)
29. Sutcliffe, A., Maiden, N.: The domain theory for requirements engineering. IEEE Transactions on Software Engineering 24(3), 174-196 (1998)
30. UML Revision Task Force. Object Constraint Language Specification. Object Constraint Language (OCL) (May 2006)
31. UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2007), http://www.omg.org/docs/formal/07-02-03.pdf