✦ LIBER ✦

Process specification generation from communications service specifications

✍ Scribed by Akira Takura; Tadashi Ohta; Keizo Kawata

Publisher: Springer US
Year: 1995
Tongue: English
Weight: 851 KB
Volume: 2
Category: Article
ISSN: 0928-8910
DOI: 10.1007/bf00871826

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deriving protocol specifications from se

Deriving protocol specifications from service specifications including multirendezvous

✍ Monika Kapus-Kolar 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 324 KB

Deriving protocol specifications from se

Deriving protocol specifications from service specifications written in LOTOS

✍ Christian Kant; Teruo Higashino; Gregor von Bochmann 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 524 KB

Comments on deriving protocol specificat

Comments on deriving protocol specifications from service specifications written in LOTOS

✍ Monika Kapus-Kolar 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 39 KB

Designing secure communication protocols

Designing secure communication protocols from trust specifications

✍ C. H. Papadimitriou; V. Rangan; M. Sideri 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 866 KB

A method of designing communication serv

A method of designing communication service specifications using message sequence charts

✍ Osamu Mizuno; Yoshihiro Niitsu 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 943 KB

## Abstract A new specification design method for describing communication services is developed. This method describes service specifications in sequence charts and provides a user‐friendly man‐machine interface and specification conversion function. Applying this method to actual specification de

Design support for the communication ser

Design support for the communication service specification by utilizing petri nets

✍ Haruo Hasegawa 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 853 KB