Abstract | ||
---|---|---|
We introduce a slight modification of the usual operational semantics for LOTOS based on preserving history information. We then show how we can use the history information in each state to define state-oriented properties and features. By means of an example we show how these properties and features can be used to enhance the usual simulation methods for LOTOS specifications. An implementation is then sketched and some extensions are suggested. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BFb0024665 | FME |
Keywords | Field | DocType |
lotos simulation,process instances,operational semantics | Operational semantics,Programming language,Computer science,Theoretical computer science,Rule of inference | Conference |
ISBN | Citations | PageRank |
3-540-56662-7 | 0 | 0.34 |
References | Authors | |
3 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Simon Pickin | 1 | 90 | 11.04 |
Yan Yang | 2 | 19 | 11.40 |
Wiet Bouma | 3 | 62 | 22.72 |
Sylvie Simon | 4 | 0 | 0.34 |
Tanja de Groot | 5 | 0 | 0.68 |