{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:11:55Z","timestamp":1759032715948},"reference-count":37,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1016\/j.scico.2010.06.007","type":"journal-article","created":{"date-parts":[[2010,6,20]],"date-time":"2010-06-20T20:27:35Z","timestamp":1277065655000},"page":"1193-1214","source":"Crossref","is-referenced-by-count":41,"title":["Multifunctional software systems: Structured modeling and specification of functional requirements"],"prefix":"10.1016","volume":"75","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2010.06.007_br000005","doi-asserted-by":"crossref","unstructured":"S. Apel, Ch. Lengauer, B. M\u00f6ller, Ch. K\u00e4stner, An algebraic foundation for automatic feature-based program synthesis. Science of Computer Programming (SCP), 2010, in press (doi:10.1016\/j.scico.2010.02.001).","DOI":"10.1016\/j.scico.2010.02.001"},{"issue":"12","key":"10.1016\/j.scico.2010.06.007_br000010","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","article-title":"Automated analyses of feature models: challenges ahead","volume":"49","author":"Batory","year":"2006","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.scico.2010.06.007_br000015","series-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"Broy","year":"2001"},{"key":"10.1016\/j.scico.2010.06.007_br000020","series-title":"Formal Techniques for Networked and Distributed Systems","first-page":"48","article-title":"Modeling services and layered architectures","volume":"vol. 2767","author":"Broy","year":"2003"},{"issue":"2\u20133","key":"10.1016\/j.scico.2010.06.007_br000025","first-page":"213","article-title":"The semantic and methodological essence of message sequence charts","volume":"54","author":"Broy","year":"2004","journal-title":"Science of Computer Programming, SCP"},{"key":"10.1016\/j.scico.2010.06.007_br000030","series-title":"Engineering Theories of Software Intensive Systems","first-page":"47","article-title":"Service-oriented systems engineering: specification and design of services and layered architectures \u2014 the Janus approach","author":"Broy","year":"2005"},{"key":"10.1016\/j.scico.2010.06.007_br000035","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MC.2006.358","article-title":"The \u2018Grand Challenge\u2019 in informatics: engineering software-intensive systems","author":"Broy","year":"2006","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/j.scico.2010.06.007_br000040","article-title":"A formal model of services","volume":"16","author":"Broy","year":"2007","journal-title":"TOSEM \u2014 ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/j.scico.2010.06.007_br000045","series-title":"6th International Workshop on Feature Interactions in Telecommunications and Software Ststems","article-title":"Feature interactions in telecommunications and software systems","author":"Calder","year":"2000"},{"key":"10.1016\/j.scico.2010.06.007_br000050","series-title":"Writing Effective Use Cases","author":"Cockburn","year":"2000"},{"key":"10.1016\/j.scico.2010.06.007_br000055","series-title":"Generative Programming","author":"Czarnecki","year":"2000"},{"key":"10.1016\/j.scico.2010.06.007_br000060","unstructured":"M. Deubler, Dienst-orientierte Softwaresysteme: Anforderungen und Entwurf, Dissertation, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen 2008."},{"key":"10.1016\/j.scico.2010.06.007_br000065","series-title":"Aspect-Oriented Software Development","author":"Filman","year":"2004"},{"key":"10.1016\/j.scico.2010.06.007_br000070","series-title":"Perspectives of System Informatics, Novosibirsk, Russia","first-page":"155","article-title":"Formal modelling of services for getting a better understanding of the feature interaction problem","volume":"vol. 1755","author":"Gibson","year":"2000"},{"issue":"5","key":"10.1016\/j.scico.2010.06.007_br000075","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","article-title":"On visual formalisms","volume":"31","author":"Harel","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.scico.2010.06.007_br000080","unstructured":"ITU-T Recommendation Z.120 Message Sequence Chart (MSC), 2004."},{"issue":"4","key":"10.1016\/j.scico.2010.06.007_br000085","doi-asserted-by":"crossref","first-page":"7","DOI":"10.5381\/jot.2003.2.4.c1","article-title":"Use cases and aspects \u2014 working seamlessly together","volume":"2","author":"Jacobson","year":"2003","journal-title":"Journal for Object Technology"},{"key":"10.1016\/j.scico.2010.06.007_br000090","unstructured":"K. Kang, S. Cohen, J. Hess, W. Novak, A. Peterson, Feature-oriented domain analysis (FODA) feasibility study, Technical Report CMU\/SEI-90-TR-021."},{"key":"10.1016\/j.scico.2010.06.007_br000095","series-title":"Proceedings of DIPES\u201998","article-title":"From MSCs to statecharts","author":"Kr\u00fcger","year":"1999"},{"key":"10.1016\/j.scico.2010.06.007_br000100","doi-asserted-by":"crossref","unstructured":"S. Mauw, M. Reniers, High-level message sequence charts, in: SDL\u201997: Time for Testing \u2014 SDL, MSC and Trends. Proc. of the SDL Forum\u201997, 1997, pp. 291\u2013306.","DOI":"10.1016\/B978-044482816-3\/50020-4"},{"key":"10.1016\/j.scico.2010.06.007_br000105","doi-asserted-by":"crossref","unstructured":"S. Nejati, M. Sabetzadeh, S. Uchitel, P. Zave, Towards compositional synthesis of evolving systems, in: Proceedings of FSE\u201908, November, 2008.","DOI":"10.1145\/1453101.1453143"},{"key":"10.1016\/j.scico.2010.06.007_br000110","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used to decompose systems into modules","volume":"15","author":"Parnas","year":"1972","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.scico.2010.06.007_br000115","series-title":"Sosym","article-title":"Plug-and-play composition of features and feature interactions with statechart diagrams","author":"Prehofer","year":"2004"},{"key":"10.1016\/j.scico.2010.06.007_br000120","unstructured":"S. Rittmann, Exploring service-oriented software development for automotive systems, Diplomarbeit, Technische Universit\u00e4t M\u00fcnchen, 2004."},{"key":"10.1016\/j.scico.2010.06.007_br000125","unstructured":"S. Rittmann, A methodology for modeling usage behavior of multi-functional systems, Dissertation, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 2008."},{"key":"10.1016\/j.scico.2010.06.007_br000130","unstructured":"C. Salzmann, Modellbasierter Entwurf spontaner Komponentensysteme, Dissertation, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 2002."},{"key":"10.1016\/j.scico.2010.06.007_br000135","series-title":"Proceedings of the International Workshop on Formal Aspects of Component Software FACS","article-title":"Building components from functions","volume":"vol. 160","author":"Sch\u00e4tz","year":"2005"},{"key":"10.1016\/j.scico.2010.06.007_br000140","series-title":"Proceedings of ICFEM 2003, Fifth International Conference on Formal Engineering Methods","article-title":"Service-based systems engineering: consistent combination of services","volume":"2885","author":"Sch\u00e4tz","year":"2003"},{"key":"10.1016\/j.scico.2010.06.007_br000145","unstructured":"K.J. Turner, Relating services and features in the intelligent network, in: I. Lovrek (Ed.), Proceedings of the 4th International Conference on Telecommunications, Zagreb 1997, pp. 235\u2013243."},{"key":"10.1016\/j.scico.2010.06.007_br000150","unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, The Unified modeling language for object-oriented development, Version 1.0, RATIONAL Software Cooperation."},{"key":"10.1016\/j.scico.2010.06.007_br000155","doi-asserted-by":"crossref","DOI":"10.1145\/237432.237434","article-title":"Four dark corners of requirements engineering","author":"Zave","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/j.scico.2010.06.007_br000160","series-title":"Proceedings of the Fifth IEEE International Symposium on Requirements Engineering","first-page":"2","article-title":"Requirements for evolving systems: a telecommunications perspective","author":"Zave","year":"2001"},{"key":"10.1016\/j.scico.2010.06.007_br000165","series-title":"Proceedings of the Second IP Telephony Workshop","first-page":"176","article-title":"An architecture for three challenging features","author":"Zave","year":"2001"},{"key":"10.1016\/j.scico.2010.06.007_br000170","series-title":"Programming Methodology","first-page":"353","article-title":"An experiment in feature engineering","author":"Zave","year":"2003"},{"key":"10.1016\/j.scico.2010.06.007_br000175","series-title":"Proceedings of the Eighth International SIGSOFT Symposium on Component-Based Software Engineering","first-page":"298","article-title":"Experience with component-based development of a telecommunication service","volume":"vol. 3489","author":"Zave","year":"2005"},{"key":"10.1016\/j.scico.2010.06.007_br000180","doi-asserted-by":"crossref","unstructured":"P. Zave, Audio feature interactions in voice-over-IP. In: Proceedings of the Conference on Principles, Systems and Applications of IP Telecommunications, 2007.","DOI":"10.1145\/1326304.1326316"},{"issue":"5","key":"10.1016\/j.scico.2010.06.007_br000185","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1016\/j.comnet.2004.03.006","article-title":"Component coordination: a telecommunication case study","volume":"45","author":"Zave","year":"2004","journal-title":"Computer Networks"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764231000119X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764231000119X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T03:11:44Z","timestamp":1559185904000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764231000119X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":37,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["S016764231000119X"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2010.06.007","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}