{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:37:09Z","timestamp":1742391429059,"version":"3.33.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,3,13]],"date-time":"2007-03-13T00:00:00Z","timestamp":1173744000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,3,13]],"date-time":"2007-03-13T00:00:00Z","timestamp":1173744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10009-007-0035-0","type":"journal-article","created":{"date-parts":[[2007,3,12]],"date-time":"2007-03-12T08:14:20Z","timestamp":1173687260000},"page":"353-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Requirements Validation: Execution of UML Models with CPN Tools"],"prefix":"10.1007","volume":"9","author":[{"given":"Ricardo J.","family":"Machado","sequence":"first","affiliation":[]},{"given":"Kristian Bisgaard","family":"Lassen","sequence":"additional","affiliation":[]},{"given":"S\u00e9rgio","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Couto","sequence":"additional","affiliation":[]},{"given":"Patr\u00edcia","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,3,13]]},"reference":[{"key":"35_CR1","unstructured":"IEEE 610.12-1990: IEEE Standard Glossary of Software Engineering Terminology, 1990"},{"key":"35_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-28244-0_2","volume-title":"Engineering and Managing Software Requirements","author":"D. Zowghi","year":"2005","unstructured":"Zowghi D. and Coulin C. (2005). Requirements elicitation: A survey of techniques, approaches and tools. In: Aurum, A. and Wohlim, C. (eds) Engineering and Managing Software Requirements, pp 19\u201346. Springer, Heidelberg"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-28244-0_3","volume-title":"Engineering and Managing Software Requirements","author":"R.J. Machado","year":"2005","unstructured":"Machado R.J., Ramos I. and Fernandes J.M. (2005). Specification of requirements models. In: Aurum, A. and Wohlim, C. (eds) Engineering and Managing Software Requirements, pp 47\u201368. Springer, Heidelberg"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0950-5849(02)00164-7","volume":"45","author":"Y. Liang","year":"2003","unstructured":"Liang Y. (2003). From use cases to classes: A way of building object model with UML. Inf. Softw. Technol. 45: 83\u201393","journal-title":"Inf. Softw. Technol."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Whittle, J., Kwan, R., Saboo, J.: From scenarios to code: an air traffic Control case study. Softw. Systems Model. 4(1) 71\u201393","DOI":"10.1007\/s10270-004-0067-9"},{"key":"35_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger I., Grosu R., Scholz P. and Broy M. (1999). From MSCs to statecharts. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems, pp 61\u201372. Kluwer Academic, Dordrecht"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Machado, R.J., Fernandes, J.M., Monteiro, P., Rodrigues, H.: Transformation of UML models for service-oriented software architectures. In: The 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, Maryland, USA, pp. 173\u2013182. IEEE CS Press, New York (2005)","DOI":"10.1109\/ECBS.2005.73"},{"key":"35_CR8","first-page":"1","volume-title":"Lecture Notes in Computer Science, vol. 3098","author":"W.M.P. van der Aalst","year":"2004","unstructured":"Aalst W.M.P. (2004). Business process management demystified: A tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W. and Rosenberg, G. (eds) Lecture Notes in Computer Science, vol. 3098, pp 1\u201365. Springer, Heidelberg"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Beaudouin-Lafon, M., Mackay, W.E., Andersen, P., Janecek, P., Jensen, M., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., Jensen, K.: CPN\/Tools: A post-Wimp interface for editing and simulating coloured petri nets. In: The 22nd International Conference on Applications and Theory of Petri Nets (ICATPN 2001), pp. 71\u201380, Newcastle upon Tyne, UK (2001)","DOI":"10.1007\/3-540-45740-2_6"},{"key":"35_CR10","first-page":"153","volume":"9","author":"A. Gemino","year":"2003","unstructured":"Gemino A. (2003). Empirical Comparisons of Animation and Narration in Requirements Validation. Requir. Eng. 9: 153\u2013168","journal-title":"Requir. Eng."},{"key":"35_CR11","unstructured":"Fenkam, P., Gall, H., Jazyeri, M.: Visual requirements validation: Case study in a CORBA-supported environment. In: IEEE Joint International Conference on Requirements Engineering (RE\u20192002) (2002)"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Ozcan, M.B., Parry, P.W., Morrey, I.C.: Siddiqi, J.: Requirements validation based on the visualisation of executable formal specifications. In: International Conference on Computer Software and Applications, pp. 381\u2013386, Austria. IEEE CS Press, New York (1998)","DOI":"10.1109\/CMPSAC.1998.716684"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Chatley, R., Kramer, J., Magee, J.: Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation. In: The 12th IEEE Requirements Engineering International Conference (RE\u201904) (2004)","DOI":"10.1145\/1062455.1062603"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Winter, V., Desovski, D., Cukic, B.: Virtual environment modeling for requirements validation of high consequence systems. In: Proceedings of the IEEE International Conference on Requirements Engineering, pp. 23\u201330 (2001)","DOI":"10.1109\/ISRE.2001.948540"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured petri nets: basic concepts, analysis methods and practical use. In: Monographs in Theoretical Computer Science, vols. 1\u20133. Springler, Heidelberg (1992\u20131997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"35_CR16","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen L.M., Christensen S. and Jensen K. (1998). The practitioner\u2019s guide to coloured petri nets. Int. J. Softw. Tools for Technol. Transf. 2: 98\u2013132","journal-title":"Int. J. Softw. Tools for Technol. Transf."},{"key":"35_CR17","unstructured":"BRITNeY Animation tool. wiki.daimi.au.dk\/tincpn"},{"key":"35_CR18","unstructured":"Pryce, N., Magee, J.: SceneBeans: a component-based animation framework for java. http:\/\/www-dse.doc.ic.ac.uk\/ Software\/SceneBeans\/"},{"key":"35_CR19","unstructured":"ISO 9241-11: Guidance on Usability, 1998"},{"issue":"4","key":"35_CR20","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1037\/1076-898X.6.4.291","volume":"6","author":"S.J.P. McDougall","year":"2000","unstructured":"McDougall S.J.P., Curry M.B. and de Bruijn O. (2000). Exploring the effects of icon characteristics on user performance: The role of icon Concreteness, complexity, and distinctiveness. J. Exp. Psychol. Appl. 6(4): 291\u2013306","journal-title":"J. Exp. Psychol. Appl."},{"issue":"1","key":"35_CR21","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1207\/S15327566IJCE0501_4","volume":"5","author":"S.J.P. McDougall","year":"2001","unstructured":"McDougall S.J.P., Curry M.B. and de Bruijn O. (2001). The effects of visual information on users\u2019 mental models: An evaluation of pathfinder analysis as a measure of icon usability. Int. J. Cogn. Ergonom. 5(1): 59\u201384","journal-title":"Int. J. Cogn. Ergonom."},{"key":"35_CR22","volume-title":"Breaking Down Usability. Interact 99","author":"M. Welie","year":"1999","unstructured":"Welie M., Eli\u00ebns A. and Veer G. (1999). Breaking Down Usability. Interact 99. Edinburgh, Scotland"},{"key":"35_CR23","unstructured":"Pane, J.F.: A Programming System for Children that is Designed for Usability. PhD Thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA, May, 2002"},{"key":"35_CR24","first-page":"629","volume-title":"The 4th International Conference on Product Focused Software Process Improvement (PROFES\u201902), Rovaniemi, Finland. Lecture Notes in Computer Science Series, vol. 2559","author":"R.J. Machado","year":"2002","unstructured":"Machado R.J. and Fernandes J.M. (2002). Heterogeneous information systems integration: organizations and methodologies. In: Oivo, M. and Komi-Sirvi\u00f6, S. (eds) The 4th International Conference on Product Focused Software Process Improvement (PROFES\u201902), Rovaniemi, Finland. Lecture Notes in Computer Science Series, vol. 2559, pp 629\u2013643. Springer, Heidelberg"},{"key":"35_CR25","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11523277_17","volume-title":"From Specification to Embedded Systems Application. IFIP Series vol. 184","author":"R.J. Machado","year":"2005","unstructured":"Machado R.J. and Fernandes J.M. (2005). Integration of embedded software with corporate information systems. In: Rettberg, A., Zanella, M.C. and Rammig, F.J. (eds) From Specification to Embedded Systems Application. IFIP Series vol. 184, pp 169\u2013178. Springer, Heidelberg"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0035-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-007-0035-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0035-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0035-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T22:41:51Z","timestamp":1736894511000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-007-0035-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,13]]},"references-count":25,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["35"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0035-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2007,3,13]]},"assertion":[{"value":"13 March 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}