On the architectural design of the formal specification of the session standards in LOTOS

Giuseppe Scollo; Marten J. van Sinderen

On the architectural design of the formal specification of the session standards in LOTOS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Abstract

An approach to structuring formal specifications of services and protocols in LOTOS is proposed. The approach is based on experience with the application of LOTOS to the specification of the ISO session standards, and is therefore exemplified with parts of their formal description. It is argued that the structuring of formal specifications of service and underlying protocol should emphasize to the largest extent their commonalities, in order to simplify the proof of their mutual consistency. The conclusion drawn is that the structuring principles for the session specifications may be of more general use for the specification of services and protocols.

Original language	Undefined
Title of host publication	Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification
Editors	B. Sarikaya, G.V. Bochmann
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	3-14
Number of pages	12
ISBN (Print)	0444701265
Publication status	Published - 1987
Event	IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification - Montreal, Quebec, Canada Duration: 10 Jun 1986 → 13 Jun 1986

Workshop

Workshop	IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification
Period	10/06/86 → 13/06/86
Other	10-13 Jun 1986

Keywords

EWI-6803
SCS-Services

Cite this

@inproceedings{5ca0dc4042bc483692489d7042497c03,

title = "On the architectural design of the formal specification of the session standards in LOTOS",

abstract = "An approach to structuring formal specifications of services and protocols in LOTOS is proposed. The approach is based on experience with the application of LOTOS to the specification of the ISO session standards, and is therefore exemplified with parts of their formal description. It is argued that the structuring of formal specifications of service and underlying protocol should emphasize to the largest extent their commonalities, in order to simplify the proof of their mutual consistency. The conclusion drawn is that the structuring principles for the session specifications may be of more general use for the specification of services and protocols.",

keywords = "EWI-6803, SCS-Services",

author = "Giuseppe Scollo and {van Sinderen}, {Marten J.}",

year = "1987",

language = "Undefined",

isbn = "0444701265",

pages = "3--14",

editor = "B. Sarikaya and G.V. Bochmann",

booktitle = "Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification",

publisher = "Elsevier",

address = "Netherlands",

note = "null ; Conference date: 10-06-1986 Through 13-06-1986",

}

Scollo, G & van Sinderen, MJ 1987, On the architectural design of the formal specification of the session standards in LOTOS. in B Sarikaya & GV Bochmann (eds), Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification. Elsevier, Amsterdam, pp. 3-14, IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification, 10/06/86.

On the architectural design of the formal specification of the session standards in LOTOS. / Scollo, Giuseppe; van Sinderen, Marten J.

Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification. ed. / B. Sarikaya; G.V. Bochmann. Amsterdam : Elsevier, 1987. p. 3-14.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - On the architectural design of the formal specification of the session standards in LOTOS

AU - Scollo, Giuseppe

AU - van Sinderen, Marten J.

PY - 1987

Y1 - 1987

N2 - An approach to structuring formal specifications of services and protocols in LOTOS is proposed. The approach is based on experience with the application of LOTOS to the specification of the ISO session standards, and is therefore exemplified with parts of their formal description. It is argued that the structuring of formal specifications of service and underlying protocol should emphasize to the largest extent their commonalities, in order to simplify the proof of their mutual consistency. The conclusion drawn is that the structuring principles for the session specifications may be of more general use for the specification of services and protocols.

AB - An approach to structuring formal specifications of services and protocols in LOTOS is proposed. The approach is based on experience with the application of LOTOS to the specification of the ISO session standards, and is therefore exemplified with parts of their formal description. It is argued that the structuring of formal specifications of service and underlying protocol should emphasize to the largest extent their commonalities, in order to simplify the proof of their mutual consistency. The conclusion drawn is that the structuring principles for the session specifications may be of more general use for the specification of services and protocols.

KW - EWI-6803

KW - SCS-Services

M3 - Conference contribution

SN - 0444701265

SP - 3

EP - 14

BT - Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification

A2 - Sarikaya, B.

A2 - Bochmann, G.V.

PB - Elsevier

CY - Amsterdam

Y2 - 10 June 1986 through 13 June 1986

ER -