Writing ODP Enterprise Specifications in Maude

No abstract is available for this paper.

• Publication year

  2001

• Venue

  Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation

• Publication date

  2001-07-06

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Maude: specification and programming in rewriting logic

  2002influential reference
• Writing ODP Enterprise Specifications in Maude A Case Study

  2001cited by this paper
• Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems

  2000influential reference
• Viewpoint consistency in ODP

  2000cited by this paper
• Formally Modeling UML and its Evolution: A Holistic Approach

  2000cited by this paper
• ODP enterprise viewpoint specification

  2000influential reference
• A Partial Order Event Model for Concurrent Objects

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

  1997influential reference
• Transformations and consistent semantics for ODP viewpoints

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

  1995cited by this paper
• FDTs for ODP

  1995cited by this paper
• Open Distributed Processing

  1989cited by this paper

• Tesis doctorales dirigidas

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

  2013cites this paper
• Rewriting logic bibliography by topic: 1990-2011

  2012cites this paper
• Conceptual Data Modeling with Constraints in Maude

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

  2007cites this paper
• Using UML and Maude for writing and reasoning about ODP policies

  2003cites this paper
• A Systemic Paradigm for Early IT System Requirements Based on Regulation Principles: The Lightswitch Approach

  2003cites 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
• Semantic Models for Distributed Object Reflection

  2002cites this paper
• Rewriting logic: roadmap and bibliography

  2002cites this paper
• Triune Continuum Paradigm

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

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

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

  2001cites this paper