{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:06:12Z","timestamp":1725494772343},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662259"},{"type":"electronic","value":"9783540485216"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48521-x_16","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:36:16Z","timestamp":1194971776000},"page":"221-228","source":"Crossref","is-referenced-by-count":0,"title":["From Object-Process Diagrams to a Natural Object-Process Language"],"prefix":"10.1007","author":[{"given":"Mor","family":"Peleg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov","family":"Dori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"unstructured":"Ostroff, J.S.:Formal Methods for the Specification and Design of Real-Time Safety Critical Systems. The Journal of Systems and Software 18, 1, (1992) 33\u201360","key":"16_CR1"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/52.566430","volume":"1","author":"Luqi","year":"1997","unstructured":"Luqi and Goguen J.A.: Formal Methods: Promises and Problems. IEEE Software1 (1997) 73\u201385","journal-title":"IEEE Software"},{"issue":"9","key":"16_CR3","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian, F. and Mok, A.: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering Vol. SE-12,No. 9 (1986) 890\u2013904","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56283-4","volume-title":"Specifying Message Passing and Time Critical Systems With Temporal Logic","author":"R. Koymans","year":"1992","unstructured":"Koymans, R.:Specifying Message Passing and Time Critical Systems With Temporal Logic. Lecture Notes in Computer Science, Vol. 651. Springer-Verlag, Berlin Heidelberg New York (1992)"},{"issue":"4.","key":"16_CR5","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"J.L. Ostroff","year":"1990","unstructured":"Ostroff, J.L., and Wonham, W.M.: A Framework for Real-Time Discrete Event Control. IEEE Transactions on Automatic Control, 35, 4. (1990) 386\u2013397.","journal-title":"IEEE Transactions on Automatic Control"},{"doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming (1987) 231\u2013274.","key":"16_CR6","DOI":"10.1016\/0167-6423(87)90035-9"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/logcom\/5.2.227","volume":"5","author":"D. Dori","year":"1995","unstructured":"Dori D.: Object-Process Analysis: Maintaining the Balance between System Structure and Behavior. Journal of Logic and Computation. 5, 2 (1995) 227\u2013249.","journal-title":"Journal of Logic and Computation"},{"issue":"8","key":"16_CR8","first-page":"53","volume":"11","author":"M. Peleg","year":"1999","unstructured":"Peleg, M. and Dori, D.: Extending the Object-Process Methodology to Handle Real-Time Systems. Journal of Object-Oriented Programming 11, 8, (1999) 53\u201358.","journal-title":"Journal of Object-Oriented Programming"},{"unstructured":"Aho, A.V., Sethi, R. and Ullman, J.D.: Compilers\/Principles, Techniques, and Tools, Addison-Wesley, 1986.","key":"16_CR9"},{"issue":"num. 1","key":"16_CR10","first-page":"20","volume":"2","author":"D. Dori","year":"1996","unstructured":"Dori, D. and Goodman, M.: From Object-Process Analysis to Object-Process Design, Annals of Software Engineering, Vol. 2: Object-Oriented Software Engineering: Foundations and Techniques (1996) 20\u201325.","journal-title":"Annals of Software Engineering, Vol. 2: Object-Oriented Software Engineering: Foundations and Techniques"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information Technologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48521-X_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T02:30:48Z","timestamp":1551061848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48521-X_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662259","9783540485216"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48521-x_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}