Butler M.J.:Event Ordering in Action Systems. In J. Grundy, M.Schwenke, T. Wickers, editors, International Refinement Workshop/Formal Methods Pacific'98, Canberra, Springer Series in Discrete Mathematics and Computer Science, Springer (1998). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Using a Process Algebra to control B OPERATIONS - Treharne, Schneider (1999) (9 citations) (Correct)
....is these OPERATIONS which need to be constrained by a control executive. 3 Overview of the correspondence between Action Systems and CSP In this section Action Systems are defined. We then define their relationship with CSP. More detailed introductions to these formalisms can be found in [3] [4] and [10] Alongside these definitions we note the difference between the B Method and Action Systems and a B Abstract System s relationship to CSP. An Action System is a transition system represented by variables, an initialisation and a set of actions which are represented by statements in an ....
....or ProcessCrit off . The control loop satisfies this because tr 2 would always contain ControlSetSafe. 8 Discussion In this section we briefly discuss our approach in relation to other approaches. We take a B description and a CSP description and demonstrate their consistency. In Butler s paper [4] an Action System is defined together with an event ordering term which is comparable to our CSP control executive. Our executive is a separate description which can be analysed independently, whereas the event ordering term is another clause in the Action System written in a process algebra ....
Butler M.J.:Event Ordering in Action Systems. In J. Grundy, M.Schwenke, T. Wickers, editors, International Refinement Workshop/Formal Methods Pacific'98, Canberra, Springer Series in Discrete Mathematics and Computer Science, Springer (1998).
Using a Process Algebra to control B OPERATIONS - Treharne, Schneider (1999) (9 citations) (Correct)
....such constraints. The above concerns show that there are many different ways of specifying the system in AMN which would lead to radically different control loops. Discussion 24 Our approach is to take a B description and a CSP description and demonstrate their consistency. In Butler s paper [4] an Action System is defined together with an event ordering term which is comparable to our control executive. Our executive is a separate description which can be analysed independently, whereas the event ordering term is another clause in the Action System written in a process algebra style. ....
Butler M.J.:Event Ordering in Action Systems. In J. Grundy, M.Schwenke, T. Wickers, editors, International Refinement Workshop/Formal Methods Pacific '98, Canberra, Springer Series in Discrete Mathematics and Computer Science, Springer (1998).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC