By Topic

Specification of a secured multi-server MMS protocol

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

3 Author(s)
Dakroury, Y. ; Dept. of Comput. & Syts. Eng., Ain Shams Univ., Cairo, Egypt ; Elloy, J.P. ; Ricordel, R.

We present a complete specification of a new architecture for the Manufacturing Message Specification (MMS) protocol. This architecture is based on a client/multi-server model adopted by the MMS standard. A client invokes a service request that implies the cooperation of many servers to execute the requested service and satisfies the client demand. This architecture permits the definition of distributed objects, each of them is composed of simple MMS objects distributed over many servers. The coordination of the MMS services execution across the distributed cooperated servers as well as the coherence of the distributed object are guaranteed by the services and the protocol offered by the ISO Commitment, Concurrency, and Recovery (CCR) application service element. The specification of the secured MMS multi-server protocol is introduced by a finite state machine model. This model is used as a base for a formal validation using the Calculus of Communicating Systems (CCS)

Published in:

Distributed Computing Systems, 1995., Proceedings of the 15th International Conference on

Date of Conference:

30 May-2 Jun 1995