Contents






General



  • J.P. Almeida, R. Dijkman, L. Ferreira Pires, D. Quartel, M. van Sinderen ."Abstract interactions and interaction refinement in Model-Driven Design". In Proc. of the 9th International Enterprise Distributed Object Computing Confererence (EDOC'05), pages 273-286, Enschede, The Netherlands, IEEE Computer Society Press, September 2005.
  • C. Egyhazy, R. Mukherji, "Interoperability Architecture Using RM-ODP". Communications of the ACM 47(2):93-97, Feb. 2004.
  • H. Kilov. "Semantic interoperability: using RM-ODP to bridge communication gaps between stakeholders". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • P. Linington. "What Foundations does the RM-ODP Need?". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • O. Bernet, H. Kilov, "From box-and-line drawings to precise specifications: Using RM-ODP and GRM to specify semantics". In "Practical foundations of business system specifications". Edited by H. Kilov and K. Baclawski, Kluwer Academic Publishers, 2003, pp. 99-110.
  • T. Kudrass, "Describing architectures using RM-ODP". In "Practical foundations of business system specifications". Edited by H. Kilov and K. Baclawski, Kluwer Academic Publishers, 2003, pp. 231-244.
  • H. Kilov, "Business Models - A Guide for Business and IT". Prentice Hall, 2002.
  • P.F. Linington, W.F. Frank. "Specification and Implementation in ODP". In Proc. of of WOODPECKER'2001, Setúbal, Portugal, July, 2001.
  • P.F. Linington, "Distributed Systems, an ODP Perspective". In H.Bowman and J.Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, chapter 2, pages 18-35. Cambridge University Press, September 2001.
  • A. Vallecillo. "RM-ODP: The ISO Reference Model for Open Distributed Processing". DINTEL Edition on Software Engineering. No. 3. pp. 69-99. March 2001
  • H. Kilov, "Business specifications and RM-ODP". In Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 34), IEEE Press, 2000, pp. 411-420.
  • J. Putman. "Arquitecting with RM-ODP". Prentice-Hall PTR, 1st Edition, October 2000. ISBN# 0130191167.
  • H. Kilov, A. Ash, "On the structure of convincing specifications". In "Behavioral specifications of businesses and systems". Edited by H. Kilov, B. Rumpe and I. Simmonds, Kluwer Academic Publishers, 1999, pp. 141-160.
  • H. Kilov, M. Guttman. "ISO Reference Model for Open Distributed Processing: an informal introduction". Cutter Consortium (Distributed Computing Architecture Advisory Service) Executive Report, Vol. 2, No. 4 (April 1999). ISSN 1523-5912. (Contains an informal introduction — about 30 pages — to conconcepts, constructs, and approach of RM-ODP and GRM with examples. Includes eight case studies of RM-ODP usage in industry and a more detailed reference list. Intended for technical managers, analysts, specifiers, ...).
  • A. Herbert, "Annotated tour of RM-ODP". A presentation and commentary for the OMG/ODP workshop sponsored by APM and OMG in Cambridge, England, November 1997. ANSA, Cambridge, 1997.
  • K. Farooqui, L. Logrippo, J. de Meer. "The ISO Reference Model for Open Distributed Processing - An Introduction". Computer Networks and ISDN Systems, Special Issue on ODP, 1996.
  • R. Gotzhein "Towards a Basic Reference Model of Open Distributed Processing". Computer Networks and ISDN Systems, Special Issue on ODP, 1996.
  • P. Linington. "RM-ODP: The architecture". In K.Milosevic and L.Armstrong, editors, Open Distributed Processing II, pages 15-33. Chapman & Hall, 1995.
  • H. Christensen, E. Colban. "Information modeling in TINA-C". In Proc. of the Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling at OOPSLA'93 (ed. by H.Kilov and B.Harvey), pp. 23-27.

