Specification of a secured multi-server MMS protocol

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)