{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T05:55:37Z","timestamp":1718690137996},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T00:00:00Z","timestamp":1233964800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11334-009-0075-6","type":"journal-article","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T00:21:20Z","timestamp":1233966080000},"page":"13-25","source":"Crossref","is-referenced-by-count":12,"title":["Formal requirements modelling with executable use cases and coloured Petri nets"],"prefix":"10.1007","volume":"5","author":[{"given":"Jens B.","family":"J\u00f8rgensen","sequence":"first","affiliation":[]},{"given":"Simon","family":"Tjell","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,2,7]]},"reference":[{"issue":"3","key":"75_CR1","first-page":"229","volume":"12","author":"JP Barros","year":"2005","unstructured":"Barros JP, J\u00f8rgensen JB (2005) A case study on coloured petri nets in object-oriented analysis and design. Nord J Comput 12(3): 229\u2013250","journal-title":"Nord J Comput"},{"key":"75_CR2","doi-asserted-by":"crossref","unstructured":"Bernardinello L, de Cindio F (1992) A survey of basic net models and modular net classes. In: Advances in Petri Nets 1992, The DEMON project. Springer, Heidelberg, pp 304\u2013351","DOI":"10.1007\/3-540-55610-9_177"},{"key":"75_CR3","doi-asserted-by":"crossref","unstructured":"Bossen C, J\u00f8rgensen JB (2004) Context-descriptive prototypes and their application to medicine administration. In: 5th Conf. on designing interactive systems (DIS 2004), pp 297\u2013306. doi: 10.1145\/1013115.1013157","DOI":"10.1145\/1013115.1013157"},{"key":"75_CR4","unstructured":"Christensen HB, Bardram JE (2002) Supporting human activities\u2014exploring activity-centered computing. In: 4th Int. Conf. on ubiquitouos computing (UbiComp 2002). LNCS, vol 2498. Springer, Heidelberg, pp 107\u2013116"},{"key":"75_CR5","doi-asserted-by":"crossref","unstructured":"Christensen S, Hansen ND (1993) Coloured petri nets extended with place capacities, test arcs and inhibitor arcs. In: 14th Int. Conf. on application and theory of petri nets (ICATPN 1993). LNCS, vol 691. Springer, Heidelberg, pp 186\u2013205","DOI":"10.1007\/3-540-56863-8_47"},{"key":"75_CR6","volume-title":"Writing effective use cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn A (2000) Writing effective use cases. Addison-Wesley, Reading"},{"key":"75_CR7","doi-asserted-by":"crossref","unstructured":"Fernandes JM, J\u00f8rgensen JB, Tjell S (2007) Requirements engineering for reactive systems: coloured petri nets for an elevator controller. In: 14th Asia-Pacific software engineering conf. (APSEC 2007), pp 294\u2013301. doi: 10.1109\/APSEC.2007.81","DOI":"10.1109\/APSEC.2007.81"},{"key":"75_CR8","doi-asserted-by":"crossref","unstructured":"Fernandes JM, Tjell S, J\u00f8rgensen JB (2007) Requirements engineering for reactive systems with coloured petri nets: the gas pump controller example. In: 8th Workshop and tutorial on practical use of coloured petri nets and the cpn tools (CPN 2007)","DOI":"10.1109\/APSEC.2007.81"},{"key":"75_CR9","doi-asserted-by":"crossref","unstructured":"Fernandes JM, Tjell S, J\u00f8rgensen JB, Ribeiro O (2007) Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net. In: 6th Int. Workshop on Scenarios and State Machines (SCESM 2007). doi: 10.1109\/SCESM.2007.1","DOI":"10.1109\/SCESM.2007.1"},{"issue":"3","key":"75_CR10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"CA Gunter","year":"2000","unstructured":"Gunter CA, Gunter EL, Jackson M, Zave P (2000) A reference model for requirements and specifications. IEEE Softw 17(3): 37\u201343. doi: 10.1109\/52.896248","journal-title":"IEEE Softw"},{"issue":"3","key":"75_CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3): 231\u2013274","journal-title":"Sci Comput Program"},{"issue":"2","key":"75_CR12","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D Harel","year":"2003","unstructured":"Harel D, Marelly R (2003) Specifying and executing behavioural requirements: the play-in\/play-out approach. Softw Syst Model 2(2): 82\u2013107","journal-title":"Softw Syst Model"},{"key":"75_CR13","volume-title":"Software requirements and specifications: a lexicon of practice, principles and prejudices","author":"M Jackson","year":"1995","unstructured":"Jackson M (1995) Software requirements and specifications: a lexicon of practice, principles and prejudices. Addison-Wesley, Reading"},{"key":"75_CR14","volume-title":"Problem frames\u2014analyzing and structuring software development problems","author":"M Jackson","year":"2001","unstructured":"Jackson M (2001) Problem frames\u2014analyzing and structuring software development problems. Addison-Wesley, Reading"},{"issue":"1","key":"75_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-002-0005-7","volume":"1","author":"M Jackson","year":"2002","unstructured":"Jackson M (2002) Some basic tenets of description. Softw Syst Model 1(1): 5\u20139","journal-title":"Softw Syst Model"},{"key":"75_CR16","unstructured":"Jensen K (1992) Coloured petri nets\u2014basic concepts, analysis methods and practical use. Basic Concepts. Monographs in theoretical computer science, vol. 1. Springer, Heidelberg"},{"issue":"3\u20134","key":"75_CR17","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen K, Kristensen LM, Wells L (2007) Coloured petri nets and cpn tools for modelling and validation of concurrent systems. Softw Tools Technol Transfer 9(3\u20134): 213\u2013254. doi: 10.1007\/s10009-007-0038-x","journal-title":"Softw Tools Technol Transfer"},{"key":"75_CR18","doi-asserted-by":"crossref","unstructured":"J\u00f8rgensen JB (2006) Addressing problem frame concerns via coloured petri nets and graphical animation. In: 2nd Int. Workshop on advances and applications of problem frames (IWAAPF 2006), pp 49\u201357","DOI":"10.1145\/1138670.1138679"},{"key":"75_CR19","doi-asserted-by":"crossref","unstructured":"J\u00f8rgensen JB, Bossen C (2003) Requirements engineering for a pervasive health care system. In: Proc. 11th IEEE Int. Conf. on requirements engineering (RE 2003), pp 55\u201364, Monterey Bay, California. IEEE. doi: 10.1109\/ICRE.2003.1232737","DOI":"10.1109\/ICRE.2003.1232737"},{"key":"75_CR20","doi-asserted-by":"crossref","unstructured":"J\u00f8rgensen JB, Bossen C (2004) Executable use cases as links between application domain requirements and machine specifications. In: 3rd Int. Workshop on Scenarios and State Machines (SCESM 2004), pp 8\u201313","DOI":"10.1049\/ic:20040231"},{"issue":"2","key":"75_CR21","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/MS.2004.1270759","volume":"21","author":"JB J\u00f8rgensen","year":"2004","unstructured":"J\u00f8rgensen JB, Bossen C (2004) Executable use cases: requirements for a pervasive health care system. IEEE Softw 21(2): 34\u201341. doi: 10.1109\/MS.2004.1270759","journal-title":"IEEE Softw"},{"issue":"1","key":"75_CR22","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-007-0054-x","volume":"10","author":"JB J\u00f8rgensen","year":"2007","unstructured":"J\u00f8rgensen JB, Lassen KB, van der Aalst WMP (2007) From task descriptions via colored petri nets towards an implementation of a new electronic patient record workflow system. Softw Tools Technol Transfer 10(1): 15\u201328. doi: 10.1007\/s10009-007-0054-x","journal-title":"Softw Tools Technol Transfer"},{"key":"75_CR23","doi-asserted-by":"crossref","unstructured":"J\u00f8rgensen JB (2007) Executable use cases: a supplement to model-driven development? In: 4th Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2007), pp 8\u201315","DOI":"10.1109\/MOMPES.2007.6"},{"issue":"1","key":"75_CR24","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1111\/j.1468-0394.2008.00454.x","volume":"25","author":"JB J\u00f8rgensen","year":"2008","unstructured":"J\u00f8rgensen JB (2008) Coloured petri nets and graphical animation: a proposal for a means to address problem frame concerns. Expert Syst 25(1): 54\u201373. doi: 10.1111\/j.1468-0394.2008.00454.x","journal-title":"Expert Syst"},{"issue":"2","key":"75_CR25","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"LM Kristensen","year":"1998","unstructured":"Kristensen LM, Christensen S, Jensen K (1998) The practitioner\u2019s guide to coloured petri nets. Softw Tools Technol Transfer 2(2): 98\u2013132","journal-title":"Softw Tools Technol Transfer"},{"key":"75_CR26","volume-title":"Applying UML and patterns\u2014an intro to object-oriented analysis and design and iterative development","author":"C Larman","year":"2005","unstructured":"Larman C (2005) Applying UML and patterns\u2014an intro to object-oriented analysis and design and iterative development. Prentice-Hall, Englewood Cliffs"},{"issue":"2","key":"75_CR27","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MS.2003.1184169","volume":"20","author":"S Lauesen","year":"2003","unstructured":"Lauesen S (2003) Task descriptions as functional requirements. IEEE Softw 20(2): 58\u201365","journal-title":"IEEE Softw"},{"key":"75_CR28","doi-asserted-by":"crossref","unstructured":"Magee J, Pryce N, Giannakopoulou D, Kramer J (2000) Graphical animation of behaviour models. In: 22nd Int. Conf. on Software Engineering (ICSE 2000), pp 499\u2013508. doi: 10.1109\/ICSE.2000.870440","DOI":"10.1109\/ICSE.2000.870440"},{"key":"75_CR29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The definition of standard ML\u2014Revised","author":"R Milner","year":"1997","unstructured":"Milner R, Tofte M, Harper R, Macqueen D (1997) The definition of standard ML\u2014Revised. MIT Press, Cambridge"},{"issue":"4","key":"75_CR30","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Procee IEEE 77(4): 541\u2013580","journal-title":"Procee IEEE"},{"key":"75_CR31","unstructured":"Petri CA (1962) Kommunikation mit automaten. Ph.D. thesis, Institut f\u00fcr instrumentelle Mathematik, Bonn"},{"key":"75_CR32","doi-asserted-by":"crossref","unstructured":"Reisig W (1987) Place\/transition systems. In: Advanced course on petri nets: central models and their properties, advances in petri nets 1986, Part I. Springer, Heidelberg, pp 117\u2013141","DOI":"10.1007\/978-3-540-47919-2_6"},{"issue":"5","key":"75_CR33","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic B (2003) The pragmatics of model-driven development. IEEE Softw 20(5): 19\u201325. doi: 10.1109\/MS.2003.1231146","journal-title":"IEEE Softw"},{"key":"75_CR34","unstructured":"Silva JR, Santos EA (2003) Applying petri nets to requirements validation. In: 17th Int. Congress of Mechanical Engineering (COBEM 2003) ABCM Symposium Series in Mechatronics, vol 1"},{"key":"75_CR35","volume-title":"Software engineering","author":"I Sommerville","year":"2007","unstructured":"Sommerville I (2007) Software engineering. Addison-Wesley, Reading"},{"key":"75_CR36","unstructured":"Strunk EA, Furia CA, Rossi M, Knight JC, Mandrioli D (2006) The engineering roles of requirements and specification. Technical report, CS-2006-21, Dept. Computer Science, University of Virginia. Also: Technical Report 2006.61, Dipartimento di Elettronica e Informazione, Politecnico di Milano"},{"key":"75_CR37","doi-asserted-by":"crossref","unstructured":"Thiagarajan PS (1987) Elementary net systems. In: Advanced course on petri nets: central models and their properties, advances in petri nets 1986, Part I. Springer, Heidelberg, pp 26\u201359","DOI":"10.1007\/978-3-540-47919-2_3"},{"key":"75_CR38","doi-asserted-by":"crossref","unstructured":"Tjell S (2007) distinguishing environment and system in coloured petri net models of reactive systems. In: 2nd IEEE Int. Symposium on Industrial Embedded Systems (SIES 2007), pp 242\u2013249. doi: 10.1109\/SIES.2007.4297341","DOI":"10.1109\/SIES.2007.4297341"},{"key":"75_CR39","volume-title":"Requirements engineering: frameworks for understanding","author":"RJ Wieringa","year":"1996","unstructured":"Wieringa RJ (1996) Requirements engineering: frameworks for understanding. Wiley, London"},{"key":"75_CR40","doi-asserted-by":"crossref","unstructured":"Wieringa RJ (2003) Design methods for reactive systems: yourdon, statemate, and the UML. Morgan Kaufmann","DOI":"10.1016\/B978-155860755-2\/50004-6"},{"issue":"1","key":"75_CR41","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. doi: 10.1145\/237432.237434","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"75_CR42","unstructured":"CPN Tools. http:\/\/www.daimi.au.dk\/CPNTools"},{"key":"75_CR43","unstructured":"MDA Resource Page. http:\/\/www.omg.org\/mda"},{"key":"75_CR44","unstructured":"UML Resource Page. http:\/\/www.uml.org"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0075-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0075-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0075-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:44Z","timestamp":1559382464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0075-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,7]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["75"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0075-6","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,7]]}}}