Generating symbolic traces in the insertion modeling system

DOI10.1007/S10559-015-9691-3zbMATH Open1327.93050OpenAlexW1992580076MaRDI QIDQ895075FDOQ895075

Authors V. S. Peschanenko, A. A. Huba, A. A. Letichevskij, A. A. jun. Letichevskii

Publication date 26 November 2015

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-015-9691-3

zbMATH Keywords

verificationinsertion modelingUCM (use case map)

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• The design and use of a prolog trace generator for CSP
• Insertion modeling and its applications
• A generalization of traces
• scientific article; zbMATH DE number 177515
• Theory of traces

Cites work

• scientific article; zbMATH DE number 1617305 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A calculus of communicating systems
• A general theory of action languages
• Algebra of behavior transformations and its applications
• Basic protocols, message sequence charts, and the verification of requirements specifications
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Mobile ambients
• Process algebra for synchronous communication
• Systems specification by basic protocols

Cited in

(5)

• Insertion modeling and its applications
• Cyber-physical systems
• Estimation of vectors similarity by their randomized binary projections
• Piecewise polynomial algorithms for the analysis of processes in inhomogeneous media
• The design and use of a prolog trace generator for CSP

This page was built for publication: Generating symbolic traces in the insertion modeling system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895075)