{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:17Z","timestamp":1725484277318},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437031"},{"type":"electronic","value":"9783540478843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47884-1_18","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T20:46:26Z","timestamp":1179607586000},"page":"319-338","source":"Crossref","is-referenced-by-count":1,"title":["Combining Graphical and Formal Development of Open Distributed Systems"],"prefix":"10.1007","author":[{"given":"Einar B.","family":"Johnsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenhui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Owe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Demissie B.","family":"Aredo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. A. Agha","year":"1997","unstructured":"G. A. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1):1\u201372, Jan. 1997.","journal-title":"Journal of Functional Programming"},{"key":"18_CR2","series-title":"OECD Halden Reactor Project","volume-title":"Technical Report HWR-446","author":"T. Akerbaek","year":"1996","unstructured":"T. Akerbaek and M. Louka. The software bus, an object-oriented data exchange system. Technical Report HWR-446, OECD Halden Reactor Project, Institute for Energy Technology, Norway, Apr. 1996."},{"key":"18_CR3","unstructured":"D. B. Aredo, I. Traore, and K. Stlen. Towards a formalization of UML class structure in PVS. Research Report 272, Dept. of Informatics, Univ. of Oslo, 1999."},{"issue":"1","key":"18_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"18_CR5","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"1991","unstructured":"G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin-Cummings, Redwood City, CA, 1991."},{"key":"18_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, USA, 1999."},{"key":"18_CR7","unstructured":"J. Eiler. Critical safety function monitoring: an example of information integration. In Proceedings of the Specialists\u2019 Meeting on Integrated Information Presentation in Control Rooms and Technical Offices at Nuclear Power Plants (IAEA-I2-SP-384.38), pages 123\u2013133, Stockholm, Sweden, May 2000."},{"key":"18_CR8","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs, NJ, 1985."},{"key":"18_CR9","unstructured":"ITU Recommendation X.901-904 ISO\/IEC 10746. Open Distributed Processing-Reference Model parts 1-4. ISO\/IEC, July 1995."},{"key":"18_CR10","unstructured":"I. Jacobson, M. Christerson, P. Jonsson, and G. \u00d6vergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992."},{"key":"18_CR11","unstructured":"E. B. Johnsen and O. Owe. A PVS proof environment for OUN. Research Report 295, Department of informatics, University of Oslo, 2001."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"E. B. Johnsen and O. Owe. A compositional formalism for object viewpoints. In Proc. 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002). Kluwer Academic, 2002. To appear.","DOI":"10.1007\/978-0-387-35496-5_5"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"E. B. Johnsen, O. Owe, E. Munthe-Kaas, and J. Vain. Incremental fault-tolerant design in an object-oriented setting. In Proceedings of the Asian Pacific Conference on Quality Software (APAQS\u201901). IEEE press, Dec. 2001.","DOI":"10.1109\/APAQS.2001.990023"},{"key":"18_CR14","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing 74: Proceedings of the IFIP Congress 74, pages 471\u2013475. IFIP, North-Holland Publishing Co., Aug. 1974."},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-40011-7_32","volume-title":"Proceedings of UML 2000","author":"A. Kleppe","year":"2000","unstructured":"A. Kleppe and J. Warmer. Extending OCL to include actions. In A. Evans, S. Kent, and B. Selic, editors, Proceedings of UML 2000, volume 1939 of Lecture Notes in Computer Science, pages 440\u2013450, York, UK, Oct. 2000. Springer-Verlag."},{"key":"18_CR16","unstructured":"F. Kostiha. Establishment of an on-site infrastructure to facilitate integration of software applications at Dukovany NPP. In Proceedings of the Specialists\u2019 Meeting on Integrated Information Presentation in Control Rooms and Technical Offices at Nuclear Power Plants (IAEA-I2-SP-384.38), Stockholm, Sweden, May 2000."},{"issue":"3","key":"18_CR17","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"18_CR19","unstructured":"R. Milner. Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, May 1999."},{"key":"18_CR20","unstructured":"Object Management Group. UML Language Specification, version 1.4, Sept. 2001."},{"key":"18_CR21","unstructured":"O. Owe and I. Ryl. OUN: a formalism for open, object oriented, distributed systems. Research Report 270, Dept. of informatics, Univ. of Oslo, Aug. 1999."},{"issue":"2","key":"18_CR22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"S. Owre, J. Rushby, N. Shankar, and F. von Henke. Formal verification for faulttolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21(2):107\u2013125, Feb. 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR23","volume-title":"Technical Report 89-261","author":"D. L. Parnas","year":"1989","unstructured":"D. L. Parnas and Y. Wang. The trace assertion method of module interface specification. Technical Report 89-261, Department of Computing and Information Science, Queen\u2019s University at Kingston, Kingston, Ontario, Canada, Oct. 1989."},{"key":"18_CR24","volume-title":"Object-oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented Modeling and Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991."},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"18_CR26","unstructured":"I. Traore, D. B. Aredo, and K. Stlen. Formal development of open distributed systems: Towards an integrated framework. In Proc. Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (OOSDS\u201999), Paris, France, Sept. 1999."},{"key":"18_CR27","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Object Technology Series. Addison-Wesley, 1999."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47884-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:04:35Z","timestamp":1550347475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47884-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437031","9783540478843"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-47884-1_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}