A formalization of the CORDS Process Model using Mondel

  • Authors:

  • Ferhat Khendek;Gregor v. Bochmann

  • Affiliations:

  • University of Montréal, C. P. 6128, Succ. A, Montréal, Que, Canada;University of Montréal, C. P. 6128, Succ. A, Montréal, Que, Canada

  • Venue:
  • CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
  • Year:
  • 1992

  • CORDS: status and directions

    CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2

Quantified Score

Hi-index 0.00

Visualization

Abstract

The CORDS Process Model (CPM) represents an architectural model on which the components of the CORDS project will be patterned. The CPM describes a set of concepts, like process, port, conventions for process creation, ports initialization and binding, and some abstract primitives for interprocess communication. It includes a set of language independent datatypes that can appear in messages exchanged between processes and an interface definition mechanism for specifying contracts between communicating processes. In this paper, we describe formally the concepts of inport, outport, and process using the object-oriented specification language Mondel. The modelization in Mondel of the abstract primitives of the CPM is provided. We also discuss the applications and advantages of such formal description of the CPM.