Systems Specification by Basic Protocols

Authors:
A. Ad. Letichevsky;Yu. V. Kapitonova;V. A. Volkov;A. A. Letichevsky;S. N. Baranov;V. P. Kotlyarov;T. Weigert
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Information Program Systems Co., Ltd, Kiev, Ukraine;Closed Corporation "Motorola,", St. Petersburg, Russia;Closed Corporation "Motorola,", St. Petersburg, Russia;Closed Corporation "Motorola,", Chicago, USA
Venue:
Cybernetics and Systems Analysis
Year:
2005

Citing 11
Cited 6

Communicating sequential processes

Communicating sequential processes
Communication and concurrency

Communication and concurrency
Computations in APS

Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of Process Algebra

Handbook of Process Algebra
A Model for Interaction of Agents and Environments

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Formal Verification of SDL Systems at the Siemens Mobile Phone Department

TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Insertion Programming

Cybernetics and Systems Analysis
Model checking

Handbook of automated reasoning
Leveraging UML to deliver correct telecom applications

UML for real
Automatic generation of conformance tests from message sequence charts

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC

Genomic control of agent morphogenesis in a physically correct virtual environment

Cybernetics and Systems Analysis
Basic protocols: pecification language for distributed systems

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Predicate transformers in the context of symbolic modeling of transition systems

Cybernetics and Systems Analysis
An automatic method for the dynamic construction of abstractions of states of a formal model

Cybernetics and Systems Analysis
Properties of a predicate transformer of the VRS system

Cybernetics and Systems Analysis
Insertion modeling system

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Theoretical foundations of requirements formalization and verification based on basic protocols are presented. This approach uses the concept of an attributed transition system. Facets of an implementation of the system VRS are described together with some statistical results of using this tool in large-scale industrial projects.