𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal description techniques and automated protocol synthesis

✍ Scribed by V Carchiolo; A Faro; D Giordano

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
851 KB
Volume
34
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.

✦ Synopsis

The paper deals with the problem ~1 communication software design carried out by a synthesis approach. After a discussion o[" desLgn methodologies, a survey is done o['the mq]or approaches to automated protocol design, focusing on their features and on the adequacy o/ the adopted.[~rmal description techniques. A new approach, based on a multilanguage jfamework and leading to easier and more ~f[Yective automation of protocol design, is presented.

πŸ“œ SIMILAR VOLUMES

Automated code generation of dynamic spe
Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques
✍ Vicente Pelechano; Oscar Pastor; Emilio InsfrΓ‘n πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 453 KB

In this work, we present an automatic code generation process from conceptual models. This process incorporates the use of design patterns in OO-Method, an automated software production method, which is built on a formal object-oriented model called OASIS. Our approach defines a precise mapping betw