STOP - Specification technique of operational processes

被引：0
|
作者：
Einer, S [1 ]
机构：
[1] SBB Swiss Fed Railways Infrastruct, CH-3000 Bern 65, Switzerland
来源：
INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING | 2004年 / 3147卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The formal technique STOP is a specific application of Coloured Petri Nets [1]. It serves as a methodical specification of operational processes in automation systems. Each concrete specification made by using STOP can be verified with regard to relative completeness and correctness. The present paper introduces the approach and the application domain of STOP as well as its technical characteristics. By discussing experiences made in application of STOP the theoretical introduction of STOP is additionally practically substantiated.
引用
收藏
页码：227 / 247
页数：21
相关论文
共 50 条
  • [21] RANDOM STOP OF MULTIDIMENSIONAL PROCESSES
    ANISIMOV, VV
    VOJNA, AA
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1977, (09): : 771 - 775
  • [22] TECHNIQUE FOR VALIDATING PROTOCOL SPECIFICATION
    RAKOVA, IK
    SMIRNOVA, NN
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 39 - 43
  • [23] Operational ontological approach to formal programming language specification
    Anureev, I. S.
    PROGRAMMING AND COMPUTER SOFTWARE, 2009, 35 (01) : 35 - 42
  • [24] Modeling train control systems with Petrinets -: an operational specification
    Einer, S
    Slovák, R
    Schnieder, E
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3207 - 3211
  • [25] Semantical analysis of specification logic, 3 - An operational approach
    Ghica, DR
    PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 264 - 278
  • [26] Electronic work diary: Policy, specification and operational pilot
    Potter, J.
    Talko, S.
    Walsh, D.
    JOURNAL OF THE AUSTRALASIAN COLLEGE OF ROAD SAFETY, 2011, 22 (03) : 12 - 17
  • [27] Operational ontological approach to formal programming language specification
    I. S. Anureev
    Programming and Computer Software, 2009, 35 : 35 - 42
  • [28] Success Factors in the Specification of Operational Scenarios - An Industrial Perspective
    Gustavsson, Henrik
    Bilic, Damir
    Carlson, Jan
    Enoiu, Eduard Paul
    18TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON 2024, 2024,
  • [29] A test for model specification of diffusion processes
    Chen, Song Xi
    Gao, Jiti
    Tang, Cheng Yong
    ANNALS OF STATISTICS, 2008, 36 (01): : 167 - 198
  • [30] Improved development by strategic specification processes
    Karlsson, C
    Nellore, R
    INTERNATIONAL JOURNAL OF VEHICLE DESIGN, 1999, 21 (01) : 21 - 39
12345