{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:02:43Z","timestamp":1761976963819,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412011"},{"type":"electronic","value":"9783642412028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_17","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:11:19Z","timestamp":1382332279000},"page":"249-264","source":"Crossref","is-referenced-by-count":5,"title":["Formal Models of SysML Blocks"],"prefix":"10.1007","author":[{"given":"Alvaro","family":"Miyazawa","sequence":"first","affiliation":[]},{"given":"Lucas","family":"Lima","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Artisan Studio, http:\/\/atego.com\/products\/artisan-studio\/ (accessed: April 11, 2013)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-642-05089-3_29","volume-title":"FM 2009: Formal Methods","author":"P. Gancarski","year":"2009","unstructured":"Gancarski, P., Butterfield, A.: The Denotational Semantics of slotted-Circus. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 451\u2013466. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A.L.C. Cavalcanti","year":"2003","unstructured":"Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: A Refinement Strategy for Circus. Form. Asp. Comp.\u00a015(2-3), 146\u2013181 (2003)","journal-title":"Form. Asp. Comp."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Coleman, J.W., Malmos, A.K., Larsen, P.G., Peleska, J., Hains, R., Andrews, Z., Payne, R., Foster, S., Miyazawa, A., Bertolini, C., Didier, A.: COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In: 7th International Conference on System of Systems Engineering, pp. 451\u2013456 (2012)","DOI":"10.1109\/SYSoSE.2012.6384150"},{"key":"17_CR5","first-page":"259","volume":"2","author":"S. Ding","year":"2010","unstructured":"Ding, S., Tang, S.Q.: An approach for formal representation of SysML block diagram with description logic SHIOQ(D). Proceedings of the 2nd ICIIS\u00a02, 259\u2013261 (2010)","journal-title":"Proceedings of the 2nd ICIIS"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-46852-8_11","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"A. Evans","year":"1999","unstructured":"Evans, A., Caskurlu, B.: Core Meta-Modelling Semantics of UML: The pUML Approach. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 140\u2013155. Springer, Heidelberg (1999)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Bowmann, H., Derrick, J. (eds.) FormalMethods for Open Object-Based Distributed Systems (FMOODS 1997), vol.\u00a02, pp. 423\u2013438. Chapman & Hall, Ltd. (1997)","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45314-8_8","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Fischer","year":"2001","unstructured":"Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP View on UML-RT Structure Diagrams. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 91\u2013108. Springer, Heidelberg (2001)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems \u2013 Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626975"},{"key":"17_CR10","unstructured":"Graves, H.: Integrating SysML and OWL. In: Proceedings of OWL: Experiences and Directions (2009)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Graves, H., Bijan, Y.: Using formal methods with SysML in aerospace design and engineering. Ann. Math. Artif. Intel., 1\u201350 (2011)","DOI":"10.1007\/s10472-011-9267-5"},{"key":"17_CR12","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Inc. (1985)"},{"key":"17_CR13","unstructured":"Rational Rhapsody Architect for Systems Engineers, http:\/\/www-142.ibm.com\/software\/products\/us\/en\/ratirhaparchforsystengi (accessed: April 11, 2013)"},{"key":"17_CR14","unstructured":"Miyazawa, A., Albertins, L., Iyoda, J., Corn\u00e9lio, M., Payne, R., Cavalcanti, A.: Final report on combining SysML and CML. Technical report, COMPASS (2013)"},{"key":"17_CR15","unstructured":"Oliveira, M., Sampaio, A., Antonino, P., Ramos, R., Cavalcanti, A., Woodcock, J.: Compositional analysis and design of CML models. Technical report, COMPASS (2013)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle: A Generic Theorem Prover. LNCS, vol.\u00a0828. Springer, Heidelberg (1994)"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11768173_2","volume-title":"Unifying Theories of Programming","author":"T. Santos","year":"2006","unstructured":"Santos, T., Cavalcanti, A., Sampaio, A.: Object-Orientation in the UTP. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, pp. 18\u201337. Springer, Heidelberg (2006)"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s00165-009-0119-6","volume":"22","author":"A. Sherif","year":"2010","unstructured":"Sherif, A., Cavalcanti, A., Jifeng, H., Sampaio, A.: A Process Algebraic Framework for Specification and Validation of Real-time Systems. Form. Asp. Comp.\u00a022, 153\u2013191 (2010)","journal-title":"Form. Asp. Comp."},{"key":"17_CR19","unstructured":"Sparx Systems\u2019 Enterprise Architect supports the Systems Modeling Language, http:\/\/sparxsystems.com\/products\/mdg\/tech\/sysml\/ (accessed: April 11, 2013)"},{"key":"17_CR20","unstructured":"RT-Tester, http:\/\/verified.de\/en\/products\/rt-tester (accessed: April 11, 2013)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Cavalcanti, A., Coleman, J., Didier, A., Larsen, P.G., Miyazawa, A., Oliveira, M.: CML Definition 0. Technical Report D23.1, COMPASS (2012)","DOI":"10.1109\/SYSoSE.2012.6384144"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P., Miyazawa, A., Perry, S.: Features of CML: A formal modelling language for Systems of Systems. In: 7th International Conference on System of Systems Engineering, pp. 1\u20136 (2012)","DOI":"10.1109\/SYSoSE.2012.6384144"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:42:48Z","timestamp":1746034968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}