哑剧 发表于 2025-3-25 05:47:11

A Process Compensation Languagel behaviours, but most significant is the concept of compensation that allows a previous action to be undone. The semantics of the language is given by an operational approach. The specification of a system is composed by a set of StAC processes that describe the behaviour of the system and a set of

背景 发表于 2025-3-25 09:23:30

Activity Graphs and Processesprincipal focus for this demand is the Unified Mo- deling Language (UML), and, within UML, the diagrammatic notations for describing dynamic properties. This paper shows how one such notation, that of Activity Graphs, can be given a process semantics in the language of Communicating Sequen- tial Pro

来自于 发表于 2025-3-25 11:53:34

Structuring Real-Time Object-Z Specificationsental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z’s notion of object instantiation and introducing a parallel composition operator similar to those found in process alge

喊叫 发表于 2025-3-25 18:35:13

ISpec: Towards Practical and Sound Interface Specificationsormality and detail in a way compatible with object-oriented odelling techniques (UML). The incremental nature of the levels and the underlying formal framework of ISpec allow informal interface specifications to be made formal in steps. The body of the paper consists of a discussion of the main cha

forbid 发表于 2025-3-25 19:58:22

http://reply.papertrans.cn/47/4686/468513/468513_25.png

笨拙的你 发表于 2025-3-26 02:15:04

Developing Control Systems ComponentsThe general strategy for such a development comprises two phases. An initial system-level specification models both the physical environment and its control software within the same . oriented view of the system. The control software can be then extracted from this specification and further refined

adduction 发表于 2025-3-26 05:41:02

http://reply.papertrans.cn/47/4686/468513/468513_27.png

飓风 发表于 2025-3-26 08:52:29

http://reply.papertrans.cn/47/4686/468513/468513_28.png

使迷惑 发表于 2025-3-26 13:32:54

Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programsmantic model for both paradigms and a trace-based refinement calculus, we show how a shared-variable parallel program can be refined into a distributed program. The calculus is used to introduce iteration, parallelism, and local channels, to replace access to shared variables by message-passing prim

mucous-membrane 发表于 2025-3-26 19:07:33

http://reply.papertrans.cn/47/4686/468513/468513_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Integrated Formal Methods; Second International Wolfgang Grieskamp,Thomas Santen,Bill Stoddart Conference proceedings 2000 Springer-Verlag