【摘 要】
：
电网调度管理信息系统中使用的图形化流程建模语言GBPL缺少形式化的语义分析技术,使得建模者无法确保建模产生的业务流程的可靠性。提出了一种映射方法,可将GBPL定义的业务流
【机 构】
：
贵州电网有限责任公司电力调度控制中心,云南云电同方科技有限公司
论文部分内容阅读
电网调度管理信息系统中使用的图形化流程建模语言GBPL缺少形式化的语义分析技术,使得建模者无法确保建模产生的业务流程的可靠性。提出了一种映射方法,可将GBPL定义的业务流程转换为Petri网,从而使用Petri网来形式定义业务流程的语义;并借助Petri网的分析技术和分析工具,将对业务流程的可靠性检测转换为对Petri网的合理性检测。实验结果表明,该方法可有效识别出电网调度管理信息系统中不可靠的业务流程。
其他文献
官僚主义主要表现为脱离群众、脱离实际,利用手中的权力,徇私行贿、贪赃枉法。其中,领导制度的不健全是造成官僚主义的重要原因。因此,完善现代领导制度中的干部选拔任用制、
在创客文化的影响下,结合卓越工程师的培养目标,从培养缺乏个性化、实践创新平台不完备、培养结果考核手段不科学三个方面,文章分析了当前卓越工程师培养模式存在的问题,进而
<正> 随着社会主义市场经济体制的建立,企业正在成为真正的自主经营、自负盈亏的独立市场主体。税收是国家取得财政收入最重要的手段,也是宏观调控的重要工具,它与企业的经营
学习化学方程式最重要的学科思维就是分类和推理。运用分类的思想把大量的化学方程式分成简单的几类,掌握每一种分类的内在规律,就能快速书写和理解各个反应之间的关系。氧化
以利比亚建筑市场为例,在充分了解多个施工项目现状的基础上,对各施工企业均面临的成本控制、国际规范应用、原材料采购、图纸审批、施工人员入境等问题进行分析。在此基础上
<正> 明胶的一个独特的物理性质是它的溶胶与凝胶之间的可逆性转变,这在蛋白质和合成聚合物中都是很少见的。这一性质使它能广泛地应用于照相材料、医用药品和食品的制作中。
<正>最近，淮南市政府第10次常务会议研究决定，广泛开展全社会支持教育的活动。利用有关部门的优势，由市计委，市经委、市财政局，税务局，商业局，煤炭局、市医药公司、烟草公司、石油公
一、强化机制创新,规范制度保障立足＂一个人带领一帮人服务一群人＂理念,探索建立＂她代表＂微信工作室机制。结合妇代会代表利用自身资源服务广大妇女姐妹的强烈履职意愿,经广泛开
在市场经济活动中,企业进行经营管理活动,就一定会产生企业财务风险。如何正确认识企业财务风险的产生,并能够正确地对其进行识别,是企业防范财务风险的一项重要内容。本文从
为深入学习贯彻习近平总书记在同全国妇联新一届领导班子成员集体谈话时的重要讲话精神,落实好中国妇女十二大确定的目标任务,推动新时代妇女事业和妇联工作开创新局面,现通