{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:40:36Z","timestamp":1740264036312,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_17","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"234-246","source":"Crossref","is-referenced-by-count":4,"title":["A UML-Compatible Formal Language for System Architecture Description"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Pradella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dino","family":"Mandrioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Cigoli, S., Leblanc, P., Malaponti, S., Mandrioli, D., Mazzucchelli, M., Morzenti, A., Spoletini, P.: An Experiment in Applying UML 2.0 to the Development of an Industrial Critical Application. In: Proceedings of the UML 2003 workshop on Critical Systems Development with UML, San Francisco, CA, October 21 (2003)"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/941566.941567","volume":"12","author":"A. Coen-Porisini","year":"2003","unstructured":"Coen-Porisini, A., Pradella, M., Rossi, M., Mandrioli, D.: A Formal Approach for Designing CORBA based Applications. ACM TOSEM\u00a012(2), 107\u2013151 (2003)","journal-title":"ACM TOSEM"},{"key":"17_CR3","unstructured":"Eclipse Foundation, http:\/\/www.eclipse.org"},{"issue":"3","key":"17_CR4","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10270-003-0026-x","volume":"2","author":"S. Flake","year":"2003","unstructured":"Flake, S., Mueller, W.: Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Software and Systems Modeling\u00a02(3), 164\u2013186 (2003)","journal-title":"Software and Systems Modeling"},{"key":"17_CR5","unstructured":"Furia, C.A., Mandrioli, D., Morzenti, A., Pradella, M., Rossi, M., San Pietro, P.: Higher-Order TRIO, Technical Report 2004.28, Dipartimento di Elettronica ed Informazione, Politecnico di Milano (2004)"},{"issue":"3","key":"17_CR6","first-page":"225","volume":"3","author":"A. Gargantini","year":"2001","unstructured":"Gargantini, A., Morzenti, A.: Automated Deductive Requirements Analysis of Critical Systems. ACM TOSEM\u00a03(3), 225\u2013307 (2001)","journal-title":"ACM TOSEM"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/940071.940078","volume-title":"Proc. of ESEC\/FSE 2003","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Flake, S.: Towards the compositional verification of real-time UML designs. In: Proc. of ESEC\/FSE 2003, pp. 38\u201347. Helsinki, Finland (2003)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Lavazza, L., Quaroni, G., Venturelli, M.: Combining UML and formal notations for modelling real-time systems. In: Proc. of ESEC\/FSE 2001, Vienna, pp. 196\u2013206 (2001)","DOI":"10.1145\/503209.503236"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., Jifeng, H.: A Formal Semantics of UML Sequence Diagram. In: Proceedings of the 2004 Australian Software Engineering Conference, pp. 168\u2013177 (2004)","DOI":"10.1109\/ASWEC.2004.1290469"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: Proceedings of the 23rd ICSE, pp. 433\u2013442 (2001)","DOI":"10.1109\/ICSE.2001.919116"},{"issue":"1","key":"17_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/504087.504088","volume":"11","author":"N. Medvidovic","year":"2002","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling Software Architectures in the Unified Modeling Language. ACM TOSEM\u00a011(1), 2\u201357 (2002)","journal-title":"ACM TOSEM"},{"key":"17_CR12","doi-asserted-by":"crossref","DOI":"10.1002\/0470841966","volume-title":"System Engineering with SDL \u2013 Developing Performance-Critical Communication Systems","author":"A. Mitschele-Theil","year":"2001","unstructured":"Mitschele-Theil, A.: System Engineering with SDL \u2013 Developing Performance-Critical Communication Systems. John Wiley, Chichester (2001)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-540-45236-2_30","volume-title":"FME 2003: Formal Methods","author":"A. Morzenti","year":"2003","unstructured":"Morzenti, A., Pradella, M., San Pietro, P., Spoletini, P.: Model-checking TRIO specifications in SPIN. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 542\u2013561. Springer, Heidelberg (2003)"},{"key":"17_CR14","unstructured":"Object Management Group, UML 2.0 Superstructure Specification, Technical Report, OMG, ptc\/03-08-02 (2003)"},{"key":"17_CR15","unstructured":"Object Management Group, UML 2.0 OCL Specification, Technical Report, OMG, ptc\/03-10-14 (2003)"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Rossi, M., Mandrioli, D.: A Formal Approach for Modeling and Verification of RTCORBA-based Applications, ISSTA, Boston, 263\u2013273 (2004)","DOI":"10.1145\/1007512.1007548"},{"issue":"4","key":"17_CR17","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","volume":"29","author":"H. Saiedian","year":"1996","unstructured":"Saiedian, H., Bowen, J.P., Butler, R.W., Dill, D.L., Glass, R.L., Gries, D., Hall, A., Hinchey, M.G., Holloway, C.M., Jackson, D., Jones, C.B., Luts, M.J., Parna, D.L., Rushby, J., Wing, J., Zave, P.: An Invitation to Formal Methods. IEEE Computer\u00a029(4), 16\u201330 (1996)","journal-title":"IEEE Computer"},{"key":"17_CR18","unstructured":"Telelogic Tau Generation2 Tools, http:\/\/www.telelogic.com\/products\/tau\/tg2.cfm"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:04:34Z","timestamp":1740261874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11506843_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}