Executable description of the OSI transport service in Prolog
Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV
Specification of the Transport Service Using Numerical Petri Nets
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
A methodology for protocol design and specification based on an extended state transition model
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A temporal ordering specification of some session services
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
OSI service specification with CCITT-SDL
ACM SIGCOMM Computer Communication Review
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
| Hi-index | 0.00 |
Within the effort of ISO standarization, service specifications have been thought to be an important tool for formal verification of protocols. The paper discusses the modelling of some concepts quite related with the service: service access points and abstract service primitives. Firstly, ISO concepts are explained. Then, a service architectural model is developed as a refinament of the service access point idea using the connection end point concept. A finite state machine approach is shown to specify the behavior of the modules of such architecture. This lead us to consider the service access point represented as a single state automaton that consists of several connection end point automata. Thus, service access points allow the specification of services, and provide an abstraction of interfaces between adjacent layers of the Open System Interconnection model of ISO.