Formalization of ODP foundational concepts



  • A. Naumenko, A. Wegmann. " Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm". Computer Standards & Interfaces, Volume 29, Issue 1, pp. 39-53, Elsevier B.V., 2007.
  • Z. Diskin. "On Modeling, Mathematics, Category Theory and RM-ODP". In Proc. of of WOODPECKER'2001, Setúbal, Portugal, July, 2001.
  • A. Naumenko, A. Wegmann, G. Genilloud, W.F. Frank. "Proposal for a formal foundation of RM-ODP concepts". In Proc. of of WOODPECKER'2001, Setúbal, Portugal, July, 2001.
  • D.R. Johnson, H. Kilov. "An approach to a Z toolkit for the Reference Model of Open Distributed Processing. Computer Standards & Interfaces, 21(5):393-402, December 1999.
  • H. Kilov, P. Linington, J. Miller, K. Raymond, B. Wood. "Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language". In H.Kilov, B.Rumpe, I.Simmonds, eds., Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics, Atlanta, October 6th, 1997, pp. 115-118. (Munich University of Technology, TUM-I9737)
  • H. Kilov, K.P. Tyson. "Semantics Working Group Green Paper One". OMG Semantics Working Group. OMG Document Number ormsc/97-06-10r.
  • D.R. Johnson, H. Kilov. "Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs". In E.Najm and J.B.Stephani, editors, Procs. of FMOODS'96, pages 407-418. Chapman & Hall, Paris, March 1996.
  • H. Kilov, H. Mogill, I. Simmonds. "Invariants in the trenches". In H.Kilov and W.Harvey (eds.) Object-oriented behavioral specifications, Kluwer Academic Publishers, 1996, pp. 77-100.
  • D. Redberg. "The search for the linking invariant: behavioral modeling versus modeling behavior". In H.Kilov and W.Harvey (eds.) Object-oriented behavioral specifications, Kluwer Academic Publishers, 1996, pp. 241-264.
  • H. Bowman, J. Derrick, P. Linington, M. W. Steen. "FDTs for ODP". Computer Standards & Interfaces, 17:457-479, Sept. 1995.

About individual viewpoints



On the ODP Enterprise Viewpoint



  • F. Durán, A. Vallecillo. "Formalizing ODP Enterprise Specifications in Maude". Computer Standard & Interfaces 25(2):83-102, 2003.
  • E. Lupu, M. Sloman, N. Dulay, N. Damianou, "Ponder: Realising Enterprise Viewpoint Concepts", in Procs. of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), pages 66-75, Japan, IEEE Computer Society Press, September 2000.
  • M. W. Steen, J. Derrick. "ODP Enterprise Viewpoint Specification". Computer Standards & Interfaces, 22(3):165-189, August 2000.
  • M. W. Steen, J. Derrick. "Formalising ODP enterprise policies". In Proc. of the 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), Mannheim, Germany, IEEE Computer Society Press, September 1999.
  • P.J. Toussaint, A. R. Bakker, L. P. J.Groenewegen. "Constructing an enterprise viewpoint: evaluation of four business modelling techniques". Computer Methods and Programs in Biomedicine 55:11-30, 1997.

On the ODP Information Viewpoint



  • F. Durán, M. Roldán, A. Vallecillo. "Using Maude to Write and Execute ODP Information Viewpoint Specifications". To appear in Computer Standard & Interfaces, 2005.

On the ODP Computational Viewpoint



  • J.R. Romero, F. Durán, A. Vallecillo. "Writing and Executing ODP Computational Viewpoint Specifications using Maude". Computer Standard & Interfaces, 29(4):481-498, 2007
  • J.P. Almeida, M. van Sinderen, L. Ferreira Pires. "The role of the RM-ODP Computational Viewpoint Concepts in the MDA approach". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • R. Romero, A. Vallecillo. "Formalizing ODP Computational Specifications in Maude". In Proc. of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), pp. 212-223, Monterey, California, IEEE Computer Society Press, 20-24 September 2004. (slides)
  • R. Romero, A. Vallecillo. "Action Templates and Causalities in the ODP Computational Viewpoint". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004. (slides)
  • D.H. Akehurst, J. Derrick, A.G. Waters. "Addressing Computational Viewpoint Design". In Proc. of the 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), pp. 147-158, Brisbane, Australia, IEEE Computer Society Press, 16-19 September 2003.
  • A. Fevrier, E. Najm, J.B. Stefani. "Contracts for ODP". In Proc. of the 4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software. Towards a mathematical transformation-based development. May 21-23, 1997, Mallorca, Spain. LNCS. Springer-Verlag.
  • E. Najm, J.B. Stefani. "Computational Models for Open Distributed Systems". In In Proc. of 2nd IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'97), Canterbury, UK, Chapman & Hall, July 1997.
  • G. Coulson, G.S. Blair, J.B.Stefani, F.Horn, L.Hazard. "Supporting the Real-Time Requirements of Continuous Media in ODP" Computer Networks and ISDN Systems, Special Issue on ODP, 1996.
  • V. Gay, P. Leydekkers, R. Huis. "Specification of Multiparty Audio and Video Interaction based on the RM-ODP". Computer Networks and ISDN Systems, Special Issue on ODP, 1996.
  • E. Najm, J.B. Stefani. "A formal Semantics for the ODP Computational Model". Computer Networks and ISDN Systems, Special Issue on ODP, 1996.
  • R. Sinnot, K.J. Turner, "Specifying ODP Computational Objects in Z", In Proc. of FMOODS'96, pages 375-390, Paris, March 1996. Chapman & Hall.
  • E. Najm, J.B. Stefani. "A formal operational semantics for the ODP computational model". Computer Networks and ISDN Systems 27:1305-1329, 1995.

