{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:48Z","timestamp":1725559008559},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_20","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"281-297","source":"Crossref","is-referenced-by-count":4,"title":["A Compositional Approach to Service Validation"],"prefix":"10.1007","author":[{"given":"Jacqueline","family":"Floch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolv","family":"Br\u00e6k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"20_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"20_CR2","unstructured":"Alsnes, R.: Role Validation Tool, M.Sc. thesis NTNU (Spring 2004)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Boroday, S., Groz, R., Petrenko, A., Quemener, Y.-M.: Techniques for Abstracting SDL Specifications. In: SAM 2002(2002)","DOI":"10.1007\/3-540-36573-7_10"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1007\/3-540-48119-2_32","volume-title":"FM\u201999 - Formal Methods","author":"M. Charpentier","year":"1999","unstructured":"Charpentier, M., Chandy, K.M.: Towards a Compositional Approach to the Design and Verification of Distributed Systems. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 570\u2013589. Springer, Heidelberg (1999)"},{"key":"20_CR5","unstructured":"Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles, Doctoral thesis, Norwegian University of Science and Technology (2003), ISBN 82-471-5598-2"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Floch, J.: Supporting evolution and maintenance by using a flexible automatic code generator. In: Proc. of the 17th International Conference on Software Engineering (ICSE 1995), pp. 211\u2013219 (1995)","DOI":"10.1145\/225014.225034"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-45075-0_3","volume-title":"SDL 2003: System Design","author":"J. Floch","year":"2003","unstructured":"Floch, J., Br\u00e6k, R.: Using SDL for Modeling Behavior Composition. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 36\u201354. Springer, Heidelberg (2003)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45075-0_15","volume-title":"SDL 2003: System Design","author":"J. Floch","year":"2003","unstructured":"Floch, J., Br\u00e6k, R.: Using Projections for the Detection of Anomalous Behaviors. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 251\u2013268. Springer, Heidelberg (2003)"},{"issue":"5","key":"20_CR9","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01211911","volume":"8","author":"S. Graf","year":"1996","unstructured":"Graf, S., Steffen, B., L\u00fcttgen, G.: Compositional minimization of finite state machines using interface specifications. Formal Aspects of Computing\u00a08(5), 607\u2013616 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR10","unstructured":"Haugen, \u00d8., Br\u00e6k, R., Melby, G.: The SISU project. In: Proc. of the sixth SDL Forum (SDL 1993), pp. 479\u2013489 (1993)"},{"key":"20_CR11","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991), ISBN 0-13-539834-7"},{"key":"20_CR12","unstructured":"Korda, D.: Role Negotiation, M.Sc. thesis NTNU (Spring 2004)"},{"key":"20_CR13","unstructured":"ITU-T. Specification and Description Language (SDL). SDL-2000, ITU-T Recommendation Z.100 (11\/99) (1999)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Jin, Y., Lakos, C., Esser, R.: Component-based Design and Analysis: A Case Study. In: Proc. of the First International Conference on Software Engineering and Formal Methods, SEFM 2003 (2003)","DOI":"10.1109\/SEFM.2003.1236214"},{"key":"20_CR15","first-page":"11","volume-title":"Formal Methods in System Design","author":"C. Loiseaux","year":"1995","unstructured":"Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A., Bensalem, S.: Property Preserving Abstractions for the Verification of Concurrent Systems. In: Formal Methods in System Design, vol.\u00a06, pp. 11\u201344. Kluwer Academic Publishers, Dordrecht (1995)"},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering\u00a021(4), 717\u2013734 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"20_CR17","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Descriptions Languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Mezini, M., Lieberherr, K.: Adaptative Plug-and-Play Components for Evolutionary Software Development. In: Proc. of OOPSLA 1998, ACM SIGPLAN Notices, vol.\u00a033(10), pp. 97\u2013116 (1998)","DOI":"10.1145\/286942.286950"},{"key":"20_CR19","unstructured":"OMG. UML 2.0 specifications (2003) Information available at, http:\/\/www.omg.org\/uml (accessed March 2004)"},{"issue":"6","key":"20_CR20","first-page":"27","volume":"5","author":"T. Reenskaug","year":"1992","unstructured":"Reenskaug, T., Andersen, E.P., Berre, A.J., Hurlen, A.J., Landmark, A., Lehne, O.A., Nordhagen, E., Ness-Ulseth, E., Oftedal, G., Skar, A.L., Stenslet, P.: OORASS: Seamless support for the creation and maintenance of object oriented systems. Journal of object-oriented programming\u00a05(6), 27\u201341 (1992)","journal-title":"Journal of object-oriented programming"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-48213-X_5","volume-title":"SDL 2001: Meeting UML","author":"B. R\u00f6\u00dfler","year":"2001","unstructured":"R\u00f6\u00dfler, B., Geppert, B., Gotzheim, R.: Collaboration-based Design of SDL Systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 72\u201389. Springer, Heidelberg (2001)"},{"key":"20_CR22","unstructured":"Sanders, R., Br\u00e6k, R.: Modeling Peer-to-peer Service Goals in UML. In: Proc. of the Sixth International Conference on Software Engineering and Formal Methods, SEFM 2004 (2004)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Sanders, R.T., Br\u00e6k, R., von Bochmann, G., Amyot, D.: Service Discovery and Selection using Semantic Interfaces. In: Proc. of the 12th International SDL Forum, this conference (2005)","DOI":"10.1007\/11506843_6"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:33Z","timestamp":1605643413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11506843_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}