Specification and validation of a distributed transaction processing facility for the MMS applications

We introduce a specification of a distributed transaction processing facility for the Manufacturing Message Specification (MMS) which is an application service element of the Manufacturing Automation Protocol (MAP) standardized by the International Standard Organization (ISO) to support messaging communication to and from programmable devices in a computer integrated manufacturing (CIM) environment. The proposed facility permits the organization of a distributed transaction in terms of a set of MMS services encapsulated together to perform the manufacturing or the production tasks. The services provided by the transaction processing (TP) standard, presented by the ISO, are used as well as new services are defined to guarantee the coherent behavior of the MMS distributed transactions. This guarantee is based on the satisfaction of the Atomicity, Consistency, Isolation, and Durability (ACID) properties defined by the ISO. The distributed transaction processing facility is specified as finite state automata represented by Nutt evaluation networks notations. A validation technique based on the Calculus of Communicating Systems (CCS) introduced by Milner is used to prove the coherent behavior of the transactions