{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:32:56Z","timestamp":1743024776582,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319241401"},{"type":"electronic","value":"9783319241418"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24141-8_55","type":"book-chapter","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:27:36Z","timestamp":1443720456000},"page":"591-603","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["System of Systems Architecting: A Behavioural and Properties Based Approach for SoS \u201c\u2013ilities\u201d Modelling and Analysis"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Chapurlat","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Daclin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"55_CR1","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. 1, 267\u2013284 (1998)","journal-title":"Syst. Eng."},{"key":"55_CR2","unstructured":"Shian Chin, K., Eng Yau, P., Kok Wah, S., Chung Khiang, P.: Framework for managing system-of-systems ilities. DSTA Horizons (2013\/14)"},{"key":"55_CR3","unstructured":"Ferris, T.L.J.: It depends: systems of systems engineering requires new methods if you are talking about new kinds of systems of systems, INCOSE 2006, SoS panel\/ (\n                    http:\/\/www.3milsys.com\/sys_of_sys.asp\n                    \n                  . Accessed 12 July 2011"},{"key":"55_CR4","volume-title":"Engineering Systems: Meeting Human Needs in a Complex Technological World, chapter 4","author":"O Weck","year":"2012","unstructured":"Weck, O., Roos, D., Magee, C.: Engineering Systems: Meeting Human Needs in a Complex Technological World, chapter 4. MIT Press, Cambridge (2012)"},{"key":"55_CR5","unstructured":"INCOSE, System Engineering (SE) Handbook Working Group, System Engineering Handbook, A Guide For System Life Cycle Processes And Activities Version 3.2.1, INCOSE TP 2003 002 03.2. (2011)"},{"key":"55_CR6","unstructured":"ESD Terms and Definitions (Version 12), ESD Symposium Committee, October 19, 2001, Massachusetts Institute of Technology Engineering Systems Division, Working Paper Series, SD-WP-2002-01"},{"key":"55_CR7","doi-asserted-by":"crossref","unstructured":"Ross, A.M., Rhodes, D.H.: Towards a prescriptive semantic basis for change-type ilities. In: 2015 Conference on Systems Engineering Research, Procedia Computer Science, vol. 44, pp. 443\u2013453 (2015)","DOI":"10.1016\/j.procs.2015.03.040"},{"key":"55_CR8","doi-asserted-by":"crossref","unstructured":"Ricci, N., Fitzgerald, M.E., Ross, A.M., Rhodes, D.H.: Architecting systems of systems with ilities: an overview of the SAI Method. In: Systems Engineering Research (CSER 2014) (March 21\u201322 2014)","DOI":"10.1016\/j.procs.2014.03.040"},{"key":"55_CR9","unstructured":"Ross, A.M.: Adaptive and resilient space systems panel. In: AIAA Space 2011, Long Beach, CA (28 September 2011)"},{"key":"55_CR10","unstructured":"Vaneman, W.K., Triantis, K.: An analytical approach to assessing emergent behavior is a system of system. In: SEDC 2014, Chantilly, VA (3\u20135 April 2014)"},{"key":"55_CR11","doi-asserted-by":"crossref","unstructured":"McManus, H.L., Richards, M.G., Ross, A.M., Hastings, D.E.: A framework for incorporating \u201cilities\u201d in tradespace studies, a collection of technical papers. In: AIAA Space 2007 Conference, vol. 1, pp. 941\u2013954","DOI":"10.2514\/6.2007-6100"},{"key":"55_CR12","doi-asserted-by":"crossref","unstructured":"Dou, K., Wang, X., Tang, C., Ross, A., Sullivan, K.: An evolutionary theory-systems approach to a science of the ilities, systems engineering research. In: CSER 2015","DOI":"10.1016\/j.procs.2015.03.064"},{"key":"55_CR13","unstructured":"Chapurlat, V., Daclin, N.: Proposition of a guide for investigating, modeling and analyzing system operating modes: OMAG. In: Complex Systems Design and Management CSDM (2013)"},{"key":"55_CR14","volume-title":"System Analysis, Design and Development: Concepts, Principles and Practices","author":"SW Charles","year":"2014","unstructured":"Charles, S.W.: System Analysis, Design and Development: Concepts, Principles and Practices. Wiley, New York (2014)"},{"key":"55_CR15","doi-asserted-by":"crossref","unstructured":"Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: 30th ACM\/IEEE Design Automation Conference, USA (1993)","DOI":"10.1145\/157485.164585"},{"key":"55_CR16","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1016\/j.compind.2013.03.002","volume":"64","author":"V Chapurlat","year":"2013","unstructured":"Chapurlat, V.: UPSL-SE: a model verification framework for systems engineering. Comput. Ind. 64, 581\u2013597 (2013)","journal-title":"Comput. Ind."},{"key":"55_CR17","unstructured":"Chapurlat, V.: Property concept and modelling language for model-based systems engineering (MBSE) context, internal research report (access on demand)"},{"key":"55_CR18","unstructured":"Stanford Encyclopedia of Philosophy. \n                    http:\/\/plato.stanford.edu\/entries\/properties\/\n                    \n                  . Accessed 31 August 2012"},{"issue":"3","key":"55_CR19","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1002\/sys.20097","volume":"11","author":"P Micouin","year":"2008","unstructured":"Micouin, P.: Toward a property based requirements theory: system requirements structured as a semilattice. Syst. Eng. 11(3), 235\u2013245 (2008). INCOSE\/Wiley","journal-title":"Syst. Eng."},{"key":"55_CR20","doi-asserted-by":"crossref","unstructured":"Qamar, A., Paredis, C.J.J.: Dependency modeling and model management in mechatronics. In: Proceedings of ASME 2012, International Design Engineering Technical Conference and Computers and Information Engineering Conference, IDET\/CIE 2012, USA (August 2012)","DOI":"10.1115\/DETC2012-70272"},{"key":"55_CR21","isbn-type":"print","volume-title":"A Roadmap for Formal Property Verification","author":"P Dasgupta","year":"2010","unstructured":"Dasgupta, P.: A Roadmap for Formal Property Verification. Springer, Berlin (2010). (B\u00e9rard et al. 2001). ISBN 978-90-481-7185-9","ISBN":"https:\/\/id.crossref.org\/isbn\/9789048171859"},{"key":"55_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification: Model Checking Techniques and Tools","author":"B B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P., McKenzie, P.: Systems and Software Verification: Model Checking Techniques and Tools. Springer, Berlin (2001)"},{"key":"55_CR23","unstructured":"Pearl, J.: Reasoning with cause and effect. UCLA Cognitive Systems Laboratory, Technical Report (R-265), July 1999. In: AI Magazine, vol. 23(1), pp. 95\u2013111, Spring 2002"},{"key":"55_CR24","unstructured":"BKCASE Editorial Board. 2015. The Guide to the Systems Engineering Body of Knowledge (SEBoK), v. 1.3.2 R.D. Adcock (EIC). Hoboken, NJ: The Trustees of the Stevens Institute of Technology. Accessed 23 April 2015"},{"key":"55_CR25","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-662-47157-9_5","volume-title":"Enterprise Interoperability","author":"S Billaud","year":"2015","unstructured":"Billaud, S., Daclin, N., Chapurlat, V.: Interoperability as a key concept for the control and evolution of the system of systems (SoS). In: van Sinderen, M., Chapurlat, V. (eds.) IWEI 2015. LNBIP, vol. 213, pp. 53\u201363. Springer, Heidelberg (2015)"},{"key":"55_CR26","unstructured":"Chapurlat, V., Larnac, M., Dray G.: Analysis and formal verification of Grafcet (FCCS) using interpreted sequential machine. In: IEEE CESA 1996, Lille, France (July 1996)"},{"key":"55_CR27","doi-asserted-by":"crossref","unstructured":"Nastov, B., Chapurlat, V., Dony, C., Pfister, F.: A verification approach from MDE applied to model based systems engineering: xeFFBD dynamic semantics. In: Complex Systems Design and Management CSDM 2014, Paris, France (December 2014)","DOI":"10.1007\/978-3-319-11617-4_16"}],"container-title":["IFIP Advances in Information and Communication Technology","Risks and Resilience of Collaborative Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24141-8_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T20:08:48Z","timestamp":1569960528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24141-8_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319241401","9783319241418"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24141-8_55","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"10 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}