{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:42Z","timestamp":1725559002372},"publisher-location":"Berlin, Heidelberg","reference-count":37,"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_16","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T01:58:08Z","timestamp":1279072688000},"page":"224-233","source":"Crossref","is-referenced-by-count":0,"title":["Model-Driven Development of Reactive Systems with SDL"],"prefix":"10.1007","author":[{"given":"Edel","family":"Sherratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Reconfigurable Ubiquitous Networked Embedded Systems, http:\/\/www.ist-runes.org\/introduction.html"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Chung, E., Hong, J.I., Lin, J., Prabaker, M.K., Landay, J.A., Liu, A.: Development and Evaluation of Emerging Design Patterns for Ubiquitous Computing. In: Proceedings of Designing Interactive Systems (DIS 2004), August 2004. ACM, New York (2004)","DOI":"10.1145\/1013115.1013148"},{"key":"16_CR3","unstructured":"Houghton, T.: Ubiquitous Services and Applications: Focus on what customers think, not what they say Eurescom Summit (2005) (to appear)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45075-0_4","volume-title":"SDL 2003: System Design","author":"P. Schaible","year":"2003","unstructured":"Schaible, P., Gotzhein, R.: Development of Distributed Systems with SDL by means of formalized APIs. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 55\u201376. Springer, Heidelberg (2003)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Communications of the ACM. Special Issue: The Disappearing Computer\u00a048(3) (March 2005)","DOI":"10.1145\/1047671.1047702"},{"key":"16_CR6","unstructured":"Harel, D., Feldman, Y.: Algorithmics: the Spirit of Computing. Pearson Education Limited (2004)"},{"key":"16_CR7","unstructured":"Mukerji, J., Miller, J. (eds.): MDA Guide Version 1.0.1 OMG omg\/03-06-01 (June 2003), available from http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"16_CR8","unstructured":"ITU-T Recommendation Z.100 (08\/02): Specification and Description Language (SDL), ITU-T (2002)"},{"key":"16_CR9","unstructured":"Reed, R.: SDL-2000 for New Millennium Systems, Free for download, at http:\/\/www.itu.int\/itudoc\/itu-t\/com17\/tutorial\/78255.html"},{"key":"16_CR10","unstructured":"Doldi, L.: SDL Illustrated: Visually design executable models, Laurent Doldi, or can be ordered in bookshops (2001), ISBN 2-9516600-0-6, available from http:\/\/www.tmso-systems.com"},{"key":"16_CR11","unstructured":"UML 2 working documents, OMG (2004), available from the OMG website, http:\/\/www.omg.org\/technology\/documents\/modeling_spec_catalog.htm#UML"},{"key":"16_CR12","unstructured":"Eriksson, H.-E., Penker, M., Lyons, B., Fado, D.: UML 2 Toolkit. Wiley Publishing Incl, Indianapolis, Indiana; OMG Press (2004)"},{"key":"16_CR13","unstructured":"Laurent Doldi: UML 2 Illustrated - Developing Real-Time and Communications Systems, Laurent Doldi, or can be ordered in bookshops (2003), ISBN 2-9516600-1-4, available from http:\/\/www.tmso-systems.com"},{"key":"16_CR14","unstructured":"ITU-T Recommendation, 109 (11\/99): SDL combined with UML, ITU-T (1999)"},{"key":"16_CR15","unstructured":"ITU-T Recommendation Z.109: SDL combined with UML, ITU-T (2005) (to appear)"},{"key":"16_CR16","volume-title":"Graphical Programming using UML and SDL","author":"M. Bj\u00f6rkander","year":"2000","unstructured":"Bj\u00f6rkander, M.: Graphical Programming using UML and SDL. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-31810-1_7","volume-title":"System Analysis and Modeling","author":"E. Sherratt","year":"2005","unstructured":"Sherratt, E.: SDL in a Changing World. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 96\u2013105. Springer, Heidelberg (2005)"},{"key":"16_CR18","unstructured":"Kreller, B., Hartmann, J.: The Field Trial Scenario of An Inter-Modal, End-To-End And Real-Time Tracking And Tracing System. In: 8th World Congress on Intelligent Transport Systems, Sydney, Australia (October 2001), available online, at http:\/\/www-i4.informatik.rwth-aachen.de\/parcelcall\/"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Felici, M., Filipe, J.K.: Inter disciplinary approaches to the design of dependable computer systems: Limits in modelling evolving computer-based systems. In: Proceedings of the 2002 ACM symposium on Applied computing (March 2002)","DOI":"10.1145\/508791.508928"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Bardram, J.E.: Applications of Context-Aware Computing in Hospital Work \u2013 Examples and Design Principles. In: Proceedings SAC 2004. ACM, New York (2004)","DOI":"10.1145\/967900.968215"},{"key":"16_CR21","unstructured":"Resource Aware Visualisation Environment, http:\/\/www.cs.cardiff.ac.uk\/user\/I.J.Grimstead\/RAVE"},{"key":"16_CR22","unstructured":"Welsh e-Science Centre\/Canolfan e-Wyddoniaeth Cymru: http:\/\/www.wesc.ac.uk\/"},{"key":"16_CR23","unstructured":"Tuecke, S., Czajkowski, K., Foster, I., Frey, J., Graham, S., Kesselman, C., Maguire, T., Sandholm, T., Vanderbilt, P., Snelling, D. (eds.): Open Grid Services Infrastructure (OGSI) Version 1.0. Global Grid Forum Draft Recommendation, June 27 (2003)"},{"key":"16_CR24","unstructured":"B\u00f6rger, E., Gotzhein, R. (Guest Eds.): Requirements engineering: the Light Control Case Study. Journal of Universal Computer Science, 6(7) (2000)"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-24634-3_16","volume-title":"Coordination Models and Languages","author":"C. Julien","year":"2004","unstructured":"Julien, C., Roman, G.-C.: Active Coordination in ad hoc Networks. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 199\u2013215. Springer, Heidelberg (2004)"},{"key":"16_CR26","series-title":"Prentice Hall Series in Computer Science","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall Series in Computer Science. Prentice Hall Europe, Englewood Cliffs (1998)"},{"key":"16_CR27","unstructured":"ITU-T Recommendation Z.120 (04\/04): Message Sequence Chart (MSC), ITU-T (2004)"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45075-0_4","volume-title":"SDL 2003: System Design","author":"S. Graf","year":"2003","unstructured":"Graf, S., Ober, I.: A Real Time Profile for UML and how to adapt it to SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 55\u201376. Springer, Heidelberg (2003)"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-31810-1_8","volume-title":"System Analysis and Modeling","author":"F. Khendek","year":"2005","unstructured":"Khendek, F., Lohr, C., Wang, L.X., Zhang, X.-J., Zheng, T.: Early validation of deployment and scheduling constraints for MSC specifications. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 106\u2013121. Springer, Heidelberg (2005)"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4) (October 1996)","DOI":"10.1145\/235321.235322"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-27863-4_4","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"I. Kr\u00fcger","year":"2004","unstructured":"Kr\u00fcger, I., Prenninger, W., Sandner, R., Broy, M.: Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 29\u201347. Springer, Heidelberg (2004)"},{"key":"16_CR32","unstructured":"Koethe, M.R.: MOF 2.0 XMI Convenience document OMG ptc\/04-06-11 (June 2004), available from http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/04-06-11"},{"key":"16_CR33","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering of Real Time Systems. Prentice-Hall, Englewood Cliffs (1993) (ISBN 13-034448-6)"},{"key":"16_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-31810-1_2","volume-title":"System Analysis and Modeling","author":"H. B\u00f6hme","year":"2005","unstructured":"B\u00f6hme, H., Fischer, J.: eODL and SDL in combination for components in Daniel Amyot. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 17\u201332. Springer, Heidelberg (2005)"},{"key":"16_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-31810-1_4","volume-title":"System Analysis and Modeling","author":"J. Dorsch","year":"2005","unstructured":"Dorsch, J., Ek, A., Gotzhein, R.: SPT \u2013 the SDL Pattern Tool. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"16_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-36573-7_11","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"A. Metzger","year":"2003","unstructured":"Metzger, A., Queins, S.: Model-based generation of SDL Specifications for the Early Prototyping of Reactive Systems. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 158\u2013169. Springer, Heidelberg (2003)"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Toeroe, M., Zhu, J., Leung, V.C.: SDL specification and verification of universal personal computing with ObjectGEODE. In: Proceedings IFIP 1997. Chapman Hall, Boca Raton (1997)","DOI":"10.1007\/978-0-387-35394-4_17"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T10:37:21Z","timestamp":1635676641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/11506843_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}