{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:55:16Z","timestamp":1760424916603},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_5","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"68-82","source":"Crossref","is-referenced-by-count":22,"title":["A Formal Metamodel for Problem Frames"],"prefix":"10.1007","author":[{"given":"Denis","family":"Hatebur","sequence":"first","affiliation":[]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Eclipse - An Open Development Platform (May 2008), http:\/\/www.eclipse.org\/"},{"key":"5_CR2","unstructured":"Eclipse Modeling Framework Project (EMF) (May 2008), http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"5_CR3","unstructured":"Graphical Editing Framework Project (GEF) (May 2008), http:\/\/www.eclipse.org\/gef\/"},{"key":"5_CR4","unstructured":"OCL Tool for Precise UML Specifications (Octopus) ( May 2008), http:\/\/www.klasse.nl\/octopus\/"},{"key":"5_CR5","unstructured":"Papyrus UML (May 2008), http:\/\/www.papyrusuml.org"},{"key":"5_CR6","unstructured":"XMI - XML Metadata Interchange ( May 2008), http:\/\/www.omg.org\/docs\/formal\/05-09-01.pdf"},{"key":"5_CR7","unstructured":"XML - Extensible Markup Language (May 2008), http:\/\/www.w3.org\/XML\/"},{"key":"5_CR8","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)"},{"key":"5_CR9","unstructured":"Choppy, C., Heisel, M.: Une approache \u00e0 base de \u201cpatrons\u201d pour la sp\u00e9cification et le d\u00e9veloppement de syst\u00e8mes d\u2019information. In: Proceedings Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels - AFADL 2004, pp. 61\u201376 (2004)"},{"key":"5_CR10","unstructured":"C\u00f4t\u00e9, 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\u00e4tsverlag Konstanz (published, 2008)"},{"key":"5_CR11","volume-title":"Domain-Specific Application Frameworks","author":"M.E. Fayad","year":"1999","unstructured":"Fayad, M.E., Johnson, R.E.: Domain-Specific Application Frameworks. John Wiley & Sons, Chichester (1999)"},{"key":"5_CR12","volume-title":"Analysis Patterns: Reusable Object Models","author":"M. Fowler","year":"1997","unstructured":"Fowler, M.: Analysis Patterns: Reusable Object Models. Addison Wesley, Reading (1997)"},{"key":"5_CR13","volume-title":"Design Patterns \u2013 Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns \u2013 Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10270-004-0062-1","volume":"4","author":"J.G. Hall","year":"2005","unstructured":"Hall, J.G., Rapanotti, L., Jackson, M.: Problem frame semantics for software development. Software and System Modeling\u00a04(2), 189\u2013198 (2005)","journal-title":"Software and System Modeling"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/11766155_17","volume-title":"Emerging Trends in Information and Communication Security","author":"D. Hatebur","year":"2006","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: Security Engineering using Problem Frames. In: M\u00fcller, G. (ed.) ETRICS 2006. LNCS, vol.\u00a03995, pp. 238\u2013253. Springer, Heidelberg (2006)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/ARES.2007.12","volume-title":"Proceedings of the International Conference on Availability, Reliability and Security (AReS)","author":"D. Hatebur","year":"2007","unstructured":"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\u2013365. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"5_CR17","first-page":"734","volume-title":"Proceedings of the International Workshop on Secure Systems Methodologies using Patterns (SPatterns)","author":"D. Hatebur","year":"2007","unstructured":"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\u2013738. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"5_CR18","unstructured":"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"},{"key":"5_CR19","volume-title":"Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices","author":"M. Jackson","year":"1995","unstructured":"Jackson, M.: Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, Reading (1995)"},{"key":"5_CR20","volume-title":"Problem Frames. Analyzing and structuring software development problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0266-9838(96)00029-9","volume":"11","author":"M. Jackson","year":"1996","unstructured":"Jackson, M., Jackson, D.: Problem decomposition for reuse. Software Engineering Journal\u00a011(1), 19\u201330 (1996)","journal-title":"Software Engineering Journal"},{"key":"5_CR22","first-page":"15","volume-title":"Proceedings 17th Int. Conf. on Software Engineering","author":"M. Jackson","year":"1995","unstructured":"Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings 17th Int. Conf. on Software Engineering, Seattle, USA, pp. 15\u201324. ACM Press, New York (1995)"},{"key":"5_CR23","unstructured":"Lencastre, M., Botelho, J., Clericuzzi, P., Ara\u00fajo, J.: A meta-model for the problem frames approach. In: WiSME 2005: 4th Workshop in Software Modeling Engineering (2005)"},{"key":"5_CR24","volume-title":"Proceedings of the 2004 International Conference on Requirements Engineering (RE 2004), Kyoto","author":"L. Rapanotti","year":"2004","unstructured":"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"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/11966104_14","volume-title":"Software Architecture","author":"H. Schmidt","year":"2006","unstructured":"Schmidt, H., Wentzlaff, I.: Preserving software quality characteristics from requirements analysis to architectural design. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 189\u2013203. Springer, Heidelberg (2006)"},{"issue":"2","key":"5_CR26","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00766-007-0048-y","volume":"12","author":"R. Seater","year":"2007","unstructured":"Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requirements Engineering\u00a012(2), 77\u2013102 (2007)","journal-title":"Requirements Engineering"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-77222-4_20","volume-title":"Task Models and Diagrams for User Interface Design","author":"M. Specker","year":"2007","unstructured":"Specker, M., Wentzlaff, I.: Exploring usability needs by human-computer interaction patterns. In: Winckler, M., Johnson, H., Palanque, P. (eds.) TAMODIA 2007. LNCS, vol.\u00a04849, pp. 254\u2013260. Springer, Heidelberg (2007)"},{"key":"5_CR28","doi-asserted-by":"crossref","DOI":"10.1201\/b12455","volume-title":"The Domain Theory, Patterns for Knowledge and Software Reuse","author":"A. Sutcliffe","year":"2002","unstructured":"Sutcliffe, A.: The Domain Theory, Patterns for Knowledge and Software Reuse. Addison-Wesley, Reading (2002)"},{"issue":"3","key":"5_CR29","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/32.667878","volume":"24","author":"A. Sutcliffe","year":"1998","unstructured":"Sutcliffe, A., Maiden, N.: The domain theory for requirements engineering. IEEE Transactions on Software Engineering\u00a024(3), 174\u2013196 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR30","unstructured":"UML Revision Task Force. Object Constraint Language Specification. Object Constraint Language (OCL) (May 2006)"},{"key":"5_CR31","unstructured":"UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2007), http:\/\/www.omg.org\/docs\/formal\/07-02-03.pdf"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:07:08Z","timestamp":1606183628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}