{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:39:41Z","timestamp":1764995981827,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07602-7_7","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"79-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Incremental Modeling of System Architecture Satisfying SysML Functional Requirements"],"prefix":"10.1007","author":[{"given":"Oscar","family":"Carrillo","sequence":"first","affiliation":[]},{"given":"Samir","family":"Chouali","sequence":"additional","affiliation":[]},{"given":"Hassan","family":"Mountassir","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"unstructured":"The Object Management Group (OMG): OMG Systems Modeling Language (OMG SysML) Specification Version 1.2, June 2010. http:\/\/www.omg.org\/spec\/SysML\/1.2\/","key":"7_CR1"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2237796.2237813","volume":"37","author":"O Carrillo","year":"2012","unstructured":"Carrillo, O., Chouali, S., Mountassir, H.: Formalizing and verifying compatibility and consistency of sysml blocks. SIGSOFT Softw. Eng. Notes 37(4), 1\u20138 (2012)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"4","key":"7_CR3","first-page":"265","volume":"7","author":"S Chouali","year":"2011","unstructured":"Chouali, S., Hammad, A.: Formal verification of components assembly based on sysml and interface automata. ISSE 7(4), 265\u2013274 (2011)","journal-title":"ISSE"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.entcs.2009.09.064","volume":"254","author":"V Lima","year":"2009","unstructured":"Lima, V., Talhi, C., Mouheb, D., Debbabi, M., Wang, L., Pourzandi, M.: Formal verification and validation of UML 2.0 sequence diagrams using source and destination of messages. Electron. Notes Theor. Comput. Sci. 254, 143\u2013160 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120. ACM Press (2001)","key":"7_CR5","DOI":"10.1145\/503271.503226"},{"unstructured":"Object Management Group: The OMG Unified Modeling Language Specification, UML 2.0, July 2005","key":"7_CR6"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"EA Lee","year":"2004","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects Comput. 16(3), 210\u2013237 (2004)","journal-title":"Formal Aspects Comput."},{"unstructured":"National Highway Traffic Safety Administration: Federal Motor Vehicle Safety Standards, September 1998","key":"7_CR8"},{"key":"7_CR9","volume-title":"Design and Validation of Computer Protocols","author":"GJ Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)"},{"key":"7_CR10","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"unstructured":"P\u00e9tin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal methods for safety requirements verification. In: 22nd International Conference on Software & Systems Engineering and their Applications, Paris (2010)","key":"7_CR11"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A van Lamsweerde","year":"2003","unstructured":"van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"unstructured":"Barais, O., Duchien, L., Le Meur, A.F.: A framework to specify incremental software architecture transformations. In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005, pp. 62\u201369 (2005)","key":"7_CR13"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4), 168\u2013196 (2009)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Dromey, R.G.: From requirements to design: Formalizing the key steps. In: Proceedings of the First International Conference on Software Engineering and Formal Methods, 2003, pp. 2\u201311 (2003)","key":"7_CR15","DOI":"10.1109\/SEFM.2003.1236202"},{"doi-asserted-by":"crossref","unstructured":"Dromey, R.G.: Engineering large-scale software-intensive systems. In: ASWEC, pp. 4\u20136 (2007)","key":"7_CR16","DOI":"10.1109\/ASWEC.2007.19"},{"doi-asserted-by":"crossref","unstructured":"Lau, K.-K., Nordin, A., Rana, T., Taweel, F.: Constructing component-based systems directly from requirements using incremental composition. In: Proceedings of 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 85\u201393. IEEE (2010)","key":"7_CR17","DOI":"10.1109\/SEAA.2010.18"},{"key":"7_CR18","first-page":"54","volume":"781","author":"P Farail","year":"2006","unstructured":"Farail, P., Goutillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Cregut, X., Pantel, M.: The TOPCASED project : a toolkit in open source for critical aeronautic systems design. Ing\u00e9nieurs de l\u2019automobile 781, 54\u201359 (2006)","journal-title":"Ing\u00e9nieurs de l\u2019automobile"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T00:19:48Z","timestamp":1675988388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}