Titlebook: IFM’99; Proceedings of the 1 Keijiro Araki,Andy Galloway,Kenji Taguchi Conference proceedings 1999 Springer-Verlag London Limited 1999 deve

威脅你

enlist

禁止

A Modular Framework for the Integration of Heterogeneous Notations and Tools the languages of Statemate [15], i.e. Statecharts to describe reactive behavior and activity charts to describe structural aspects. Our means of integration are, however, general enough to integrate other, esp. synchronous languages, as well, and reuse much of the existing tools in the process.

Forage飼料

租約

CHIDE

MEEK

Modelling Discrete Behaviour in a Continuous-Time Formalismfying and reasoning about both discrete and continuous-time components. We show how these two models can be integrated in a timed-trace formalism by treating discrete components as a restricted class of continuous ones.

極力證明

An Approach to the Combination of Formal Description Techniques: Statecharts and TLArent kinds of properties and to allow a smooth transition between several descriptions of behaviour. The usefulness of this combination is shown by applying it to an example. Consistency of descriptions turns out as a problem, we sketch a first approach to deal with it.

生氣的邊緣

Proof systems for message-passing process calculiWe present a survey of proof systems for deriving properties of message-passing process calculi. This includes systems for proving.The key question to be discussed is the extent to which such proof systems can be ., given that both processes and properties can be parameterised recursively on data domains.

Crumple