Abstract
Verification of requirement specifications is an important stage of the software development process. Detection of inconsistency and incompleteness of requirement specifications, as well as discovering of wrong decisions at early stages of the design process decreases the cost of software quality. An approach to requirement verification has been considered in the papers [5-8]. The language of basic protocols is used there for specification of distributed concurrent systems and formalizing requirements for them.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Letichevsky, A., Gilbert, D.: A general theory of action languages. Cybernetics and System Analysis 1 (1998)
Letichevsky, A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, Springer, Heidelberg (2000)
Letichevsky, A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, Springer, Heidelberg (2000)
Letichevsky, A.: Algebra of behavior transformations and its applications. In: Proceedings of the Summer School on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal July 8-18, 2003. To be published by Kluwer Acad. Press (2003)
Baranov, S., et al.: Leveraging UML to Deliver Correct Telecom Applications. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real: Design of Embedded Real-Time Systems, Kluwer Academic Publishers, Amsterdam (2003)
Letichevsky, A., et al.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. Computer Networks 47(5) (2005)
Kapitonova, J., et al.: Validation of Embedded Systems. In: Zurawski, R. (ed.) The Embedded Systems Handbook, CRC Press, Miami (2005)
Letichevsky, A.A., et al.: System Specification with Basic Protocols. Cybernetics and System Analyses 41(4) (2005)
Clarke Jr., E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)
Clarke, E.M., Grumberg, O., Long, O.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512–1542 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Letichevsky, A. (2007). Basic Protocols: Specification Language for Distributed Systems. In: Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70881-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-70881-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70880-3
Online ISBN: 978-3-540-70881-0
eBook Packages: Computer ScienceComputer Science (R0)