{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:33:27Z","timestamp":1743114807144,"version":"3.40.3"},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_2","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"14-41","source":"Crossref","is-referenced-by-count":5,"title":["Formal Semantics for Ward & Mellor\u2019s Transformation Schemas"],"prefix":"10.1007","author":[{"given":"Carsta","family":"Petersohn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem-Paul","family":"de Roever","sequence":"additional","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"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Proceedings Real-Time Systems Symposium","author":"J-L Bergerand","year":"1985","unstructured":"J.-L. Bergerand, P. Caspi, and N. Halbwachs. Outline of a real-time data flow language. In Proceedings IEEE Real-Time Systems Symposium, 1985."},{"key":"2_CR2","volume-title":"Proceedings Another Look at Real Time Programming","author":"A Benveniste","year":"1992","unstructured":"A. Benveniste and G. Berry The Synchronous Approach to Reactive and Real-Time Systems, in IEEE-Proceedings \u201cAnother Look at Real-Time Programming\u201d, 1992."},{"key":"2_CR3","volume-title":"The esterel synchronous programming language: Design semantics implementation","author":"G Berry","year":"1988","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":"2_CR4","volume-title":"Prentice Hall","author":"M Alan","year":"1990","unstructured":"Alan M. Davis Software Requirements: analysis and specification, Prentice-Hall, 1990."},{"key":"2_CR5","first-page":"514","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"},{"issue":"4","key":"2_CR6","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. Stalemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 (4): 403\u2013414, April 1990.","journal-title":"Transactions on Software Engineering"},{"key":"2_CR7","volume-title":"On the semantics of reactive systems","author":"C Huizing","year":"1989","unstructured":"C. Huizing and R. Gerth. On the semantics of reactive systems. Technical report, Eindhoven University of Technology, 1989."},{"key":"2_CR8","volume-title":"Co","author":"J Hatley","year":"1988","unstructured":"Derek J. Hatley and Imtiaz A. Pirbhai Strategies for Real-Time System Specification, Dorset House Publ. Co., 1988."},{"key":"2_CR9","first-page":"271","volume-title":"Proc","author":"C Huizing","year":"1988","unstructured":"C. Huizing, R. Gerth, and W.-P. de Roever. Modelling statecharts behaviour in a fully abstract way. In Proc. 13th CAAP, LNCS 299, pages 271\u2013294, 1988."},{"key":"2_CR10","first-page":"54","volume-title":"Proceedings Symposium on Logic in Computer Science","author":"D Harel","year":"1987","unstructured":"D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic\n                           in\n                           Computer Science, pages 54\u201364, 1987."},{"key":"2_CR11","volume-title":"Addison-Wesley (Deutschland) Gmb H","author":"JE Hoperoft","year":"1988","unstructured":"Hoperoft, J.E. Einf\u00fchrung in die Automatentheorie, Formale Sprachen und Komplexit\u00e4tstheorie. Addison-Wesley (Deutschland) GmbH (1988)."},{"key":"2_CR12","first-page":"600","volume-title":"Theory in Practice, proceedings of a REX workshop, June Mook","author":"C Huizing","year":"1992","unstructured":"C. Huizing and R.T. Gerth Semantics of Reactive Systems in Abstract Time, in \u201cReal-Time: Theory in Practice\u201d, proceedings of a REX workshop, June 1991, Mook, edited by J.W. de Bakker, W.-P. de Roever, G. Rozenberg, LNCS 600, Springer Verlag, Berlin, Heidelberg, 1992."},{"key":"2_CR13","volume-title":"Prentice-Hall International series in computer science","author":"B Cliff","year":"1986","unstructured":"Cliff B. Jones Systematic Software Development Using VDM. Prentice-Hall International series in computer science (1986)."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Peleska] Jan Peleska. Design and Verification of Fault Tolerant Systems using CSP,Distributed Computing, 1991.","DOI":"10.1007\/BF02259751"},{"key":"2_CR15","volume-title":"Transformation Schema with Statecharts","author":"C Petersohn","year":"1992","unstructured":"C. Petersohn, C. Hiuzing, J. Peleska. Comparison of WardeMellor\u2019s TRANSFORMATION SCHEMA with STATECHARTS., Technical report, Christian-Albrechts-Universit\u00e4t Kiel, 1992. submitted."},{"key":"2_CR16","doi-asserted-by":"crossref","DOI":"10.21236\/ADA232045","volume-title":"Survey of Formal Specification Techniques for Reactive Systems Technical Report","author":"PRH Place","year":"1990","unstructured":"P.R.H. Place, W.G. Wood and M. Tudball, Survey of Formal Specification Techniques for Reactive Systems, Technical Report, Software Engineering Inst., CMU 1990."},{"key":"2_CR17","unstructured":"Plotkin, G. An operational semantics for CSP. In Proceedings of the IFIP Conference on the Formal Description of Programming Concepts II, North Holland (1983) pp. 199\u2013225."},{"key":"2_CR18","volume-title":"What is in a step. Technical report, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot","author":"A Pnueli","year":"1988","unstructured":"A. Pnueli and M. Shalev. What is in a step. Technical report, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel, 1988, Draft."},{"key":"2_CR19","unstructured":"Pt92] Carsta Petersohn Modellierung reaktiver Systeme mit Transformationsschema und ein Vergleich mit Activity-und Statecharts,Master\u2019s thesis, report, Christian\u2014Albrechts\u2014Universit\u00e4t zu Kiel, 1992."},{"key":"2_CR20","volume-title":"Febr","author":"T Paul","year":"1986","unstructured":"Paul T. Ward, The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing, IEEE TSE, Vol. SE-12, No. 2, pp. 198\u2013210, Febr. 1986."},{"key":"2_CR21","volume-title":"Mellor Structured Development for Real-Time Systems","author":"PT Ward","year":"1985","unstructured":"Paul T. Ward and Stephen J. Mellor Structured Development for Real-Time Systems (3 vols), Yourdon Press Computing Series, Prentice-Hall, Englewood Cliffs, 1985."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"D.P. Wood and W.G. Wood Comparative Evaluations of Specification Methods for Real-Time Systems, draft, September 1989.","DOI":"10.21236\/ADA219187"}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:19:27Z","timestamp":1676755167000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}