{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:36:30Z","timestamp":1773653790091,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540204619","type":"print"},{"value":"9783540398936","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:35:57Z","timestamp":1294396557000},"page":"86-104","source":"Crossref","is-referenced-by-count":6,"title":["Service-Based Systems Engineering: Consistent Combination of Services"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Salzmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Proc. 5th Feature Interactions in Telecommunications and Software Systems","author":"A. Aho","year":"1998","unstructured":"Aho, A., Gallagher, N., Griffeth, N., Schell, C., Swayne, D.: SCF3\/Sculptor with Chisel. In: Kimbler, K., et al. (eds.) Proc. 5th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (1998)"},{"key":"7_CR2","volume-title":"Formal Methods in Systems Design","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.: Reactive Modules. In: Formal Methods in Systems Design, vol.\u00a01(15). Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"7_CR3","unstructured":"Biere, A.: Effiziente Modellpr\u00fcfung des \u03bc-Kalk\u00fcls mit bin\u00e4ren Entscheidungsdiagrammen. Ph.D. Thesis. Universit\u00e4t Karlsruhe (1997)"},{"key":"7_CR4","unstructured":"Berners-Lee, T.: Are we done yet?, \n                    \n                      http:\/\/www.w3.org\/2001\/Talks\/0501-tbl\/"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems","author":"M. Broy","year":"2001","unstructured":"Broy, M., Stoelen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)"},{"key":"7_CR6","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1, W3C Note, \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"7_CR7","volume-title":"Proc. 6th Feature Interactions in Telecommunications and Software Systems","year":"2000","unstructured":"Calder, M., et Magill, E. (eds.): Proc. 6th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (2000)"},{"key":"7_CR8","unstructured":"Griffeth, N., et al.: Feature Interaction Detection Contest. Instructions (1999), \n                    \n                      http:\/\/wwwdb.research.bell-labs.com\/user\/nancyg\/instructions.ps"},{"key":"7_CR9","unstructured":"Grosu, R., Stoelen, K.: Specification of Dynamic Networks. In: Proceedings of the 8th Nordic Workshop on Programming Theory, Oslo, Norway. University of Oslo (1996)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.1007\/3-540-49253-4","volume-title":"FM\u201999 - Formal Methods","author":"F. Huber","year":"1999","unstructured":"Huber, F., Sch\u00e4tz, B.: Integrating Formal Description Techniques. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, p. 1206. Springer, Heidelberg (1999)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"F. Huber","year":"1997","unstructured":"Huber, F., Sch\u00e4tz, B., Einert, G.: Consistent Graphical Specification of Distributed Systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313. Springer, Heidelberg (1997)"},{"key":"7_CR12","volume-title":"Proc. 6th Feature Interactions in Telecommunications and Software Systems","author":"M. Jackson","year":"2000","unstructured":"Jackson, M., Zave, P.: New Feature Interactions in Mobile and Multimedia Telecommunication Services. In: Calder, M., et al. (eds.) Proc. 6th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (2000)"},{"key":"7_CR13","volume-title":"Proc. 6th Feature Interactions in Telecommunications and Software Systems","author":"A. Koshumi","year":"2000","unstructured":"Koshumi, A., Bevelo, R.J.: A Detection Method Developed after A Thorough Study of the Contest Held in 1998. In: Calder, M., et al. (eds.) Proc. 6th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (2000)"},{"key":"7_CR14","volume-title":"Proc. 5th Feature Interactions in Telecommunications and Software Systems","year":"1998","unstructured":"Kimbler, K., et Bouma, L. (eds.): Proc. 5th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (1998)"},{"key":"7_CR15","unstructured":"Kr\u00fcger, I.: Distributed System Design with Message Sequence Charts, Dissertation, Technische Universit\u00e4t M\u00fcnchen (2000)"},{"key":"7_CR16","volume-title":"Eighth International Symposium on Temporal Representation and Reasoning (TIME 2001)","author":"G. Logothetis","year":"2001","unstructured":"Logothetis, G., Schneider, K.: Symbolic Model-Checking of Real-Time Systems. In: Eighth International Symposium on Temporal Representation and Reasoning (TIME 2001). IEEE Computer Society, Los Alamitos (2001)"},{"key":"7_CR17","series-title":"LNCS","volume-title":"Perspectives Of System Informatics (5th Andrei Ershov International Conference)","author":"L. Kof","year":"2003","unstructured":"Kof, L., Sch\u00e4tz, B.: Dimensions of Design: Combining Aspects of Reactive Systems. In: Perspectives Of System Informatics (5th Andrei Ershov International Conference). LNCS. Springer, Heidelberg (2003)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"A Decade of Concurrency","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: Specification and Verification of Concurrent Programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803. Springer, Heidelberg (1994)"},{"key":"7_CR19","unstructured":"Lynch, N., Tuttle, M.: An Introdcution to Input\/Output Automata. CWI Quaterly\u00a03(2) (1989)"},{"key":"7_CR20","volume-title":"Special Issues in Object- Oriented Programming \u2013 Proceedings of WCOP 1996","year":"1997","unstructured":"M\u00fchlh\u00e4user, M. (ed.): Special Issues in Object- Oriented Programming \u2013 Proceedings of WCOP 1996. dpunkt Verlag, Heidelberg (1997)"},{"key":"7_CR21","unstructured":"OASIS Web Page, \n                    \n                      http:\/\/www.oasis-open.org\/committees\/wscm"},{"key":"7_CR22","unstructured":"Christian Salzmann Modellbasierter Entwurf spontaner Komponentensysteme. PhD Thesis Technische Universit\u00e4t M\u00fcnchen (2002)"},{"key":"7_CR23","unstructured":"Sch\u00e4tz, B.: Towards Service-Based Systems Engineering: Formalizing and mu- Checking Service Specifications. Tech. Report TUMI-0602, TU M\u00fcnchen (2002)"},{"key":"7_CR24","unstructured":"Stoelen, K., Dederichs, F., Weber, R.: Assumption\/Commitment Rules for Networks of Asynchronously Communicating Agents. Technical Report TUM-I9303, TU M\u00fcnchen (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:26:13Z","timestamp":1553318773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}