FORMAL METHODS FOR ANALYSIS OF DISCRETE SYSTEMS USING A SPECIFICATION LANGUAGE

被引：2
|
作者：
Kryvyi, S. L. [1 ]
Chugayenko, A. V. [1 ]
机构：
[1] Natl Acad Sci Ukraine, Cybernet Inst, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2009年 / 45卷 / 04期
关键词：
Petri nets; MSC; verification;
D O I：
10.1007/s10559-009-9121-5
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A realization of an algorithm that translates an MSC diagram (an MSC document) into an event equivalent Petri net is described, and the correctness of the algorithm is proved. The net obtained in this way can be used to analyze properties of the original MSC document. The mentioned algorithm is a part of a system designed for verification and analysis of MSC documents.
引用
收藏
页码：528 / 543
页数：16
相关论文
共 50 条
  • [31] Applying practical formal methods to the specification and analysis of security properties
    Heitmeyer, C
    [J]. INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 84 - 89
  • [32] Specification of integrity-preserving operations in information systems by using a formal UML-based language
    Laleau, R
    Polack, F
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (12) : 693 - 704
  • [33] Analysis of Formal Methods for Specification of E-Commerce Applications
    Khan, Sadiq Ali
    Jamshed, Huma
    [J]. MEHRAN UNIVERSITY RESEARCH JOURNAL OF ENGINEERING AND TECHNOLOGY, 2016, 35 (01) : 19 - 28
  • [34] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    [J]. 2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [35] Security requirements specification by formal methods: a research metadata analysis
    Mishra, Aditya Dev
    Mustafa, Khurram
    [J]. MULTIMEDIA TOOLS AND APPLICATIONS, 2023, 83 (14) : 41847 - 41866
  • [36] Security requirements specification by formal methods: a research metadata analysis
    Aditya Dev Mishra
    Khurram Mustafa
    [J]. Multimedia Tools and Applications, 2024, 83 : 41847 - 41866
  • [37] Discrete event calculus model, a high level specification language for discrete event systems
    Paillet, JL
    Giambiasi, N
    [J]. ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, 1998, : 29 - 33
  • [38] An Entry Point for Formal Methods: Specification and Analysis of Event Logs
    Barringer, Howard
    Groce, Alex
    Havelund, Klaus
    Smith, Margaret
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (20): : 16 - 21
  • [39] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [40] Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems
    Zhang, Lichen
    [J]. ADVANCES IN COMPUTER SCIENCE, ENVIRONMENT, ECOINFORMATICS, AND EDUCATION, PT II, 2011, 215 : 316 - 322
12345