哑剧
发表于 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