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 条

[41] Operational processes and cognitive mapping
Fiedler, ER
AVIATION SPACE AND ENVIRONMENTAL MEDICINE, 2005, 76 (07): : C4 - C6
[42] Operational groups and unconscious processes
Amado, G
REVUE FRANCAISE DE PSYCHANALYSE, 1999, 63 (03): : 905 - +
[43] An Integrated Ontology for Operational Processes
Hai, Ri
Theissen, Manfred
Marquardt, Wolfgang
19TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2009, 26 : 1087 - 1091
[44] An operational model for design processes
Ivashkov, MY
van Overveld, CWAM
DESIGN MANAGEMENT - PROCESS AND INFORMATION ISSUES, 2001, : 139 - 146
[45] TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES
PARNAS, DL
COMMUNICATIONS OF THE ACM, 1972, 15 (05) : 330 - &
[46] A SPECIFICATION TECHNIQUE BASED ON PREDICATE TRANSFORMERS
WURGES, H
ACTA INFORMATICA, 1981, 15 (04) : 425 - 445
[47] A STRUCTURED SPECIFICATION TECHNIQUE FOR HYPERMEDIA SYSTEMS
JOVANOVIC, V
MRDALJ, S
COMMUNICATIONS OF THE ACM, 1993, 36 (11) : 18 - 20
[48] Specification and management of interdependent data in operational systems and data warehouses
GTE Lab Inc, Waltham, United States
Distrib Parallel Databases, 2 (121-166):
[49] AN OPERATIONAL FORMAL DEFINITION OF PROLOG - A SPECIFICATION METHOD AND ITS APPLICATION
DERANSART, P
FERRAND, G
NEW GENERATION COMPUTING, 1992, 10 (02) : 121 - 171
[50] AN INFORMATION-PROCESSING SYSTEM FOR OPERATIONAL METEOROLOGY - DEVELOPING THE SPECIFICATION
BARRELL, SL
WILSON, KJ
COLEMAN, AM
INTERACTIVE INFORMATION AND PROCESSING SYSTEMS FOR METEOROLOGY, OCEANOGRAPHY AND HYDROLOGY, 1988, : 63 - 68

← 1 2 3 4 5 →