Specification languages and their implementations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specification languages and their implementations

Full text

Pdf (914 KB)

Source

ACM Annual Computer Science Conference archive
Proceedings of the 1993 ACM conference on Computer science table of contents

Indianapolis, Indiana, United States

Pages: 87 - 92

Year of Publication: 1993

ISBN:0-89791-558-5

Author

Ludo Cuypers

Vrije Universiteit Brussel, Department INFO-TW, Pleinlaan 2, B-1050 Brussels, Belgium

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/170791.170808 What is a DOI?

ABSTRACT

This paper describes some historical software engineering backgrounds leading to specification languages. These specification languages have high promises for the future. One of the main problems is the derivation of implementations. We propose a methodology to translate Lotos specifications into implementations. The principles behind the framework and its concepts are introduced using a simple example. Finally, we explain how implementation techniques proposed by other authors can be integrated in our framework.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Boehm, B.W. (1976), "Software Engineering",IEEE Transactions on Conjurers, voL C-25, no. 12, December 1976, pp. 1226-1241.
	2	Bolognesi & Brinksma (1989), "Introduction to the ISO Specification Language Lotos', in van Eijck P., Vissers C. & Diaz M. (eds) 0989).
	3	CCITT (1984), Recommendalion ZJ OO-Z.I 04 "Functional Specification an Description Language ($DL)., 8th Plenary Assembly Malaga-Torremolino$1984.
	4	Cuypers L., "Automated Implementations of Lotos Specifications", to ~ in Proceedings of the Euromicro Conference 1992, Pax~, September 1992.
	5	ISO (1987), Infornuuion processing systems - E~elle . A formal description technique based on an Extended State Tr~ition Model, ISO 9074.
	6	ISO (1989), lnfornu~ion proce.~in8 systems. Open Systems interconnection . LOTOS - A formal description technique based on the temporal ordering of observational behaviour, ISO 8807.
	7	Quemada J., Azcorra A., Pavon S., "Tutorial on Lotos Based Design', in Tutorial of Forte 90: Third International Conference on Formal Description Techniques, Madrid 1990.
	8	Vissers C.A., Scollo G., van Sindel"en M., "Architecture and Specification Style in Formal Descriptions of Distributed Systems", in Aggarwal & Sabnani eds, Protocol Specification, Testing and Verification VIII, Atlantic City, June 1988.