Viewpoint consistency in ODP

No abstract is available for this paper.

• Publication year

  2000

• Venue

  Comput. Networks

• Publication date

  2000-09-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/S1389-1286(00)00114-6
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Formal Framework for Viewpoint Consistency

  2002cited by this paper
• A Multi-Perspective Framework for Method Integration

  2001cited by this paper
• A case study in partial specification: consistency and refinement for Object-Z

  2000cited by this paper
• Signalling System No

  1999cited by this paper
• Constructive Consistency Checking for Partial Specification in Z

  1999cited by this paper
• Specification and Description Language (SDL)

  1999cited by this paper
• Strategies for Consistency Checking Based on Unification

  1999cited by this paper
• Formalising ODP enterprise policies

  1999cited by this paper
• Applying the UML to the ODP Enterprise Viewpoint

  1999cited by this paper
• Viewpoints and consistency: translating LOTOS to Object-z

  1999cited by this paper
• More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement

  1998cited by this paper
• Consistency and composition of process specifications

  1998cited by this paper
• Specifying and Refining Internal Operations in Z

  1998cited by this paper
• IO-refinement in Z

  1998cited by this paper
• Computational models for open distributed systems

  1997cited by this paper
• A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems

  1997cited by this paper
• Refinement and verification of concurrent systems specified in Object-Z and CSP

  1997cited by this paper
• Invited Paper — Computational models for open distributed systems

  1997cited by this paper
• Viewpoint consistency in ODP, a general interpretation

  1997cited by this paper
• Open Distributed Processing and Multimedia

  1997cited by this paper
• Supporting ODP - Translating LOTOS to Z

  1997cited by this paper
• CSP-OZ: a combination of object-Z and CSP

  1997cited by this paper
• Transformations and consistent semantics for ODP viewpoints

  1997influential reference
• Z Unification Tools in Generic Formaliser

  1997cited by this paper
• of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 Coupling Schemas : Data Refinement and View ( point ) Composition

  1997cited by this paper
• Consistent Semantics for ODP Information and Computational Models

  1997cited by this paper
• Managing interference

  1996cited by this paper
• An approach to conceptual feedback in multiple viewed software requirements modeling

  1996cited by this paper
• Cross-viewpoint consistency in open distributed processing

  1996cited by this paper
• Integrating Action Systems and Z in a Medical System Specification

  1996cited by this paper
• Using Z - specification, refinement, and proof

  1996cited by this paper
• A Structure Preserving Encoding of Z in Isabelle/HOL

  1996cited by this paper
• Formal validation of viewpoint specifications

  1996cited by this paper
• Combining Statecharts and Z for the Design of Safety-Critical Control Systems

  1996cited by this paper
• Consistency management for multiple perspective software development

  1996cited by this paper
• Where Do Operations Come From: A Multiparadigm Specification Technique

  1996cited by this paper
• Comparing LOTOS and Z Refinement Relations

  1996cited by this paper
• Merging behavior specifications

  1995cited by this paper
• Implementing Z in Isabelle

  1995cited by this paper
• Object-Z: a specification language advocated for the description of standards

  1995cited by this paper
• Applying formal methods to standard development: the open distributed processing experience

  1995cited by this paper
• Viewpoints and Objects

  1995cited by this paper
• Structuring Z specifications with views

  1995cited by this paper
• A software design framework or how to support real designers

  1995cited by this paper
• RM-ODP: The Architecture

  1995cited by this paper
• Program Construction by Parts

  1995cited by this paper
• Some Results on Cross Viewpoint Consistency Checking

  1995cited by this paper
• Reference Model of Open Distributed Processing (RM-ODP): Introduction

  1995cited by this paper
• FDTs for ODP

  1995cited by this paper
• ZUM '95: The Z Formal Specification Notation

  1995cited by this paper
• Specification of Multiparty Audio and Video Interaction Based on the Reference Model of Open Distributed Processing

  1995cited by this paper
• Composition of LOTOS specifications

  1995cited by this paper
• Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling

  1994cited by this paper
• Inconsistency Handling in Multperspective Specifications

  1994cited by this paper
• Z and HOL

  1994cited by this paper
• Inconsistency Handling in Multiperspective Specifications

  1994cited by this paper
• Viewpoint specification and Z

  1994cited by this paper
• A Language for the Specification of Interactive and Distributed Multimedia Applications

  1993cited by this paper
