The ISO reference model for open distributed processing: an introduction
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Supporting the real-time requirements of continuous media in open distributed processing
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
A design model for open distributed processing systems
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Towards a basic reference model of open distributed processing
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
A formal semantics for the ODP computational model
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Computer Standards & Interfaces - Special issue on formal description techniques
Using ODP as a framework for CORBA-based distributed applications management
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
Federated naming in an ODP environment
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
A specification architecture for multimedia systems in open distributed processing
Computer Networks and ISDN Systems - Special issue: specification architecture
Computational models for open distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Improving the development and validation of viewpoint specifications
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Transformations and consistent semantics for ODP viewpoints
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Strategies for consistency checking based on unification
Science of Computer Programming
Viewpoints and consistency: translating LOTOS to Object-z
Computer Standards & Interfaces
Constructive consistency checking for partial specification
Science of Computer Programming
An approach to Z toolkit for the reference model of open distributed processing
Computer Standards & Interfaces
ODP enterprise viewpoint specification
Computer Standards & Interfaces
Computer Networks: The International Journal of Computer and Telecommunications Networking
Formal Specifications of Distributed Multimedia Systems
Formal Specifications of Distributed Multimedia Systems
Open Distributed Processing and Multimedia
Open Distributed Processing and Multimedia
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems
Distributed systems, an ODP perspective
Formal methods for distributed processing
Formal methods for distributed processing
Object-Oriented Behavioral Specifications
Object-Oriented Behavioral Specifications
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Applying ODP Enterprise Viewpoint Language to Hospital Information System
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Tool Support for Development Using Patterns
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Dynamic Conflict Detection in Policy-Based Management Systems
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Discretionary Enforcement of Electronic Contracts
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
On Expressing and Monitoring Behaviour in Contracts
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Automated Management of Inter-Organisational Applications
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Meta-Modeling for Distributed Object Environments
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Ponder: Realising Enterprise Viewpoint Concepts
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
Towards an ODP-Compliant Object Definition Language with QoS-Support
IDMS '98 Proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Modeling an OMG-MASIF Compliant Mobile Agent Platform with the RM-ODP Engineering Language
MATA '00 Proceedings of the Second International Workshop on Mobile Agents for Telecommunication Applications
Consistent Semantics for ODP Information and Computational Models
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
A UML Approach to the Design of Open Distributed Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Specifying Multimedia Binding Objects in Z
TreDS '96 Proceedings of the International Workshop on Trends in Distributed Systems: CORBA and Beyond
Global Trader in Open Service Markets
TreDS '96 Proceedings of the International Workshop on Trends in Distributed Systems: CORBA and Beyond
Towards Security in an Open Systems Federation
ESORICS '92 Proceedings of the Second European Symposium on Research in Computer Security
Business Rules: From Business Specification to Design
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange
NOSSDAV '95 Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video
Proposal for a formal foundation of RM-ODP concepts
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Specification and Implementation in ODP
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Developing an RM-ODP-Based Architecture for the Defense Integrated Military Human Resources System
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Integration of Component-Based Development Concepts and RM-ODP Viewpoints
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Writing ODP Enterprise Specifications in Maude
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Consistency Checking of RM-ODP Specifications
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
On Modeling, Mathematics, Category Theory and RM-ODP
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Information System architecture with RM-ODP: an on-the-field experience
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Using Z in Communications Engineering
Proceedings of the Z User Workshop
Different FDT's Confronted with Different ODP-Viewpoints of the Trader
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Viewpoint Consistency in Z and LOTOS: A Case Study
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Federating Traders: An ODP Adventure
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II
An ODP approach to the development of large middleware systems
Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
The Specifications Exchange Service of an RM-ODP Framework
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Using UML and Maude for Writing and Reasoning about ODP Policies
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Using Policies in the Checking of Business to Business Contracts
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Modelling Virtual Enterprises and the Character of Their Interactions
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
Business Specifications and RD-ODP
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Inter-enterprise contract architecture for open distributed systems: security requirements
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
A Case Study in Partial Specification: Consistency and Refinement for Object-Z
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Business Models: A Guide for Business and IT
Business Models: A Guide for Business and IT
SIMOD - An ODP-extended Role-Modeling Methodology for Distributed
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1
Identifying requirements for Business Contract Language: a Monitoring Perspective
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Addressing Computational Viewpoint Design
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Interoperability architecture using RM-ODP
Communications of the ACM - Information cities
Practical Foundations of Business System Specifications
Practical Foundations of Business System Specifications
11th OOPSLA workshop on behavioral semantics: serving the customer
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Logical Viewpoint on Architectures
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Strong and Flexible Domain Typing for Dynamic E-Business
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Formalizing ODP Computational Viewpoint Specifications in Maude
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Supporting Viewpoint-Oriented Enterprise Architecture
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
A Method for Specifying Contract Mediated Interactions
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Modeling the ODP Computational Viewpoint with UML 2.0
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Abstract Interactions and Interaction Refinement in Model-Driven Design
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
From trading to eCommunity population: Responding to social and contractual challenges
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Translating business contract into compliant business processes
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
What applying of the ODP viewpoints teaches us about tool-chains
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
A Basis for Constructing and Evaluating Design Concepts
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Addressing interoperability in e-health: an Australian approach
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
On the Foundation for Roles in RM-ODP: Contributions from Conceptual Modelling
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Case study on RM-ODP and Enterprise Architecture
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Requirements for ODP Enterprise Architecture Tools
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Using the ODP reference model for Enterprise Architecture
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Black Cats and Coloured Birds - What do Viewpoint Correspondences Do?
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Study on representation of security aspects in each viewpoint using UML for ODP
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Linking Requirements To Enterprise Viewpoint Specifications Using Correspondence Rules
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Proposal for Defining a Generic Viewpoint in RM-ODP
EDOCW '07 Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop
Mechanisms for communication between business and IT experts
Computer Standards & Interfaces
Case Study on Human/System Interaction Specification using UML for ODP
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Change Management in Multi-Viewpoint System Using ASP
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Well-formed Rules for Viewpoint Correspondences Specification
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
A Comparison Study of Viewpoint Approaches in Service Enterprise Architecture
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
How Viewpoints relate to Model Transformations, Configurations and Conformance
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
An architecture for next generation middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Type checking stream flow endpoints
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
The Stereochemistry of Enterprise Objects
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
Reflective Federation of Enterprises in Open Service Ecosystem
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing
Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing
UML formal semantics: lessons learned
Software and Systems Modeling (SoSyM)
An ontology for ISO software engineering standards: 1) Creating the infrastructure
Computer Standards & Interfaces
Hi-index | 0.00 |
This paper provides an editorial introduction to the current special issue on Open Distributed Processing. It looks back over the development of the ODP standards and at the way in which they have been used, and looks forward at the way current activities are progressing. It contains a broad bibliography covering ODP standards, related research work and application case studies.