Mapping UML 2.0 Activities to Zero-Safe Nets

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户：guoguangyun_09

【摘要】

：

UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their pla

【作者】

：

Sabine Boufenara Faiza Belala

【机构】

：

CEDRIC-CNAM,LIRELaboratory

【出处】

：

软件工程与应用(英文)

【发表日期】

：

2010年5期

【关键词】

：

UML ACTIVITY Diagrams FORMALIZATION Interruptible ACTIVITY Region Zero-Safe NETS

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational semantics is unable to capture and preserve semantics of the newly de

其他文献

基于B／S的工程项目群管理系统的设计与应用

通过分析湖北省航道管理处工程项目部多项目管理现状，设计并实现了一款基于B／S的工程项目群管理系统。目前系统已投入使用，系统在稳定性、可靠性、实时性等方面都符合公司多项目

期刊

工程项目群管理ADO.NETB/S分布式集群体系project group managementADO.NETB/Sdistributed cluste

中国共产党的组织结构与党内民主的关系

摘要：中国共产党的组织结构是党的各项工作顺利进行的组织基础，以党内民主带动人民民主是我国民主政治建设的重要步骤。中国共产党的组织机构与党内民主之间存在关联，党内民主对中国共产党组织结构提出了新的要求。　　关键词：中国共产党；组织结构；党内民主；　　中图分类号：D262 文献标识码：A 文章编号：1004-1494（2013）04-0064-04　　德国社会学家米歇尔斯从社会学角度指出：“毋庸赘言

期刊

中国共产党组织结构党内民主the communist party of China organizational structure inner-pa

和谐社会视阈下的冲突与和谐

冲突是人类社会不可避免的政治现象，冲突与合作是政治生活的常态。迄今为止，还没有哪个社会完全没有冲突。因此，构建社会主义和谐社会也必定是在冲突中寻求和谐与秩序，实现从冲突

期刊

冲突和谐社会政治稳定conflicts harmonious society political stability

基于数据仓库与OLAP技术的图书馆流通数据分析

在介绍数据仓库与OLAP技术的基础上,描述了高校图书馆数据仓库的系统结构,然后使用Microsoft SQL ServerAnalysis Services 2008,抽取阿坝师专图书馆学生流通历史数据,构建了

期刊

数据仓库联机分析处理图书馆数据挖掘数据分析data warehouse OLAP library data mining data analy

争创一流的上海市盲童学校

上海市盲童学校由美籍英国人傅兰雅创办于1912年11月,其子傅步兰为首任校长。1952年6月,上海市教育局接办。学校占地18666平方米,校舍13248平方米。学校环境幽美,设备齐全,师

期刊

职业中专创一流傅兰雅设备齐全盲教育特色学科良好生活习惯小学基础教育教育会议养成教育

Genetic Algorithms-based Optimization of Cable Stayed Bridges

Optimum design of cable stayed bridges depends on number of parameters. Design of Cable stayed bridge satisfying all practical constraints is challenging to the

期刊

CABLEStayedBRIDGEGENETICALGORITHMSSTIFFNESSAnalysisCable Stayed BridgeGe

黄土塬区施加磷肥对小麦光合性能、水分利用效率及茎流速率的影响

通过陕西长武黄土塬区的田间试验,对3个磷肥施用水平（0、901、80 kg/hm2,即F0,F1和F2）下小麦的光合性能、瞬时水分利用效率及开花期植株茎流速率的变化进行了研究,分析了不同施

期刊

小麦施磷量光合性能水分利用效率茎流产量wheat phosphorus photosynthetic characteristics water u

Current literature on software project management indicates that the majority of software projects either are considered a failure or challenged. These projects

期刊

SOFTWAREPROJECTSSUCCESSFACTORSTechnicalFACTORSPEOPLEFACTORSCultureFACTO

建立领导干部队伍学习型组织,创新党校培训模式

党的十七大提出要继续大规模培训干部，大幅度提高干部素质。党校作为大规模培训党员干部，特别是领导干部的主渠道、主阵地，积极探索以建立领导干部队伍学习型组织来强化干部的学

期刊

领导干部队伍学习型组织培训模式党校创新干部教育培训工作党的十七大干部素质

Knowledge Management of Software Productivity and Development Time

In this paper, we identify a set of factors that may be used to forecast software productivity and software development time. Software productivity was measured

期刊

SOFTWAREEngineeringSOFTWAREMetricsFOURTHGenerationLANGUAGESCASETOOLSFie

Mapping UML 2.0 Activities to Zero-Safe Nets

与本文相关的学术论文