{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:45:42Z","timestamp":1764053142935},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482741"},{"type":"electronic","value":"9783540482833"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11914952_41","type":"book-chapter","created":{"date-parts":[[2006,11,29]],"date-time":"2006-11-29T20:37:14Z","timestamp":1164832634000},"page":"1613-1632","source":"Crossref","is-referenced-by-count":18,"title":["Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services"],"prefix":"10.1007","author":[{"given":"Frank Alexander","family":"Kraemer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Herrmann","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":"41_CR1","doi-asserted-by":"crossref","unstructured":"Sanders, R.T., Castej\u00f3n, H.N., Kraemer, F.A., Br\u00e6k, R.: Using UML\u00a02.0 Collaborations for Compositional Service Specification. In: ACM \/ IEEE 8th International Conference on Model Driven Engineering Languages and Systems (2005)","DOI":"10.1007\/11557432_35"},{"key":"41_CR2","first-page":"206","volume-title":"Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES 2006)","author":"J.E.Y. Rosseb\u00f8","year":"2006","unstructured":"Rosseb\u00f8, J.E.Y., Br\u00e6k, R.: Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. In: Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES 2006), pp. 206\u2013215. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Castej\u00f3n, H.N., Br\u00e6k, R.: A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. In: ICSE\u2019s 5th Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006) (2006)","DOI":"10.1145\/1138953.1138962"},{"key":"41_CR4","unstructured":"Object Management Group: Unified Modeling Language: Superstructure Version\u00a02.0 (2005)"},{"key":"41_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","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, pp. 237\u2013256. Springer, Heidelberg (2005)"},{"issue":"2","key":"41_CR6","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S1389-1286(00)00089-X","volume":"34","author":"P. Herrmann","year":"2000","unstructured":"Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks\u00a034(2), 317\u2013337 (2000)","journal-title":"Computer Networks"},{"key":"41_CR7","unstructured":"Mester, A., Krumm, H.: Composition and Refinement Mapping based Construction of Distributed Applications. In: Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, BRICS (1995)"},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-39979-7_17","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"P. Herrmann","year":"2003","unstructured":"Herrmann, P.: Formal Security Policy Verification of Distributed Component-Structured Software. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 257\u2013272. Springer, Heidelberg (2003)"},{"key":"41_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11755593_9","volume-title":"Trust Management","author":"P. Herrmann","year":"2006","unstructured":"Herrmann, P.: Temporal Logic-Based Specification and Verification of Trust Models. In: St\u00f8len, K., Winsborough, W.H., Martinelli, F., Massacci, F. (eds.) iTrust 2006. LNCS, vol.\u00a03986, pp. 105\u2013119. Springer, Heidelberg (2006)"},{"key":"41_CR10","unstructured":"Br\u00e6k, R.: Unified System Modelling and Implementation. In: International Switching Symposium, Paris, France, pp. 1180\u20131187 (1979)"},{"key":"41_CR11","unstructured":"SISU II Project, http:\/\/www.sintef.no\/units\/informatics\/projects\/sisu\/"},{"issue":"1","key":"41_CR12","first-page":"73","volume":"95","author":"R. Br\u00e6k","year":"1997","unstructured":"Br\u00e6k, R., Gorman, J., Haugen, \u00d8., Melby, G., M\u00f8ller-Pedersen, B., Sanders, R.T.: Quality by Construction Exemplified by TIMe \u2014 The Integrated Methodology. Telektronikk\u00a095(1), 73\u201382 (1997)","journal-title":"Telektronikk"},{"key":"41_CR13","doi-asserted-by":"crossref","DOI":"10.1002\/0470841966","volume-title":"Systems Engineering with SDL: Developing Performance-Critical Communication System","author":"A. Mitschele-Thiel","year":"2001","unstructured":"Mitschele-Thiel, A.: Systems Engineering with SDL: Developing Performance-Critical Communication System. John Wiley & Sons, Inc., New York (2001)"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Current Trends in Concurrency. Overviews and Tutorials, 510\u2013584 (1986)","DOI":"10.1007\/BFb0027047"},{"key":"41_CR15","first-page":"73","volume-title":"SMARTNET 2000: Proceedings of the IFIP TC6 WG6.7 Sixth International Conference on Intelligence in Networks","author":"J. Floch","year":"2000","unstructured":"Floch, J., Br\u00e6k, R.: Towards Dynamic Composition of Hybrid Communication Services. In: SMARTNET 2000: Proceedings of the IFIP TC6 WG6.7 Sixth International Conference on Intelligence in Networks, Deventer, The Netherlands, pp. 73\u201392. Kluwer, B.V., Dordrecht (2000)"},{"key":"41_CR16","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, Inc., New York (1994)"},{"key":"41_CR17","unstructured":"ISO: ESTELLE: A Formal Description Technique Based on an Extended State Transition Model. International Standard ISO\/IEC 9074 edn. (1997)"},{"key":"41_CR18","unstructured":"ITU-T: Recommendation Z.100: Specification and Description Language (SDL) (2002)"},{"key":"41_CR19","unstructured":"Lim, S.B., Ferry, D.: JAIN SLEE 1.0 Specification, Final Release. Sun Microsytems, Inc. and Open Cloud Ltd. (2004)"},{"key":"41_CR20","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B.: JavaFrame \u2014 Framework for Java Enabled Modelling. In: Proceedings of Ericsson Conference on Software Engineering (2000)"},{"key":"41_CR21","series-title":"The BCS Practitioner Series","volume-title":"Engineering Real Time Systems: An Object-Oriented Methodology Using SDL","author":"R. Br\u00e6k","year":"1993","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. The BCS Practitioner Series. Prentice Hall International, Englewood Cliffs (1993)"},{"key":"41_CR22","unstructured":"Br\u00e6k, R., Husa, K.E., Melby, G.: ServiceFrame Whitepaper, Ericsson NorARC, Asker, Norway (2002)"},{"key":"41_CR23","unstructured":"Melby, G., Husa, K.E.: ActorFrame Developers Guide, Ericsson NorARC, Asker, Norway (2005)"},{"key":"41_CR24","unstructured":"Melby, G.: Using J2EE Technologies for Implementation of ActorFrame Based UML\u00a02.0 Models. Master\u2019s thesis, Agder University College, Grimstad, Norway (2003)"},{"key":"41_CR25","unstructured":"Kraemer, F.A., Samset, H.: Ramses User Guide. Avantel Technical Report 1\/2006, Department of Telematics, NTNU, Trondheim, Norway (2006)"},{"key":"41_CR26","unstructured":"Kraemer, F.A.: Rapid Service Development for Service Frame. Master\u2019s thesis, University of Stuttgart (2003)"},{"key":"41_CR27","unstructured":"St\u00f8yle, A.K.: Service Engineering Environment for AMIGOS. Master\u2019s thesis, Norwegian University of Science and Technology (2004)"},{"key":"41_CR28","unstructured":"Kraemer, F.A.: Profile for Service Engineering: Executable State Machines. Avantel Technical Report 2\/2006, Department of Telematics, NTNU, Trondheim, Norway (2006)"},{"key":"41_CR29","volume-title":"Specifying Systems","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems. Addison-Wesley, Reading (2002)"},{"key":"41_CR30","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/ISORC.2000.839515","volume-title":"Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC2K)","author":"G. Graw","year":"2000","unstructured":"Graw, G., Herrmann, P., Krumm, H.: Verification of UML-Based Real-Time System Designs by means of cTLA. In: Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC2K), Newport Beach, pp. 86\u201395. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"41_CR31","doi-asserted-by":"crossref","unstructured":"Herrmann, P., Krumm, H.: A Framework for the Hazard Analysis of Chemical Plants. In: Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000), Anchorage, pp. 35\u201341. IEEE CSS\/Omnipress (2000)","DOI":"10.1109\/CACSD.2000.900183"},{"key":"41_CR32","unstructured":"Lamport, L.: Refinement in State-Based Formalisms. Technical Report 1996-001, Digital Equipment Corporation, Systems Research Center, Palo Alto, California (1996)"},{"issue":"4","key":"41_CR33","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining Liveness. Information Processing Letters\u00a021(4), 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"key":"41_CR34","volume-title":"A Practical Theory of Reactive Systems","author":"R. Kurki-Suonio","year":"2005","unstructured":"Kurki-Suonio, R.: A Practical Theory of Reactive Systems. Springer, Heidelberg (2005)"},{"key":"41_CR35","unstructured":"Pitk\u00e4nen, R.: A Specification-Driven Approach for Development of Enterprise Systems. In: Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER 2004), Turku, Finland (2004)"},{"key":"41_CR36","unstructured":"Pitk\u00e4nen, R.: Tools and Techniques for Specification-Driven Software Development. PhD thesis, Tampere University of Technology (2006)"},{"key":"41_CR37","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"41_CR38","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: Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS) (2004)","DOI":"10.1145\/1062455.1062601"},{"key":"41_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11581741_4","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 25\u201340. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11914952_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:40:24Z","timestamp":1619509224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11914952_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482741","9783540482833"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/11914952_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}