{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:59Z","timestamp":1725566879870},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_35","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"460-475","source":"Crossref","is-referenced-by-count":18,"title":["Using UML 2.0 Collaborations for Compositional Service Specification"],"prefix":"10.1007","author":[{"given":"Richard Torbj\u00f8rn","family":"Sanders","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Humberto Nicol\u00e1s","family":"Castej\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank Alexander","family":"Kraemer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolv","family":"Br\u00e6k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31810-1_16","volume-title":"System Analysis and Modeling","author":"R. Br\u00e6k","year":"2005","unstructured":"Br\u00e6k, R., Floch, J.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, Springer, Heidelberg (2005)"},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/11506843_6","volume-title":"SDL 2005: Model Driven","author":"R.T. Sanders","year":"2005","unstructured":"Sanders, R.T., Br\u00e6k, R., von Bochmann, G., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 85\u2013102. Springer, Heidelberg (2005)"},{"key":"35_CR3","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":"F. R\u00f6\u00dfler","year":"2001","unstructured":"R\u00f6\u00dfler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, p. 72. Springer, Heidelberg (2001)"},{"key":"35_CR4","unstructured":"Sanders, R.T., Br\u00e6k, R.: Discovering service opportunities by evaluating service goals. In: Proc. of the 10th EUNICE and IFIPWorkshop on Advances in Fixed and Mobile Networks, Tampere, Finland (2004)"},{"key":"35_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11506843_24","volume-title":"SDL 2005: Model Driven","author":"H.N. Castej\u00f3n","year":"2005","unstructured":"Castej\u00f3n, H.N.: Synthesizing state-machine behaviour from UML collaborations and Use Case Maps. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 339\u2013359. Springer, Heidelberg (2005)"},{"key":"35_CR6","unstructured":"Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Dep. of Telematics, Norwegain Univ. Sci. and Tech., Trondheim, Norway (2003)"},{"key":"35_CR7","unstructured":"Object Management Group: UML 2.0 Superstructure Specification (2004)"},{"key":"35_CR8","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)","edition":"2"},{"key":"35_CR9","volume-title":"IFIP 5th Int. Conf. on Intelligence in Networks (SMARTNET)","author":"R. Br\u00e6k","year":"1999","unstructured":"Br\u00e6k, R.: Using roles with types and objects for service development. In: IFIP 5th Int. Conf. on Intelligence in Networks (SMARTNET), Pathumthani, Thailand, Kluwer, Dordrecht (1999)"},{"key":"35_CR10","volume-title":"Proc. of the 2nd Int. Conf. on Soft. Eng. and Formal Methods (SEFM 2004)","author":"R.T. Sanders","year":"2004","unstructured":"Sanders, R.T., Br\u00e6k, R.: Modeling peer-to-peer service goals in UML. In: Proc. of the 2nd Int. Conf. on Soft. Eng. and Formal Methods (SEFM 2004), IEEE Computer Society, Los Alamitos (2004)"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Mencl, V.: Specifying component behavior with port state machines. Electr. Notes Theor. Comput. Sci, vol.\u00a0101, pp. 129\u2013153 (2004)","DOI":"10.1016\/j.entcs.2004.02.019"},{"key":"35_CR12","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11506843_20","volume-title":"SDL 2005: Model Driven","author":"J. Floch","year":"2005","unstructured":"Floch, J., Br\u00e6k, R.: A compositional approach to service validation. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, Springer, Heidelberg (2005)"},{"key":"35_CR14","unstructured":"Diethelm, I., Geiger, L., Maier, T., Z\u00fcndorf, A.: Turning collaboration diagram strips into storycharts. In: Workshop on Scenarios and state machines: models, algorithms, and tools; ICSE 2002, Orlando, Florida, USA (2002)"},{"key":"35_CR15","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2003)"},{"key":"35_CR16","unstructured":"ITU-T Draft Recommendation Z.152: URN - Use Case Maps notation (UCM) (2004)"},{"key":"35_CR17","unstructured":"ITU-T Recommendation Z.120: Message Sequence Charts (MSC) (2004)"},{"key":"35_CR18","volume-title":"Object-Oriented Software Engineering: A Case Driven Approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I., Christerson, M., Jonsson, P., \u00d8vergaard, G.: Object-Oriented Software Engineering: A Case Driven Approach. Addison-Wesley, Reading (1992)"},{"key":"35_CR19","unstructured":"ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002)"},{"key":"35_CR20","unstructured":"International Organization for Standardization (ISO): Estelle: a formal description technique based on an extended state transition model. ISO9074 (1989)"},{"key":"35_CR21","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program\u00a08, 231\u2013274 (1987)","journal-title":"Sci. Comput. Program"},{"key":"35_CR22","volume-title":"Proc. of the 3rd Int. Conference on Very Large Data Bases","author":"C.W. Bachman","year":"1977","unstructured":"Bachman, C.W., Daya, M.: The role concept in data models. In: Proc. of the 3rd Int. Conference on Very Large Data Bases, Tokyo, Japan, IEEE Computer Society, Los Alamitos (1977)"},{"key":"35_CR23","volume-title":"Working with Objects: The OOram Software Engineering Method","author":"T. Reenskaug","year":"1996","unstructured":"Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"35_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36573-7_1","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"F. R\u00f6\u00dfler","year":"2003","unstructured":"R\u00f6\u00dfler, F., Geppert, B., Gotzhein, R.: CoSDL: An experimental language for collaboration specification. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 1\u201320. Springer, Heidelberg (2003)"},{"key":"35_CR25","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B.: The fine arts of service modeling. Technical report, Internal report. ARTS (2003), http:\/\/www.pats.no\/projects\/ARTS\/arts.html"},{"key":"35_CR26","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML\/RT in the FUJABA real-time tool suite. In: Proc. of the Int. Workshop on Specification and Vaildation of UML models for Real Time and embedded Systems (SVERTS), associated with UML2004, Lisbon, Portugal (2004)","DOI":"10.1145\/1062455.1062601"},{"key":"35_CR27","unstructured":"Alsnes, R.: Role validation tool. Master\u2019s thesis, NTNU (2004)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:14Z","timestamp":1619507354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11557432_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}