{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T09:53:20Z","timestamp":1718877200067},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,6,16]],"date-time":"2013-06-16T00:00:00Z","timestamp":1371340800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s00766-013-0173-8","type":"journal-article","created":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T00:17:44Z","timestamp":1371255464000},"page":"397-419","source":"Crossref","is-referenced-by-count":10,"title":["On the systematic transformation of requirements to specifications"],"prefix":"10.1007","volume":"19","author":[{"given":"Zhi","family":"Li","sequence":"first","affiliation":[]},{"given":"Jon G.","family":"Hall","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Rapanotti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,6,16]]},"reference":[{"key":"173_CR1","unstructured":"The challenges of complex IT projects (2004) Technical report, working group (Chair: Basil R.R Butler) of The Royal Academy of Engineering and The British Computer Society"},{"key":"173_CR2","doi-asserted-by":"crossref","unstructured":"Charettte R (2005) Why software fails. IEEE Spectrum, pp 42\u201349","DOI":"10.1109\/MSPEC.2005.1502528"},{"key":"173_CR3","unstructured":"Verner J, Sampson J, Cerpa N (2008) What factors lead to software project failure? In: Proceedings of the 2nd international conference on research challenges in information science (RCIS 2008). IEEE Press, New York, pp 71\u201380"},{"key":"173_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s00766-011-0144-x","volume":"17","author":"E Sikora","year":"2012","unstructured":"Sikora E, Tenbergen B, Pohl K (2012) Industry needs and research directions in requirements engineering for embedded systems. Requir Eng 17:57\u201378","journal-title":"Requir Eng"},{"key":"173_CR5","unstructured":"Turski WM (1986) And no philosophers\u2019 stone, either. Information processing 86, pp 1077\u20131080"},{"key":"173_CR6","unstructured":"Mannering D, Hall JG, Rapanotti L (September 2007) Safety process improvement with pose and alloy. In: Saglietti F, Oster N (eds) Proceedings of the 26th international conference on computer safety, reliability and security (SAFECOMP\u201907), lecture notes in computer science, vol 4680. Springer, Nuremberg, Germany, pp 252\u2013257"},{"key":"173_CR7","volume-title":"Problem frames: analyzing and structuring software development problems","author":"M Jackson","year":"2001","unstructured":"Jackson M (2001) Problem frames: analyzing and structuring software development problems. Addison-Wesley Publishing Company, Boston"},{"key":"173_CR8","unstructured":"Li Z (September 2007) Progressing problems from requirements to specifications in problem frames. Ph.D. thesis, Department of Computing, The Open University, Walton Hall, Milton Keynes, UK"},{"key":"173_CR9","doi-asserted-by":"crossref","unstructured":"Li Z (May 2008) Progressing problems from requirements to specifications in problem frames. In: Rapanotti L, Hall JG, Jin Z, Cox K (eds) Proceedings of the 3rd international workshop on advances and applications of problem frames (IWAAPF\u201908). ACM Press, Leipzig, pp 53\u201359","DOI":"10.1145\/1370811.1370823"},{"key":"173_CR10","volume-title":"Vergleich verschiedener spezifikationsverfahren am beispiel einer paketverteilanlage","author":"G Hommel","year":"1980","unstructured":"Hommel G (1980) Vergleich verschiedener spezifikationsverfahren am beispiel einer paketverteilanlage. Kernforschungszentrum Karlsruhe, Karlsruhe"},{"key":"173_CR11","unstructured":"Jackson MA (April 2001) Problem structures and solution structures: a position paper. In: Proceedings of the international workshop on requirements engineering (IWRE\u201901). Imperial College, London"},{"key":"173_CR12","unstructured":"Hopkins B (2004) Causality and development: past, present and future, chap. 1. John Benjamins Publishing Company, Lancaster University, pp 1\u201317"},{"issue":"1","key":"173_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01235764","volume":"1","author":"JD Moffett","year":"1996","unstructured":"Moffett JD, Hall JG, Coombes A, McDermid JA (1996) A model for a causal logic for requirements engineering. J Requir Eng 1(1):27\u201346","journal-title":"J Requir Eng"},{"key":"173_CR14","volume-title":"Fundamentals of algebraic graph transformation, 1st edn","author":"H Ehrig","year":"2006","unstructured":"Ehrig H, Ehrig K, Prange U, Taentzer G (2006) Fundamentals of algebraic graph transformation, 1st edn. Springer, New York"},{"key":"173_CR15","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L, Jackson MA (2008) Problem Oriented Software Engineering: solving the package router control problem. IEEE Trans Softw Eng 34(2). http:\/\/oro.open.ac.uk\/5445\/","DOI":"10.1109\/TSE.2007.70769"},{"key":"173_CR16","unstructured":"OMG: Unified Modeling Language (UML), version 2.0. http:\/\/www.uml.org\/ . http:\/\/www.uml.org\/ . Last accessed: 12th Septermber 2012"},{"key":"173_CR17","volume-title":"Mastering the requirements process","author":"S Robertson","year":"1999","unstructured":"Robertson S, Robertson J (1999) Mastering the requirements process. Addison-Wesley, Boston"},{"issue":"1","key":"173_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/25148625","volume":"28","author":"AR Hevner","year":"2004","unstructured":"Hevner AR, March ST, Park J, Ram S (2004) Design science in information systems research. MIS Q 28(1):75\u2013105","journal-title":"MIS Q"},{"key":"173_CR19","unstructured":"van Lamsweerde A, Darimont R, Massonet P (1995) Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learned. In: Proceedings of the RE\u201995\u20142nd international symposium on requirements engineering, York"},{"key":"173_CR20","doi-asserted-by":"crossref","unstructured":"Heisel M, Souquieres J (1999) A method for requirements elicitation and formal specification. In: Conceptual modeling\u2014ER\u201999, LNCS 1728. Springer, New York, pp 309\u2013324","DOI":"10.1007\/3-540-47866-3_21"},{"key":"173_CR21","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (2000) Formal specification: a roadmap. In: ICSE \u201900: proceedings of the conference on the future of software engineering, pp 147\u2013159. ACM, New York","DOI":"10.1145\/336512.336546"},{"key":"173_CR22","doi-asserted-by":"crossref","unstructured":"Letier E, van Lamsweerde A (November 2002) Deriving operational software specifications from system goals. In: SIGSOFT 2002\/FSE-10. Charleston, SC","DOI":"10.1145\/587051.587070"},{"key":"173_CR23","doi-asserted-by":"crossref","unstructured":"Mellor SJ (2009) Models. models. models. so what? In: Sch\u00fcrr A, Selic B (eds) MODELS 2009, LNCS 5795. Springer, Berlin, p 1","DOI":"10.1007\/978-3-642-04425-0_1"},{"key":"173_CR24","doi-asserted-by":"crossref","unstructured":"Yue T, Briand LC, Labiche Y (2009) A use case modeling approach to facilitate the transition towards analysis models: concepts and empirical evaluation. In: Sch\u00fcrr A, Selic B (eds) MODELS 2009, LNCS 5795. Springer, Berlin, pp 484\u2013498","DOI":"10.1007\/978-3-642-04425-0_37"},{"issue":"4","key":"173_CR25","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1049\/ip-sen:20045061","volume":"152","author":"C Choppy","year":"2005","unstructured":"Choppy C, Hatebur D, Heisel M (2005) Architectural patterns for problem frames. IEE Proc Softw 152(4):198\u2013208","journal-title":"IEE Proc Softw"},{"key":"173_CR26","unstructured":"Bleistein S, Cox K, Verner J (2004) Requirements engineering for e-Business systems: intergrating Jackson context diagrams with goal modelling and BPM. In: Proceedings of the 11th international Asia-Pacific software engineering conference (APSEC 2004), pp 410\u2013417. IEEE, Busan, Korea. 30th November\u20133rd December 2004"},{"issue":"14","key":"173_CR27","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1016\/j.infsof.2005.08.003","volume":"47","author":"K Cox","year":"2005","unstructured":"Cox K, Hall JG, Rapanotti L (2005) Editorial: a roadmap of problem frames research. Inf Softw Technol 47(14):891\u2013902","journal-title":"Inf Softw Technol"},{"key":"173_CR28","doi-asserted-by":"crossref","unstructured":"Hatebur D, Heisel M, Schmidt H (2006) Security engineering using problem frames. In: Emerging trends in information and communication security, lecture notes in computer science, vol 3995\/2006. Springer, New York, pp 238\u2013253","DOI":"10.1007\/11766155_17"},{"key":"173_CR29","unstructured":"Strunk EA, Knight JC (2006) The essential synthesis of problem frames and assurance cases. In: Proceedings of the 2006 international workshop on advances and applications of problem frames (IWAAPF \u201906). ACM Press, New York, pp 81\u201386"},{"key":"173_CR30","doi-asserted-by":"crossref","unstructured":"Zhang X, Auriol G, Baron C. (2010) Deriving specification for process-control systems: a problem frames approach. In: 5th International conference on systems (ICONS). IEEE Press, New York, pp 60\u201365","DOI":"10.1109\/ICONS.2010.18"},{"key":"173_CR31","doi-asserted-by":"crossref","unstructured":"Hatebur D, Heisel M, Schmidt H (2008) A formal metamodel for problem frames. In: Model driven engineering lanugages and systems, lecture notes in computer science, vol 5301\/2008. Springer, New York, pp 68\u201382","DOI":"10.1007\/978-3-540-87875-9_5"},{"key":"173_CR32","doi-asserted-by":"crossref","unstructured":"Chen X, Jin Z, Yi L (2007) An ontology of problem frames for guiding problem frame specification. In: Knowledge schience, engineering and management, lecture notes in computer science, vol 4798\/2007, pp 384\u2013395","DOI":"10.1007\/978-3-540-76719-0_38"},{"key":"173_CR33","unstructured":"Lavazza L, Coen-Porisini A, Del Bianco V (2009) Towards a meta-model for problem frames: conceptual issues and tool building support. In: 4th International conference on software engineering advances (ICSEA \u201909). IEEE Press, New York, pp 339\u2013345"},{"key":"173_CR34","doi-asserted-by":"crossref","unstructured":"Jackson M, Zave P (1995) Deriving specifications from requirements: an example. In: Proceedings of the 17th international conference on software engineering (ICSE\u201995). ACM Press, Seattle, pp 15\u201324","DOI":"10.1145\/225014.225016"},{"issue":"1","key":"173_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Methodol 6(1):1\u201330","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"2","key":"173_CR36","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s10270-004-0062-1","volume":"4","author":"JG Hall","year":"2005","unstructured":"Hall JG, Rapanotti L, Jackson MA (2005) Problem frame semantics for software development. Softw Syst Model 4(2):189\u2013198","journal-title":"Softw Syst Model"},{"key":"173_CR37","doi-asserted-by":"crossref","unstructured":"Li Z, Hall JG, Rapanotti L (May 2006) From requirements to specifications: a formal approach. In: Hall JG, Rapanotti L, Cox K (eds) Proceedings of the 2nd international workshop on advances and applications of problem frames (IWAAPF\u201906). ACM Press, Shanghai, pp 65\u201370","DOI":"10.1145\/1138670.1138671"},{"key":"173_CR38","unstructured":"Lai L, Sanders JW (1995) A weakest-environment calculus for communicating processes. Research report PRG-TR-12-95, Programming Research Group, Oxford University Computing Laboratory"},{"key":"173_CR39","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall International, Englewood Cliffs"},{"issue":"12(2","key":"173_CR40","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s00766-007-0048-y","volume":"07","author":"R Seater","year":"2007","unstructured":"Seater R, Jackson D, Gheyi R. (2007) Requirement progression in problem frames: deriving specifications from requirements. Requir Eng J 12(2):77\u2013102","journal-title":"Requir Eng J"},{"key":"173_CR41","doi-asserted-by":"crossref","unstructured":"Lavazza L, Bianco VD (2006) Combining problem frames and UML in the description of software requirements. In: Baresi L, Heckel R (eds) Proceedings of FASE 2006, lecture notes in computer science, vol 3922. Springer, New York, pp 199\u2013213","DOI":"10.1007\/11693017_16"},{"key":"173_CR42","doi-asserted-by":"crossref","unstructured":"Colombo P, Del Bianco V, Lavazza L, Coen-Porisini A (2007) A methodological framework for SysML: a problem frames-based approach. In: Proceedings of the 14th Asia-Pacific software engineering conference (APSEC 2007), pp 25\u201332. IEEE Computer Press, New York","DOI":"10.1109\/APSEC.2007.9"},{"key":"173_CR43","doi-asserted-by":"crossref","unstructured":"Colombo P, Khendek F, Lavazza L (2010) Requirements analysis and modeling with problem frames and SysML: a case study. In: Modelling foundations and applications, lecture notes in computer science, vol 6138\/2010. Springer, New York, pp 74\u201389","DOI":"10.1007\/978-3-642-13595-8_8"},{"issue":"3","key":"173_CR44","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s11334-011-0171-2","volume":"8","author":"JG Hall","year":"2012","unstructured":"Hall JG, Rapanotti L (2012) Software engineering as the design theoretic transformation of software problems. Innov Syst Softw Eng 8(3):175\u2013193","journal-title":"Innov Syst Softw Eng"},{"key":"173_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-06683-4","volume-title":"The nature of engineering: a philosophy of technology","author":"GFC Rogers","year":"1983","unstructured":"Rogers GFC (1983) The nature of engineering: a philosophy of technology. Palgrave Macmillan, Basingstoke"},{"key":"173_CR46","doi-asserted-by":"crossref","unstructured":"Hall JG, Mannering D, Rapanotti L (2007) Arguing safety with problem oriented software engineering. In: Proceedings of the 10th IEEE international symposium on high assurance systems engineering (HASE 2007). IEEE Computer Society, Dallas, Texas. http:\/\/oro.open.ac.uk\/9591\/","DOI":"10.1109\/HASE.2007.44"},{"key":"173_CR47","unstructured":"Nkwocha A, Hall JG, Rapanotti L (2011) Design rationale capture for process improvement in the globalised enterprise: an industrial study. Software and systems modeling (online FirstTM, 14th December 2011). http:\/\/www.springerlink.com\/content\/d45x17g438833069\/"},{"key":"173_CR48","unstructured":"O\u2019Halloran M, Hall JG, Rapanotti L (2012) Safety-assurance-driven development. In: The 7th international conference on software engineering advances (ICSEA 2012). Lisbon, Portugal (to appear 2012)"},{"key":"173_CR49","unstructured":"Mannering D (2010) Problem oriented engineering for software safety. Ph.D. thesis, The Open University, UK"},{"issue":"7","key":"173_CR50","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout W, Balzer R (1982) On the inevitable intertwining of specification and implementation. Commun ACM 25(7):438\u2013440","journal-title":"Commun ACM"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-013-0173-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-013-0173-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-013-0173-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T10:52:58Z","timestamp":1563187978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-013-0173-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,16]]},"references-count":50,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["173"],"URL":"https:\/\/doi.org\/10.1007\/s00766-013-0173-8","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,16]]}}}