{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:01Z","timestamp":1725562561093},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152337"},{"type":"electronic","value":"9783642152344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15234-4_4","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T12:41:57Z","timestamp":1280752917000},"page":"19-30","source":"Crossref","is-referenced-by-count":1,"title":["Scenario-Based Modeling in Industrial Information Systems"],"prefix":"10.1007","author":[{"given":"Ricardo J.","family":"Machado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o P.","family":"Barros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11767589_2","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"J. Campos","year":"2006","unstructured":"Campos, J., Merseguer, J.: On the integration of UML and Petri nets in software development. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 19\u201336. Springer, Heidelberg (2006)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11506843_9","volume-title":"SDL 2005: Model Driven","author":"C. Eichner","year":"2005","unstructured":"Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., Stehno, C.: Compositional semantics for UML 2.0 sequence diagrams using Petri nets. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 133\u2013148. Springer, Heidelberg (2005)"},{"key":"4_CR3","volume-title":"6th Int. Workshop on Scenarios and State Machines (SCESM\u00a02007), at ICSE 2007","author":"J.M. Fernandes","year":"2007","unstructured":"Fernandes, J.M., Tjell, S., J\u00f8rgensen, J.B., Ribeiro, O.: 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\u00a02007), at ICSE 2007. IEEE CS Press, Los Alamitos (2007)"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/TII.2005.844433","volume":"1","author":"L. Gomes","year":"2005","unstructured":"Gomes, L., Barros, J.P.: Structuring and composability issues in petri nets modeling. IEEE Trans. Industrial Informatics\u00a01(2), 112\u2013123 (2005)","journal-title":"IEEE Trans. Industrial Informatics"},{"key":"4_CR5","unstructured":"Hu, Z., Shatz, S.M.: Mapping UML diagrams to a Petri net notation for system simulation. In: Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2004), pp. 213\u2013219 (2004)"},{"issue":"3-4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems. Int J. on Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"Int J. on Software Tools for Technology Transfer"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-0-387-35064-6_2","volume-title":"Int. Conf. on Hardware Description Languages and Their Applications (CHDL\u00a01997)","author":"B. Kleinjohann","year":"1997","unstructured":"Kleinjohann, B., Tacken, J., Tahedl, C.: Towards a complete design method for embedded systems using predicate\/transition-nets. In: Int. Conf. on Hardware Description Languages and Their Applications (CHDL\u00a01997), pp. 4\u201323. Chapman & Hall, Boca Raton (1997)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/3-540-36209-6_51","volume-title":"Product Focused Software Process Improvement","author":"R.J. Machado","year":"2002","unstructured":"Machado, R.J., Fernandes, J.M.: Heterogeneous information systems integration: organizations and tools. In: Oivo, M., Komi-Sirvi\u00f6, S. (eds.) PROFES 2002. LNCS, vol.\u00a02559, pp. 629\u2013643. Springer, Heidelberg (2002)"},{"key":"4_CR9","first-page":"169","volume-title":"1st IFIP Int. Embedded Systems Symposium (IESS 2005)","author":"R.J. Machado","year":"2005","unstructured":"Machado, R.J., Fernandes, J.M.: Integration of embedded software with corporate information systems. In: 1st IFIP Int. Embedded Systems Symposium (IESS 2005), pp. 169\u2013178. Springer, Heidelberg (2005)"},{"key":"4_CR10","first-page":"235","volume-title":"5th IFIP TC10 Working Conf. on Distributed and Parallel Embedded Systems (DIPES\u00a02006)","author":"R.J. Machado","year":"2006","unstructured":"Machado, R.J., Fernandes, J.M., Rodrigues, H., Monteiro, P.: A demonstration case on the transformation of software architectures for mobile applications. In: 5th IFIP TC10 Working Conf. on Distributed and Parallel Embedded Systems (DIPES\u00a02006), pp. 235\u2013244. Springer, Boston (2006)"},{"issue":"3-4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10009-007-0035-0","volume":"9","author":"R.J. Machado","year":"2007","unstructured":"Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Requirements validation: execution of UML models with CPN Tools. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 353\u2013369 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"4_CR12","first-page":"202","volume-title":"28th Int. Conf. on Software Engineering (ICSE 2006)","author":"R.G. Pettit","year":"2006","unstructured":"Pettit, R.G., Gomaa, H.: Modeling behavioral design patterns of concurrent objects. In: 28th Int. Conf. on Software Engineering (ICSE 2006), pp. 202\u2013211. ACM Press, New York (2006)"},{"key":"4_CR13","unstructured":"Ribeiro, O., Fernandes, J.M.: Some Rules to Transform Sequence Diagrams into Coloured Petri Nets. In: Jensen, K. (ed.) 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN\u00a02006), pp. 237\u2013256 (2006)"},{"key":"4_CR14","unstructured":"Saldhana, J., Shatz, S.M.: UML diagrams to object Petri net models: an approach for modeling and analysis. In: Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2000), pp. 103\u2013110 (2000)"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/40.592316","volume":"17","author":"A. Semenov","year":"1997","unstructured":"Semenov, A., Koelmans, A.M., Lloyd, L., Yakovlev, A.: Designing an asynchronous processor using Petri nets. IEEE Micro\u00a017(2), 54\u201364 (1997)","journal-title":"IEEE Micro"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A.: Synthesis of embedded software using free-choice Petri nets. In: 36th annual ACM\/IEEE Design Automation Conf. (DAC 1999), pp. 805\u2013810. ACM, New York (1999)","DOI":"10.1145\/309847.310073"}],"container-title":["IFIP Advances in Information and Communication Technology","Distributed, Parallel and Biologically Inspired Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15234-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:03:16Z","timestamp":1606168996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15234-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152337","9783642152344"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15234-4_4","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}