期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
基于可扩展标记语言XML的网招录取数据交换技术分析 被引量:1
1
作者 林静 《九江学院学报(自然科学版)》 CAS 2016年第3期55-57,共3页
随着对网招录取数据交换技术的发展要求的提升,利用可扩展标记语言XML,可以完善现有的网招录取数据交换技术应用结构,并从功能模块、结构模块进行对于网招录取数据交换功能的逐步完善。文章通过对基于可扩展标记语言XML的网招录取数据... 随着对网招录取数据交换技术的发展要求的提升,利用可扩展标记语言XML,可以完善现有的网招录取数据交换技术应用结构,并从功能模块、结构模块进行对于网招录取数据交换功能的逐步完善。文章通过对基于可扩展标记语言XML的网招录取数据交换技术涉及到的结构设计、逻辑组成规划、生成模式研究,以及高效的基于可扩展标记语言XML的网招录取数据交换技术分析研究,可全面提升网招录取数据管理效率,为促进网招录取数据信息化建设发展提供参考建议。 展开更多
关键词 扩展标记语言 XML 招录取数据交换技术
下载PDF
基于扩展标记语言的Internet市场的服务描述 被引量:4
2
作者 周笑波 杜鹏 +2 位作者 陈贵海 陈道蓄 谢立 《软件学报》 EI CSCD 北大核心 2000年第1期62-66,共5页
作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它... 作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它较好地权衡了市场构架与顾客及服务提供者的观点 . 展开更多
关键词 扩展标记语言 INTERNET INTERNET市场
下载PDF
基于广义随机Petri网的可视化建模与仿真工具 被引量:8
3
作者 黄勇 张友良 +1 位作者 汪惠芬 王志亮 《计算机集成制造系统》 EI CSCD 北大核心 2004年第8期892-897,共6页
为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模... 为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。 展开更多
关键词 petri 可视化建模与仿真工具 面向对象方法 扩展标记语言
下载PDF
基于标签Petri网的OWL-S建模与分析 被引量:8
4
作者 李景霞 肖政 侯紫峰 《计算机工程》 CAS CSCD 北大核心 2007年第7期8-10,共3页
提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。
关键词 OWL—S过程模型 标签petri 可达性 死锁 petri标记语言
下载PDF
业务过程模型的Petri网形式化检查方法 被引量:6
5
作者 邓建 陈智 曾家智 《计算机集成制造系统》 EI CSCD 北大核心 2011年第5期1110-1119,共10页
为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和... 为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明,业务过程流网能将符合过程定义可扩展标记语言规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析。 展开更多
关键词 企业间协同 业务建模 模型检查 业务过程建模符号 扩展标记语言 petri
下载PDF
广义随机Petri网下的组合Web服务建模与评价 被引量:9
6
作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多
关键词 语义Web服务标记语言 广义随机petri 组合WEB服务 性能评价 形式化验证
下载PDF
基于PES的Petri网可执行模型生成方法 被引量:2
7
作者 傅炯 罗爱民 +1 位作者 罗雪山 刘俊先 《系统工程与电子技术》 EI CSCD 北大核心 2017年第5期1030-1035,共6页
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Pe... 针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。 展开更多
关键词 体系结构 体系结构验证评估 可执行模型 物理交换规范 petri标记语言
下载PDF
IEC61850操作语义形式化描述的Petri网方法及其实现 被引量:2
8
作者 常弘 茹锋 薛钧义 《电网技术》 EI CSCD 北大核心 2006年第1期94-98,共5页
通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性... 通过对IEC61850标准中变电站配置语言(SubstationConfigurationLanguage,SCL)的XMLSchema(ExtensibleMarkupLanguageSchema)定义和声明内容的研究发现,统一建模语言(UnifiedModelingLanguage,UML)状态机的语义表达能力存在明显的局限性,它与XML结合无法精确描述具有逻辑时序要求的模块语义,造成在IEC61850完备的语义信息模型基础上建立的ACSI(AbstractCommunicationServiceInterface)的XML描述不完备,极大地影响系统的互操作性。文章应用Petrinet建立的IEC61850控制模块具有明确的语义模型,基于XML的Petrinet形式化描述不仅实现了语义信息模型的完备描述,也完善和强化了SCL的XMLSchema描述操作语义的能力,有效保证了系统的互操作性和一致性。 展开更多
关键词 操作语义 统一建模语言 petri 扩展的标志性语言 语义信息模型 变电站自动化
下载PDF
基于事件消息驱动的Petri网的类族测试用例生成技术的研究 被引量:3
9
作者 龚红仿 李军义 邹北骥 《计算机应用》 CSCD 北大核心 2005年第1期65-68,共4页
在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状... 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。 展开更多
关键词 类族交互测试 测试用例生成 事件消息驱动petri 扩展的正交阵列测试系统 标记 联递推法 同步消息序列 测试覆盖标准
下载PDF
Petri网Ontology:定义与类型 被引量:2
10
作者 黄映辉 李冠宇 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期34-37,共4页
Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Onto... Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Ontology。PNML性质上就是标签Ontology。作为标准型的标签Ontology,既可给出Petri网Ontology的统一解释,也是对其进一步研究的基础。 展开更多
关键词 petri ONTOLOGY ISO/IEC15909 petri标记语言 标签
下载PDF
语义网描述语言比较研究 被引量:8
11
作者 杜文华 《情报杂志》 CSSCI 北大核心 2004年第9期40-42,共3页
语义网是对WWW的延伸 ,从而使得网络中尽可能多的信息都是具有语义的 ,是计算机能够理解和处理的 ,便于人和计算机之间的交互与合作。其研究重点就是如何把信息表示为计算机能够理解和处理的形式 ,即知识表达问题。通过比较几种典型的... 语义网是对WWW的延伸 ,从而使得网络中尽可能多的信息都是具有语义的 ,是计算机能够理解和处理的 ,便于人和计算机之间的交互与合作。其研究重点就是如何把信息表示为计算机能够理解和处理的形式 ,即知识表达问题。通过比较几种典型的语义网描述语言 :RDF(s)、OIL、DAML +OIL以及OWL 。 展开更多
关键词 语义 信息描述 描述语言 XML 扩展标记语言 RDF 资源描述框架 OIL 本体论 DAML
下载PDF
基于时间Petri网的Web服务建模技术研究 被引量:1
12
作者 袁志祥 《计算机工程与设计》 CSCD 北大核心 2006年第20期3801-3804,共4页
Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关... Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的。因此IBM为解决该问题,提出了Web服务流程语言(webservicesflowlanguage,WSFL)。但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的。 展开更多
关键词 时间petri WEB服务 Web服务流语言 商务流程模型 工作流 扩展标记语言
下载PDF
TTA流水线Petri网模型 被引量:1
13
作者 朱勇 《微电子学与计算机》 CSCD 北大核心 2013年第2期29-32,共4页
Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.
关键词 传输触发构架 petri petri标记语言 流水线
下载PDF
未来能理解人类语言的智能网络——语义网 被引量:1
14
作者 吴江 《计算机与网络》 2008年第2期62-64,共3页
文章介绍了语义网的定义、作用和与传统万维网的区别,论述了语义网如何基于可扩展标记语言 XML 和资源描述框架 RDF 来实现让计算机能够自动识别和处理网上信息,并对语义网通过本体层来表示出信息的含义及各种信息间的语义联系及本体的... 文章介绍了语义网的定义、作用和与传统万维网的区别,论述了语义网如何基于可扩展标记语言 XML 和资源描述框架 RDF 来实现让计算机能够自动识别和处理网上信息,并对语义网通过本体层来表示出信息的含义及各种信息间的语义联系及本体的构建做了一定的探讨。 展开更多
关键词 语义 扩展标记语言 语言和资源描述框架 本体库
下载PDF
基于XML的UML时序图向Petri网的转换 被引量:1
15
作者 应一舟 叶丽君 郭义喜 《计算机工程》 CAS CSCD 北大核心 2009年第22期84-87,共4页
针对统一建模语言(UML)时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并... 针对统一建模语言(UML)时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并通过实例对方案可行性进行了验证。 展开更多
关键词 扩展标记语言 统一建模语言 petri 转换
下载PDF
XML语言及相关技术综述 被引量:63
16
作者 瞿裕忠 张剑锋 +1 位作者 陈峥 王丛刚 《计算机工程》 CAS CSCD 北大核心 2000年第12期4-6,30,共4页
作为数据表示的一个开放标准,XML语言给Web应用乃至网络计算注入了新的活力。文中给出了XML的简介,包括设计背景、关键特性、相关技术标准,讨论了XML的用途及应用开发技术,探讨了XML与对象技术的协作及发展趋势。
关键词 扩展标记语言 XML语言 WEB INTERNET
下载PDF
基于语义网的企业知识协同管理研究 被引量:5
17
作者 梁莹 徐福缘 《计算机应用研究》 CSCD 北大核心 2009年第11期4159-4161,4165,共4页
提出了基于语义网的企业知识协同管理框架,并分析了各知识协同层次的功能和相关技术。在数据层采用XML技术实现数据的集成和交换,并利用领域本体的语义集成分布式的知识资源,建立全局本体映射以消除存在于多个本体间的语义异质性,在知... 提出了基于语义网的企业知识协同管理框架,并分析了各知识协同层次的功能和相关技术。在数据层采用XML技术实现数据的集成和交换,并利用领域本体的语义集成分布式的知识资源,建立全局本体映射以消除存在于多个本体间的语义异质性,在知识层通过协调这些具有语义异构性的本体来实现多个企业的知识共享。最后,以企业间专利资源的协同管理为实例,阐明了企业知识语义化的过程。 展开更多
关键词 语义 知识协同 本体 RDF 扩展标记语言 OWL
下载PDF
面向供需网协同管理的企业知识建模研究 被引量:4
18
作者 梁莹 徐福缘 《计算机应用研究》 CSCD 北大核心 2012年第2期586-589,共4页
为了在供需网环境下实现企业知识的协同管理,提出了供需网企业知识本体(SDNKO)的概念,根据SDNKO的多粒度特性,将SDNKO的概念空间划分为元概念层、领域模型层和应用实例层。在分析元概念类的层次结构和概念类的关联集后,针对电梯行业领... 为了在供需网环境下实现企业知识的协同管理,提出了供需网企业知识本体(SDNKO)的概念,根据SDNKO的多粒度特性,将SDNKO的概念空间划分为元概念层、领域模型层和应用实例层。在分析元概念类的层次结构和概念类的关联集后,针对电梯行业领域的企业知识本体概念空间进行了详细的说明。为表达供需网的协同知识语义,阐述了SDNKO概念框架的巴科斯范式和文档类型定义。最后,给出了供需网企业产品订单生成的知识协同管理实例。 展开更多
关键词 供需 协同管理 知识本体 概念空间 巴科斯范式 扩展标记语言
下载PDF
基于扩展的EDPN的类的交互测试用例生成技术的研究 被引量:1
19
作者 龚红仿 李军义 +2 位作者 胡积平 邹北骥 孙家广 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第1期99-103,共5页
针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合... 针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性. 展开更多
关键词 类的交互测试 测试用例生成 扩展的事件驱动petri 扩展的正交阵列测试 系统 标记关联递推法 测试覆盖标准
下载PDF
基于语义网的数字图书馆的关键技术 被引量:27
20
作者 王丽华 《情报杂志》 CSSCI 北大核心 2004年第4期5-8,共4页
叙述了数字图书馆的特性 ,给出了基于语义网的数字图书馆构想 ,并讨论了基于语义网的数字图书馆设计过程中的一些关键问题。
关键词 数字图书馆 语义 XML 扩展标记语言 知识管理 格技术 本体论 元数据 络安全
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部