Basic protocols, message sequence charts, and the verification of requirements specifications

DOI10.1016/j.comnet.2005.05.005zbMath1101.68375OpenAlexW2013386105MaRDI QIDQ2573328

S. N. Baranov, J. Kapitonova, V. A. Volkov, Thomas J. Weigert, Alexander Letichevsky, A. A. jun. Letichevskii

Publication date: 7 November 2005

Published in: Computer Networks (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comnet.2005.05.005

zbMATH Keywords

InteractionEnvironmentFormal methodsProcessAgentBasic protocolsInsertion functionRequirement capturing

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (5)

Generating symbolic traces in the insertion modeling system ⋮ Properties of a predicate transformer of the VRS system ⋮ Systems specification by basic protocols ⋮ Verifying UCM specifications of distributed systems using colored Petri nets ⋮ Modern methods and software systems of molecular modeling and application of behavior algebra

Uses Software

• APS-1

This page was built for publication: Basic protocols, message sequence charts, and the verification of requirements specifications