{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:56:58Z","timestamp":1743123418154,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214608"},{"type":"electronic","value":"9783642214615"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21461-5_20","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T13:25:36Z","timestamp":1307712336000},"page":"304-318","source":"Crossref","is-referenced-by-count":2,"title":["Contracts for Multi-instance UML Activities"],"prefix":"10.1007","author":[{"given":"Vidar","family":"Sl\u00e5tten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-642-03741-2_25","volume-title":"Algebra and Coalgebra in Computer Science","author":"S.S. Bauer","year":"2009","unstructured":"Bauer, S.S., Hennicker, R.: Views on behaviour protocols and their semantic foundation. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 367\u2013382. Springer, Heidelberg (2009)"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., Jezequel, J.M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. Computer\u00a032, 38\u201345 (1999)","journal-title":"Computer"},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","volume-title":"Proc. 30th Int. Design Automation Conf. DAC 1993","author":"K.T. Cheng","year":"1993","unstructured":"Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: Proc. 30th Int. Design Automation Conf. DAC 1993, pp. 86\u201391. ACM Press, New York (1993)"},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Guelfi, N., Mammar, A.: A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. In: Proc. 12th Asia-Pacific SE Conf., pp. 283\u2013290 (2005)","DOI":"10.1109\/APSEC.2005.7"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and models of concurrent systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Logics and models of concurrent systems, pp. 477\u2013498. Springer New York, Inc., Heidelberg (1985)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Holzmann, G., Peled, D.: An improvement in formal verification. In: Proc. 7th IFIP WG6.1 Int. Conf. on Formal Description Techniques, pp. 197\u2013211 (1995)","DOI":"10.1007\/978-0-387-34878-0_13"},{"key":"20_CR8","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-13464-7_3","volume-title":"Formal Techniques for Distributed Systems","author":"F.A. Kraemer","year":"2010","unstructured":"Kraemer, F.A., Herrmann, P.: Reactive Semantics for Distributed UML Activities. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010. LNCS, vol.\u00a06117, pp. 17\u201331. Springer, Heidelberg (2010)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-74984-4_11","volume-title":"SDL 2007: Design for Dependable Systems","author":"F.A. Kraemer","year":"2007","unstructured":"Kraemer, F.A., Br\u00e6k, R., Herrmann, P.: Synthesizing components with sessions from collaboration-oriented service specifications. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol.\u00a04745, pp. 166\u2013185. Springer, Heidelberg (2007)"},{"key":"20_CR11","unstructured":"Kraemer, F.A., Herrmann, P.: Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. In: Proc. Networking and Electronic Conf. (2007)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/978-3-642-04425-0_44","volume-title":"Model Driven Engineering Languages and Systems","author":"F.A. Kraemer","year":"2009","unstructured":"Kraemer, F.A., Herrmann, P.: Automated encapsulation of UML activities for incremental development and verification. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 571\u2013585. Springer, Heidelberg (2009)"},{"key":"20_CR13","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Engineering Support for UML Activities by Automated Model-Checking \u2014 An Example. In: Proc. 4th Int. Workshop on Rapid Integration of Software Engineering Techniques, RISE 2007 (2007)"},{"issue":"12","key":"20_CR14","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.jss.2009.06.057","volume":"82","author":"F.A. Kraemer","year":"2009","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software\u00a082(12), 2068\u20132080 (2009)","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"20_CR15","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst.\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"20_CR16","unstructured":"Lamport, L.: Refinement in state-based formalisms. Tech. rep., Digital Equipment Corporation, Systems Research Center, Palo Alto, California (1996)"},{"issue":"5","key":"20_CR17","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A Method to Synthesizing Sequential Circuits. Bell Systems Technical Journal\u00a034(5), 1045\u20131079 (1955)","journal-title":"Bell Systems Technical Journal"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2004.02.019","volume":"101","author":"V. Mencl","year":"2004","unstructured":"Mencl, V.: Specifying Component Behavior with Port State Machines. Electronic Notes in Theoretical Computer Science\u00a0101, 129\u2013153 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"20_CR19","unstructured":"OMG. Unified Modeling Language: Superstructure, Version 2.3 (2010)"},{"key":"20_CR20","series-title":"IFIP AICT","first-page":"65","volume-title":"Security and Protection in Information Processing Systems, ch. 5","author":"G. Rothmaier","year":"2004","unstructured":"Rothmaier, G., Poh, A., Krumm, H.: Analyzing Network Management Effects with Spin and cTLA. In: Security and Protection in Information Processing Systems, ch. 5. IFIP AICT, vol.\u00a0147, pp. 65\u201381. Springer, Heidelberg (2004)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Disappearing formal methods. In: Fifth IEEE International Symposim on High Assurance Systems Engineering, pp. 95\u201396 (2000)","DOI":"10.1109\/HASE.2000.895446"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","first-page":"1244","volume-title":"SDL 2005: Model Driven, ch. 6","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. 1244\u20131247. Springer, Heidelberg (2005)"},{"issue":"4","key":"20_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2004.08.046","volume":"127","author":"H. Storrle","year":"2005","unstructured":"Storrle, H.: Semantics and Verification of Data Flow in UML 2.0 Activities. Electronic Notes in Theoretical Computer Science\u00a0127(4), 35\u201352 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48153-2_6","volume-title":"Correct Hardware Design and Verification Methods","author":"Y. Yu","year":"1999","unstructured":"Yu, Y., Manolios, P., Lamport, L.: Model Checking TLA+ Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 54\u201366. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21461-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T09:06:46Z","timestamp":1686128806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}