{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:52:07Z","timestamp":1725533527920},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024139"},{"type":"electronic","value":"9783642024146"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02414-6_10","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T13:46:26Z","timestamp":1245246386000},"page":"156-172","source":"Crossref","is-referenced-by-count":3,"title":["Integrating Functional and Architectural Views of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Jewgenij","family":"Botaschanjan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Harhurin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"AutoFocus 3, http:\/\/af3.in.tum.de\/"},{"key":"10_CR2","volume-title":"Proceedings of ASE 2006","author":"M. Abi-Antoun","year":"2006","unstructured":"Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D.: Differencing and merging of architectural views. In: Proceedings of ASE 2006. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Baniassad, E., Clarke, S.: Theme: an approach for aspect-oriented analysis and design. In: Proceedings of ICSE 2004 (2004)","DOI":"10.1109\/ICSE.2004.1317438"},{"key":"10_CR4","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Berry, D.M., Kazman, R., Wieringa, R.: Second international workshop on from software requirements to architectures (STRAW 2003). SIGSOFT Softw. Eng. Notes\u00a029(3) (2004)","DOI":"10.1145\/986710.986722"},{"key":"10_CR6","unstructured":"Botaschanjan, J.: Techniques for Property Preservation in the Development of Real-Time Systems. PhD thesis, TU M\u00fcnchen (2008)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11813040_12","volume-title":"FM 2006: Formal Methods","author":"J. Botaschanjan","year":"2006","unstructured":"Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., Trachtenherz, D.: Towards Modularized Verification of Distributed Time-Triggered Systems. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 163\u2013178. Springer, Heidelberg (2006)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Botaschanjan, J., Harhurin, A.: A Formal Framework for Integrating Functional and Architectural Views of Reactive Systems. Technical Report TUM-I0904, TU M\u00fcnchen (2009)","DOI":"10.1007\/978-3-642-02414-6_10"},{"key":"10_CR9","unstructured":"Botaschanjan, J., Harhurin, A., Kof, L.: Service-based Specification of Reactive Systems. Technical Report TUM-I0815, Technische Universit\u00e4t M\u00fcnchen (2008)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Pretschner, A., Salzmann, C.: Engineering automotive software. Proceedings of the IEEE\u00a095(2) (2007)","DOI":"10.1109\/JPROC.2006.888386"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol.\u00a016(1) (2007)","DOI":"10.1145\/1189748.1189753"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng.\u00a024(12) (1998)","DOI":"10.1109\/32.738343"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Comput. Networks\u00a041(1) (2003)","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"10_CR14","volume-title":"Proceedings of FSE14","author":"C. Damas","year":"2006","unstructured":"Damas, C., Lambeau, B., van Lamsweerde, A.: Scenarios, goals, and state machines: a win-win partnership for model synthesis. In: Proceedings of FSE14. ACM Press, New York (2006)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026(5) (2001)","DOI":"10.1145\/503271.503226"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering\u00a02(1) (1992)","DOI":"10.1142\/S0218194092000038"},{"key":"10_CR17","volume-title":"Proceedings of FOSE 2007","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Proceedings of FOSE 2007. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"10_CR18","volume-title":"Proceedings of SPLC 2007","author":"A. Gruler","year":"2007","unstructured":"Gruler, A., Harhurin, A., Hartmann, J.: Development and configuration of service-based product lines. In: Proceedings of SPLC 2007. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44674-5_1","volume-title":"Implementation and Application of Automata","author":"D. Harel","year":"2001","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. In: Yu, S., P\u0103un, A. (eds.) CIAA 2000. LNCS, vol.\u00a02088, pp. 1\u201333. Springer, Heidelberg (2001)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-68237-0_27","volume-title":"FM 2008: Formal Methods","author":"A. Harhurin","year":"2008","unstructured":"Harhurin, A., Hartmann, J.: Towards consistent specifications of product families. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 390\u2013405. Springer, Heidelberg (2008)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Jackson, M., Zave, P.: Distributed feature composition: A virtual architecture for telecommunications services. IEEE Trans. Softw. Eng.\u00a024(10) (1998)","DOI":"10.1109\/32.729683"},{"key":"10_CR22","volume-title":"Proceedings of the Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of the Distributed and Parallel Embedded Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"10_CR23","unstructured":"Kr\u00fcger, I.H., Mathew, R.: Systematic development and exploration of service-oriented software architectures. In: Proceedings of WICSA 2004 (2004)"},{"key":"10_CR24","volume-title":"Proceedings of SCESM 2006","author":"H. Liang","year":"2006","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of SCESM 2006. ACM Press, New York (2006)"},{"key":"10_CR25","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI-Quarterly, 2(3) (1989)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., Madey, J.: Functional documents for computer systems. Science of Computer Programming\u00a025(1) (1995)","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"10_CR27","volume-title":"Proceedings of AOSD 2003: Aspect-oriented Software Development","author":"A. Rashid","year":"2003","unstructured":"Rashid, A., Moreira, A., Ara\u00fajo, J.: Modularisation and composition of aspectual requirements. In: Proceedings of AOSD 2003: Aspect-oriented Software Development. ACM Press, New York (2003)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng.\u00a011(3) (2006)","DOI":"10.1007\/s00766-006-0032-y"},{"key":"10_CR29","volume-title":"Proceedings of COMPSAC 2005","author":"A. Solberg","year":"2005","unstructured":"Solberg, A., Simmonds, D.M., Reddy, R., Ghosh, S., France, R.B.: Using aspect oriented techniques to support separation of concerns in model driven development. In: Proceedings of COMPSAC 2005. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Chechik, M.: Merging partial behavioural models. SIGSOFT Softw. Eng. Notes\u00a029(6) (2004)","DOI":"10.1145\/1041685.1029904"},{"key":"10_CR31","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. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02414-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:34:23Z","timestamp":1558395263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02414-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024139","9783642024146"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02414-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}