• Conjunction as composition

  1993influential reference
• Different FDT's Confronted with Different ODP-Viewpoints of the Trader

  1993cited by this paper
• Viewpoint Transformation

  1993cited by this paper
• Applying multiple views to information systems: a preliminary framework

  1993cited by this paper
• Telecommunications Information Networking Architecture

  1993cited by this paper
• Viewpoints: A Framework for Integrating Multiple Perspectives in System Development

  1992cited by this paper
• Viewpoints for requirements definition

  1992cited by this paper
• Object-Oriented Concurrent Programming

  1992cited by this paper
• Object-oriented analysis and design

  1992cited by this paper
• The Z notation - a reference manual

  1992cited by this paper
• On the role of implementation relations in the design of distributed systems using LOTOS

  1991cited by this paper
• Enterprise Modelling, A Necessary Basis for Modern Information Systems

  1991cited by this paper
• An Engineering Approach to ODP Systems Design

  1991cited by this paper
• The Design of a Temporal Logic for Open Distributed Systems

  1991cited by this paper
• Object Oriented Modelling in Z for Open Distributed Systems

  1991cited by this paper
• Specification Styles in Distributed Systems Design and Verification

  1991cited by this paper
• Difficulties in integrating multiview development systems

  1991cited by this paper
• The Refinement Theorem for ST-bisimulation Semantics

  1990cited by this paper
• Incremental specification in LOTOS

  1990cited by this paper
• Z User Workshop

  1990cited by this paper
• Signalling System No.7, The Network Layer

  1989cited by this paper
• On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)

  1989cited by this paper
• The integrated services digital network : from concept to application

  1987influential reference
• Systematic software development using VDM

  1986cited by this paper
• Integrating User Views in Database Design

  1986cited by this paper
• Fundamentals of Algebraic Specification 1

  1985cited by this paper
• A Methodology for Data Schema Integration in the Entity Relationship Model

  1984cited by this paper
• Software engineering

  1983cited by this paper
• Protocol Specification, Testing and Verification - Guest Editorial

  1982cited by this paper
• OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection

  1980cited by this paper
• CORE - a method for controlled requirement specification

  1979cited by this paper

• SAPlugin: Management and Extraction of Software Architecture Descriptions in Visual Paradigm

  2025cites this paper
• Understanding the Variety of Domain Models: Views, Programs, Animations, and Other Models

  2024cites this paper
• Evolution Styles: Multi-View/Multi-Level Model for Software Architecture Evolution

  2018cites this paper
• Systematic Review of Software Behavioral Model Consistency Checking

  2017cites this paper
• Modeling ODP Correspondences using QVT

  2016influential citation
• ePubWU Institutional Repository

  2015cites this paper
• Viewpoint-Based Modeling: A Stakeholder-Centered Approach for Model-Driven Engineering

  2014cites this paper
• Hierarchy-oriented modeling of enterprise architecture using reference-model of open distributed processing

  2013cites this paper
• From ODP viewpoint consistency to Integrated Formal Methods

  2013cites this paper
• The Reference Model of Open Distributed Processing: Foundations, experience and applications

  2013cites this paper
• "EditionPattern" au sein de la plate-forme Openexo

  2013cites this paper
• Formalisation et exécutabilité du langage "EditionPattern" au sein de la plate-forme Openflexo

  2013cites this paper
• Reuse and configuration for code generating architectural refinement transformations

  2013cites this paper
• Viewpoint-Based Modeling-Towards Defining the Viewpoint Concept and Implications for Supporting Modeling Tools

  2012cites this paper
• Perceived consistency between process models

  2012cites this paper
• Propagating changes between aligned process models

  2012cites this paper
• Realizing Correspondences in Multi-viewpoint Specifications

  2009cites this paper
• Challenges in Model-Driven Software Engineering

  2009cites this paper
• Modeling heterogeneous points of view with modhel'x

  2009cites this paper
• Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

  2009cites this paper
• Case Study on Human/System Interaction Specification using UML for ODP

  2008cites this paper
• Well-formed Rules for Viewpoint Correspondences Specification

  2008cites this paper
• A Journey through the Secret Life of Models

  2008cites this paper
• Characterizing Relations between Architectural Views

  2008cites this paper
• Modelling and analysing interoperability in service compositions using COSMO

  2008cites this paper
