An XYZ/E Semantics for UML Activity Diagrams

机译：UML活动图的XYZ / E语义

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

UML activity diagrams can be used to describe the control flows of different abstract levels and are very suitable for modeling system behaviors. However, the lack of precise semantics makes it difficult to analyze properties of the system it modeled. In this paper, a variant of UML activity diagram-the XYZ activity diagram is defined, and its semantics is interpreted using the temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems. The formalized activity diagram and its properties then can be analyzed within a unified logical framework. An example is included.

机译：UML活动图可用于描述不同抽象级别的控制流，非常适合于对系统行为进行建模。但是，由于缺少精确的语义，因此难以分析其建模系统的属性。在本文中，定义了UML活动图的一种变体XYZ活动图，并使用时态逻辑语言XYZ / E解释了其语义，该逻辑语言可以表示系统的动态和静态语义。然后可以在统一的逻辑框架内分析形式化的活动图及其属性。包括一个例子。

著录项

来源
《Joint International Computer Conference; 20031113-20031115; Zhuhai; CN》|2003年|P.149-155|共7页
会议地点 ZhuhaiCN
作者
ZHU Xueyang; TANG Zhisong;
展开▼
作者单位

Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing, 100080, China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
UML; activity diagrams; formal semantics; temporal logic; XYZ/E;

机译：UML;活动图;形式语义;时间逻辑; XYZ / E;

相似文献

外文文献
中文文献
专利

1. A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach [J] . Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui International Journal of Computer Aided Engineering and Technology . 2020,第2期

机译：基于重写的基于逻辑的语义和UML活动图分析：图形转换方法
2. Formalizing Semantics for UML Activity Diagram through Regular Expression Translation [J] . Bramah Hazela, Deepak Arora, Vipin Saxena Research journal of applied science, engineering and technology . 2015,第2期

机译：通过正则表达式转换形式化UML活动图的语义
3. Formalizing Semantics for UML Activity Diagram through Regular Expression Translation [J] . Bramah Hazela, Deepak Arora, Vipin Saxena Research journal of applied science, engineering and technology . 2015,第2期

机译：通过正则表达式转换形式化UML活动图的语义
4. An XYZ/E Semantics for UML Activity Diagrams [C] . ZHU Xueyang, TANG Zhisong Joint international computer conference . 2003

机译：用于UML活动图的XYZ / E语义
5. XMI-based transformation of UML interaction diagrams to activity diagrams. [D] . Wong, Eric Chen. 2002

机译：UML交互图到活动图的基于XMI的转换。
6. The Unified Medical Language System. the Umls Semantic Network: The UMLS Semantic Network [O] . Alexa T. McCray 1989

机译：统一医学语言系统。 Umls语义网络：UMLS语义网络
7. Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S [O] . Ali Daniyal, Syed Sibte, Raza Abidi 2016

机译：基于语义Web的临床路径建模使用UmL活动图和OWL-s

An XYZ/E Semantics for UML Activity Diagrams

摘要

著录项

相似文献

相关主题

期刊订阅