|
- 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 the ODP foundational concepts |
- 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.
Top
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.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.
- 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.
Top
- 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.
Top
- 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.
Top
Misc (applications, tools, etc.) |
- 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.
Top
Disclaimer: This page does not try to be
"the" official page of RM-ODP, but to provide a collection of
references and pointers to resources related to RM-ODP. Of course, this
list does to try to be exhaustive. If you think that some important
element is missing, please feel to send an e-mail to this
web site administrator,
who will be happy to include a new link to that element in this
page.
|
|