• Consistency in multi-viewpoint design of enterprise information systems

  2008cites this paper
• Enterprise modeling using the foundation concepts of the RM-ODP ISO/ITU standard

  2007cites this paper
• 08 A FRAMEWORK FOR SPECIFICATION AND VERIFICATION OF GENERALIZED SPATIO-TEMPORAL ROLE BASED ACCESS CONTROL MODEL

  2007cites this paper
• Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

  2007cites this paper
• Writing and executing ODP computational viewpoint specifications using Maude

  2007cites this paper
• Consistency in Multi-Viewpoint Architectural Design of Enterprise Information Systems

  2006cites this paper
• Multi-level System Modeling Using the Foundation Concepts of RM-ODP

  2006cites this paper
• Modelagem e simulação distribuída de sistemas produtivos.

  2006cites this paper
• Consistency in multi-viewpoint architectural design

  2006cites this paper
• An RM-ODP Based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture

  2005cites this paper
• Design Support Environments for Distributed Systems (DSE4DS) EPSRC project GR/M69500/01 Project Review

  2005influential citation
• Using Maude to write and execute ODP information viewpoint specifications

  2005cites this paper
• Experimentally investigating effects of defects in UML models

  2005cites this paper
• 7.1.1 Integrating Views in a Multi‐view Modelling Environment

  2005cites this paper
• Generalizing Consistency Checking between Software Views

  2005cites this paper
• Heterogeneous Specification and the Heterogeneous Tool Set

  2004cites this paper
• Towards Correspondence Carrying Specifications

  2004cites this paper
• On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling

  2004cites this paper
• THE DEVELOPMENT OF A PLATFORM TO SIMULATE PRODUCTIVE SYSTEMS IN A DISTRIBUTED ENVIRONMENT

  2003cites this paper
• Formalizing ODP enterprise specifications in Maude

  2003cites this paper
• A RELATIONAL FRAMEWORK FOR THE INTEGRATION OF SPECIFICATIONS

  2003cites this paper
• THE DEVELOPMENT OF A PLATFORM TO SIMULATE PRODUCTIVE SYSTEMS IN A DISTRIBUTED ENVIRONMENT

  2003cites this paper
• An integration of Z and Timed CSP for specifying real time embedded systems

  2003cites this paper
• Consistency Management Within Model-Based Object-Oriented Development of Components

  2003cites this paper
• A design-for-change approach: developing distributed applications from enterprise models

  2002cites this paper
• Triune Continuum Paradigm

  2002cites this paper
• ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z

  2002cites this paper
• Maintaining State Consistency Across Heterogeneous Collaborative Applications

  2002cites this paper
• Interpreting ODP Viewpoint Specification: Observations from a Case Study

  2002cites this paper
• TRIUNE CONTINUUM PARADIGM: A PARADIGM FOR GENERAL SYSTEM MODELING AND ITS APPLICATIONS FOR UML AND RM-ODP

  2002cites this paper
• Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP

  2002cites this paper
• CAIP-TR-264 Maintaining State Consistency Across Heterogeneous Collaborative Applications

  2002cites this paper
• CONSISTENT INTERACTION OF SOFTWARE COMPONENTS

  2002cites this paper
• An Integration of Z and Timed CSP for Specifying Real-Time Embedded Systems

  2002cites this paper
• View Consistency in Software Development

  2002cites this paper
• Combining Component Specifications in Object-Z and CSP

  2002influential citation
• Writing ODP Enterprise Specifications in Maude

  2001cites this paper
• Writing ODP Enterprise Specifications in Maude A Case Study

  2001cites this paper
• Integrating Semantics for Object-Oriented System Models

  2001cites this paper
• A methodology for specifying and analyzing consistency of object-oriented behavioral models

  2001cites this paper
• Specifying the ODP Information Viewpoint using Maude

  2001cites this paper
• Two generic frameworks of multiple viewpoints oriented requirements method and their comparison

  2001cites this paper
• Integrating Semantics for Object{Oriented System Models ?

  2001cites this paper
• New refinement relations of Z specifications for multiple viewpoints oriented requirements method

  2001cites this paper
• Viewpoints modelling

  2001cites this paper
• A Formal Foundation of the RM-ODP Conceptual Framework

  2001cites this paper
• Composition and Relations of Architectural Models Supported by an Architectural Description Language

  year unknowncites this paper