The Research And Formal Description Of Locking Mechanism For Concurrent Control In Cooperative Design

Along with the development of wide-area networks and the increasing bandwidth available on these networks came the need for network-centric computer-aided design (CAD) environments. Formal method is based on the mathematics to describe the specification of hardware system and software system. A Formal specification language like RAISE (Rigorous Approach to Industrial Software Engineering) Specification Language (RSL) aims at providing a sound notation and a proof system for capturing requirements and expressing the functionality of software.The two-stage design theory under planning control gives a good method to decompose the designs. It uses the OOD method to decompose the design in structural stage. During collaborative design process,when different users share a common object,concurrent access control is the necessity to keep the shared object consistent. We have developed an access control model for meeting the new requirements. Lock mechanism is used here.As a part of the national 863 planned project - "2001 AA41 1320 regional modern integrated manufacture system development and application oriented city Chengdu,Deyang and Mianyang" and the science and technology key project of Sichuan Province - "the engineering configuration Intelligent CAD technology oriented the process of design",What the anthor had mainly done shown as below. Introduced the characters of cooperative CAD system, Studied the locking mechanism on concurrent control of cooperative design,especially the multiple granularity locking mechanism, decriped the locking mechanism in RSISE formal method, Checked and implemented the locking mechanism in RSISE.