{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:46:08Z","timestamp":1760550368239},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T00:00:00Z","timestamp":1505520000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s10270-017-0619-4","type":"journal-article","created":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T00:00:58Z","timestamp":1505520058000},"page":"365-393","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability\u2014from requirements to functional and architectural views"],"prefix":"10.1007","volume":"17","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,16]]},"reference":[{"key":"619_CR1","volume-title":"Unified Modeling Language User Guide","author":"G Booch","year":"2005","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide, vol. 2. Addison-Wesley, Boston (2005)"},{"key":"619_CR2","unstructured":"Broy, M.: Modelling services and layered architectures. In: K\u00f6nig H., Heiner M., Wolisz A. (eds.) Formal Techniques for Networked and Distributed Systems, Lecture Notes in Computer Science 2767, Berlin (2003)"},{"issue":"1","key":"619_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s11334-006-0011-y","volume":"3","author":"M Broy","year":"2007","unstructured":"Broy, M.: Model-driven architecture-centric engineering of (embedded) software intensive systems: modelling theories and architectural milestones. Innov. Syst. Softw. Eng. 3(1), 75\u2013102 (2007)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"12","key":"619_CR4","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.1016\/j.scico.2010.06.007","volume":"75","author":"M Broy","year":"2010","unstructured":"Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12), 1193\u20131214 (2010)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"619_CR5","doi-asserted-by":"crossref","first-page":"1758","DOI":"10.1093\/comjnl\/bxq005","volume":"53","author":"M Broy","year":"2010","unstructured":"Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758\u20131782 (2010)","journal-title":"Comput. J."},{"key":"619_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Berlin (2001)"},{"key":"619_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1189748.1189749","volume":"16","author":"M Broy","year":"2007","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A formal model of services. TOSEM ACM Trans. Softw. Eng. Methodol. 16, 1 (2007)","journal-title":"TOSEM ACM Trans. Softw. Eng. Methodol."},{"key":"619_CR8","unstructured":"Calder, M., Magill, E.: Feature interactions in telecommunications and software systems. In: 6th International Workshop on Feature Interactions in Telecommunications and Software Ststems. IOS Press (2000)"},{"key":"619_CR9","volume-title":"Documenting Software Architectures: Views and Beyond\u2014The SEI Series in Software Engineering","author":"P Clements","year":"2002","unstructured":"Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond\u2014The SEI Series in Software Engineering. Addison Wesley, Boston (2002)"},{"issue":"3","key":"619_CR10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W Craig","year":"1957","unstructured":"Craig, W.: Three uses of the Herbrand\u2013Gentzen theorem in relating model theory and proof theory. J. Symb. Logic 22(3), 269\u2013285 (1957)","journal-title":"J. Symb. Logic"},{"key":"619_CR11","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. OMG Press, Needham (2008)"},{"issue":"2","key":"619_CR12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"ECR Hehner","year":"1984","unstructured":"Hehner, E.C.R.: Predicative programming, part I. Commun. ACM 27(2), 134\u2013143 (1984)","journal-title":"Commun. ACM"},{"key":"619_CR13","doi-asserted-by":"crossref","unstructured":"Hehner, E.C.R.: Predicative programming, part II. Commun. ACM 27(2), 144\u2013151 (1984)","DOI":"10.1145\/69610.357990"},{"issue":"1522","key":"619_CR14","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1098\/rsta.1984.0071","volume":"312","author":"CAR Hoare","year":"1984","unstructured":"Hoare, C.A.R., Hanna, F.K.: Programs are predicates [and discussion]. Phil. Trans. R. Soc. Lond. A 312(1522), 475\u2013489 (1984)","journal-title":"Phil. Trans. R. Soc. Lond. A"},{"key":"619_CR15","unstructured":"IEEE Recommended Practice for Software Requirements Specifications (IEEE Std 830-1998, Revision of IEEE Std 830-1993)"},{"key":"619_CR16","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D Parnas","year":"1972","unstructured":"Parnas, D.: On the criteria to be used to decompose systems into modules. Commun. ACM 15, 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"619_CR17","doi-asserted-by":"crossref","unstructured":"Quine, W.V.: The problem of simplifying truth tables. Am. Math. Mon. 59(8), 521\u2013531 (1952)","DOI":"10.1080\/00029890.1952.11988183"},{"key":"619_CR18","unstructured":"Sanford, D.H.: Independent predicates. Am. Philos. Q. 18(2), 171\u2013174 (1981)"},{"key":"619_CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz, B.: Building components from functions. In: Electronic Notes in Theoretical Computer Science. Proceedings of the International Workshop on Formal Aspects of Component Software FACS, Vol. 160 (2005)","DOI":"10.1016\/j.entcs.2006.05.031"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0619-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0619-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0619-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T11:17:23Z","timestamp":1570101443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0619-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,16]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["619"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0619-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,16]]}}}