By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Dakroury, Y. ; Fac. of Eng., Ain Shams Univ., Cairo, Egypt ; Elloy, J.P.

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

Published in:

Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on  (Volume:2 )

Date of Conference:

10-13 Oct 1995