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 条
12345