On ODP functions



  • L. Kutvonen, Supporting Global Electronic Commerce with ODP Tools. Trends in Electronic Commerce (TREC'98). II Volume. Hamburg, Germany, June 1998. dpunkt/Morgan Kauffman Publishing. pp. 43-56.
  • L. Kutvonen. "Trading services in open distributed environments". PhD Dissertation, 1998. Department of Computer Science, University of Helsinki.
  • P. Kahkipuro, L. Kutvonen, L. Marttinen, Federated naming in an ODP environment. Joint International Conference on Open Distributed Processing (ICODP) and Distributed Platforms (ICDP), May 1997. Publ. Chapman and Hall, pp. 314-326.
  • L. Kutvonen. "Overview of the DRYAD Trading System Implementation". In Proc. of the IFIP/IEEE International Conference on Distributed Platforms, pp. 314-326, new York, Chapman and Hall, 21-23 May 1996.
  • A. Beitz, M. Bearman. "An ODP Trading Service for DCE". In Proc. of the 1st International IEEE Workshop on Services in Distributed and Networked Environment (SDNE), pages 42-49, Prague, Czech Republic, 27-28 June 1995.
  • L. Kutvonen. "Achieving Interoperability through ODP Trading function" In Proc. of the 2nd International Symposium on Autonomous Decentralized systems (ISADS'95), pages 63-69, IEEE Computer Society Press, Arizona, 25-27 April 1995.

Viewpoint consistency



  • R. M. Dijkman, D.A.C. Quartel, L. ferreira Pires, M.J. van Sinderen."A Rigorous Approach to Relate Enterprise and Computational Viewpoints. In Proc. of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), pp. 187-200, Monterey, California, IEEE Computer Society Press, 20-24 September 2004.
  • H. Bowman, M. Steen, E. Boiten, J. Derrick. "A Formal Framework for Viewpoint Consistency". Formal Methods in System Design 21:111-166, September 2002.
  • K. Baclawski, M. Kokar, J. Smith, J. Letkowski. "Consistency checking of RM-ODP specifications". In Proc. of of WOODPECKER'2001, Setúbal, Portugal, July, 2001.
  • H. Bowman, J. Derrick, "Viewpoints modelling". In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 451-475. Cambridge University Press, September 2001.
  • E.A. Boiten, H. Bowman, J. Derrick, P.Linington, M.W. Steen."Viewpoint consistency in ODP". Computer Networks 34(3):503-537, August 2000.
  • E. Boiten, J. Derrick, H. Bowman, M. Steen, "Constructive consistency checking for partial specification in Z," Science of Computer Programming, 35(1):29-75, September 1999.
  • H. Bowman, E. Boiten, J. Derrick, M. Steen, "Strategies for consistency checking based on unification," Science of Computer Programming, 33:261-298, April 1999.
  • J. Derrick, E. Boiten, H. Bowman, M. Steen. "Viewpoints and consistency: translating LOTOS to Object-Z". Computer Standards & Interfaces 21:251–272, 1999.
  • C. Bernardeschi, J. Dustzadeh, A.Fantechi, E. Najm, A. Nimour, F. Olsen. "Consistent Semantics and Correct Transformations for the ODP Information and Computational Models". In Proc. of 2nd IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'97), Canterbury, UK, Chapman & Hall, July 1997.
  • C. Bernardeschi, J.Dustzadeh, A.Fantechi, E.Najm, A.Nimour, F.Olsen. "Transformations and consistent semantics for ODP viewpoints". In Proc. of 2nd IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'97), pages 371-386, Canterbury, UK, Chapman & Hall, July 1997.
  • E. Boiten, H. Bowman, J. Derrick, M. Steen, "Viewpoint consistency in Z and LOTOS: A case study," in proceedings FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, Springer-Verlag, LNCS 1313, September 1997.
  • J. Dustzadeh, E. Najm."Consistent Semantics for ODP Information and Computational Models". In Proc. of FORTE/PSTV'97, Osaka, Japan, Chapman & Hall, November 1997.
  • H. Bowman, J. Derrick, P. F. Linington, and M. Steen, "Cross viewpoint consistency in Open Distributed Processing," IEE Software Engineering Journal, 11:44-57, January 1996.
  • J. Derrick, H. Bowman, M. Steen. "Maintaining Cross Viewpoint Consistency Using Z". In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 413-424, Brisbane, Australia, February 1995. Chapman and Hall.

UML and ODP



  • J.R. Romero, A. Vallecillo."Modeling the ODP Computational Viewpoint with UML 2.0". In Proc. of the 9th International Enterprise Distributed Object Computing Confererence (EDOC'05), pages 169-180, Enschede, The Netherlands, IEEE Computer Society Press, September 2005.
  • F. Durán, J. Herrador, A. Vallecillo. "Using UML and Maude for Writing and Reasoning about ODP Policies". In Proc. of Policy 2003, pp. 15-25, Lake Como (Italy), June 2003. Copyright IEEE Computer Society Press. (slides).
  • D.H. Akehurst, B. Bordbar, J. Derrick, A.G. Waters. "Design Support for Distributed Systems: DSE4DS", In Proc. of 7th Cabernet Radicals Workshop, Bologna, Italy, October 2002.
  • B. Bordbar, J. Derrick, A.G. Waters. "Using UML to specify QoS constraints in ODP". Computer Networks and ISDN Systems 40:279–304, 2002.
  • B. Bordbar, J. Derrick, A.G. Waters. "A UML Approach to the Design of Open Distributed Systems". In Proc. of 4th International Conference on Formal Engineering Methods (ICFEM 2002), LNCS 2495, pp. 561-572, Shanghai, China, Springer-Verlag, October 2002.
  • A. Naumenko, "Triune Continuum Paradigm: a Paradigm for General System Modeling and its Application for UML and RM-ODP", Ph.D. Thesis, Swiss Federal Institute of Technology, Switzerland, 2002.
  • J.S. Garrison. "Business specifications: Using UML to specify the trading of foreign exchange options". In Proc. of the 10th OOPSLA orkshop on behavioral semantics. Eds. K. Baclawski and H.Kilov, Northeastern University, Boston, 2001, pp. 79-84.
  • S. Kent, "The Unified Modelling language". In Formal Methods for Distributed Processing. A Survey of Object-Oriented Approaches, Cambridge University Press. Chapter 7, pp. 126-152, 2001. Cambridge, England.
  • Object Management Group. "Relationship of the Unified Modelling language to the Reference Model of Open Distributed Processing". OMG document ormsc/2001-01-01, Version 1.4, January 2001.
  • J.Ø. Aagedal, Z. Milosevic: "ODP Enterprise Language: UML Perspective", In Proc. of the 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), Mannheim, Germany, IEEE Computer Society Press, September 1999.
  • M. Belaunde, J.M. Cornily, "Specifying Distributed Object Applications using the Reference Model for Open Distributed Processing and the Unified Modeling Language", In Proc. of the 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), Mannheim, Germany, IEEE Computer Society Press, September 1999.
  • X. Blanc, M.P. Gervais, R. Le-Delliou: "Using the UML Language to Express the ODP Enterprise Concepts". In Proc. of the 3rd International Enterprise Distributed Object Computing Conference (EDOC '99), Mannheim, Germany, IEEE Computer Society Press, September 1999.
  • P.F. Linington."Options for expressing ODP Enterprise Communities and their Policies by using UML". In Proc. of the 3rd International Enterprise Distributed Object Computing Confererence (EDOC'99), pages 72-82, Mannheim, Germany, IEEE Computer Society Press, September 1999.
  • J.Ø. Aagedal, A. Berre, "ODP-Based QoS-Support in UML," in proceedings First International Enterprise Distributed Object Computing Workshop (EDOC'97), 1997.
  • INTAP (Interoperability Technology Association for Information Processing), Japan. "A Guide for Using RM-ODP and UML Profile for EDOC". Document available at http://www.net.intap.or.jp/e/odp/intap-guide.pdf.

Misc (applications, tools, etc.)



  • Consultative Committee for Space Data Systems. Reference Architecture for Space Data Systems (RASDS). Red Book. CCSDS 311.0-R-1. January 2007.
  • G. Governatori, Z. Milosevic."Dealing with contract violations: formalism and domain specific language". In Proc. of the 9th International Enterprise Distributed Object Computing Confererence (EDOC'05), pages 46-57, Enschede, The Netherlands, IEEE Computer Society Press, September 2005.
  • C. Molina-Jimenez, S. Shrivastava, J. Warne."A method for specifying contract mediated interactions". In Proc. of the 9th International Enterprise Distributed Object Computing Confererence (EDOC'05), pages 46-57, Enschede, The Netherlands, IEEE Computer Society Press, September 2005.
  • D. Akehurst. "Proposal for a Model Driven Approach to Creating a Tool to Support the RM-ODP" In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • A.P. Gonçalves Serra, S.A. Vicente, D. Karam Jr, M. Martucci Jr. "Architecting frameworks for specific applications with RM-ODP". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • R. Le Delliou, N. Ploquin, M. Belaunde, R. Bendraou, L. Féraud. "A Model-Driven Approach for Information System Migration". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • L. Kutvonen. "Challenges for ODP-based infrastructure for managing dynamic B2B networks". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • Y. Nagase, D. Hashimoto, M. Sato. "Applying Model-Driven Development to Business Systems using RM-ODP and EDOC". In Proc. of the 1st International Workshop on ODP in the Enterprise Computing (WODPEC 2004), Monterey, California, 20 September 2004.
  • A. Picault, P. Bedu, J. Le Delliou, J. Perrin, B. Traverson "Specifying an Information System Architecture with DASIBAO". In Proceedings of the International Conference on Enterprise Information Systems (ICEIS 2004), Portugal, September 2004.
  • J.Ø. Aagedal, "Quality of Service Support in Development of Distributed Systems," PhD thesis, Department of Informatics, Faculty of Mathematics and Natural Sciences, The University of Oslo, 2001
  • X. Blanc, R. Le Delliou. "Information System architecture with RM-ODP: an on-the-field experience". In Proc. of of WOODPECKER'2001, Setúbal, Portugal, July, 2001.
  • C.A. Costa, J.A. Harding, R.I.M. Young. "The Application of UML and an Open Distributed Process Framework to Information System Design" Computers in Industry 46:33-48, 2001.
  • A. Naumenko, A. Wegman. "Conceptual Modelling of Complex Systems Using an RM-ODP based Ontology". In Proc. of the 5th IEEE International Enterprise Distributed Object Computing Conference (EDOC '01), Seattle, USA, IEEE Computer Society Press, September 2001.
  • Z. Stojanovic, A. Dahanayake, H. Sol. "Integration of Component-Based Development Concepts and RM-ODP Viewpoints". In Proc. of of WOODPECKER'2001, Setúbal, Portugal, July, 2001.
  • L.E. Sweeney, E.V. Kortright, R.J. Buckley. "Developing an RM-ODP-Based Architecture for the Defense Integrated Military Human Resources System". In Proc. of the WOODPECKER'2001 in conjunction with ICEIS'2001, pp. 110-123, Setúbal, Portugal, July 2001.
  • J. Hassall, J. Eaton, "Applying ISO RM-ODP in the specification of CORBA interfaces and semantics to general ledger systems". In "Behavioral specifications of businesses and systems". Edited by H. Kilov, B. Rumpe and I. Simmonds, Kluwer Academic Publishers, 1999, pp. 91-104.
  • G. Blair, L. Blair, H. Bowman, A. Chetwynd, "Formal Specification of Distributed Multimedia Systems". University College London Press, 1997.
  • G. Blair, L. Blair, J.B. Stefani. "A Specification architecture for Multimedia Systems in Open Distributed Processing". Computer Networks and ISDN Systems 29:473-500, 1997.
  • G. Blair, J.B. Stefani, "Open Distributed Processing and Multimedia" Addison Wesley, ISBN 0-201-17794-3, 1997.
  • M. Langer "Using ODP as a framework for CORBA-based distributed applications management". In Proc. of the IFIP/IEEE Joint International Conference on Open Distributed processing (ICODP) and Distributed Platforms (ICDP), Toronto, Canada, May 1997.
  • G.H. Genilloud "System management in OSI and in ODP". In PhD Thesis Towards a distributed architecture for systems management, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 1996.
  • G.H. Genilloud "Object-based modelling of distributed systems". In PhD Thesis Towards a distributed architecture for systems management, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 1996