{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:25Z","timestamp":1725664345521},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_124","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:00:40Z","timestamp":1330272040000},"page":"57-76","source":"Crossref","is-referenced-by-count":0,"title":["Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems"],"prefix":"10.1007","author":[{"given":"Carsta","family":"Petersohn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cornelis","family":"Huizing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem-Paul","family":"Roever","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"4_CR1","unstructured":"G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Technical report, Ecole Nationale Sup\u00e9rieur des Mines de Paris, 1988."},{"key":"4_CR2","unstructured":"A. Benveniste and G.Berry. The synchronous approach to reactive and real-time systems. In IEEE-Proceedings: Another look at Real-Time Programming, 1992."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"D. Harel. On visual formalisms. Communications of the ACM, 31:514\u2013530, 1988.","journal-title":"Communications of the ACM"},{"key":"4_CR4","first-page":"291","volume-title":"LNCS 600","author":"C. Huizing","year":"1991","unstructured":"C. Huizing and R. T. Gerth. Semantics of reactive systems in abstract time. In G. Rozenberg J.W. de Bakker, W.-P. de Rover, editor, Real-Time: Theory in Practice, proceedings of a REX workshpo, June 1991, LNCS 600, pages 291\u2013314. Springer Verlag, Berlin, Heidelberg, 1992, June 1991."},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE Transaction on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"4_CR6","unstructured":"Derek J. Hatley and Imtiaz A. Pirbhai. Strategies for Real-Time System Specification. Dorset House Publ. Co., 1988."},{"key":"4_CR7","unstructured":"Carsta Petersohn. Formalisierung reaktiver Systeme mit Transformationsschemata sowie ein Vergleich mit Activity-und Statecharts. Master's thesis, Christian-Albrechts-Universit\u00e4t zu Kiel, 1992."},{"key":"4_CR8","unstructured":"J. Peleska, C. Huizing, and C. Petersohn. A comparison of Ward&Mellor's TRANSFORMATION SCHEMA with STATE-&ACTIVITYCHARTS. submitted to IEEE Transaction on Software Engineerig, 1993."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"C. Petersohn, C. Huizing, J. Peleska, and W.-P. de Roever. Formal semantics for Ward & Mellor's TRANSFORMATION SCHEMAS. In D. Till, editor, Sixth Refinement Workshop of the BCS FACS Group. Springer Verlag, 1994.","DOI":"10.1007\/978-1-4471-3240-0_2"},{"key":"4_CR10","unstructured":"G. Plotkin. An operational semantics for csp. In In Proceedings of the IFIP Conference on the Formal Description of Programming Concepts II, North Holland, pages 199\u2013225, 1993."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Pnueli and M. Shalev. What is in a step: On semantics of statecharts. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lect. Notes in Comp. Sci., pages 244\u2013264. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_49"},{"issue":"2","key":"4_CR12","first-page":"198","volume":"SE-12","author":"P. T. Ward","year":"1986","unstructured":"Paul T. Ward. The Transformation Schema: An extension of the data flow diagram to represent control and timing. IEEE TSE, SE-12(2):198\u2013210, February 1986.","journal-title":"IEEE TSE"},{"key":"4_CR13","volume-title":"volume 1\u20133 of Yourdon Press Computing Series","author":"P. T. Ward","year":"1985","unstructured":"Paul T. Ward and Stephen J. Mellor. Structured Development for Real-Time Sysrems, volume 1\u20133 of Yourdon Press Computing Series. Prentice Hall, Englewood Cliffs, 1985."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"D.P. Wood and W.G. Wood. Comparative evatuations of specification methods for real-time systems. draft, September 1989.","DOI":"10.21236\/ADA219187"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_124.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:25Z","timestamp":1605648025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_124","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}