-
题名一种面向语义Web服务的软件设计语言和设计方法
被引量：4
- 1
-
-
作者
曹虹华
应时
杜德慧
贾向阳
-
机构
武汉大学软件工程国家重点实验室
华东师范大学软件学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第B12期129-135,共7页
-
基金
国家863高技术研究发展计划资助项目（No.2006AA012168）
国家973重点基础研究发展规划资助项目（No.2007CB310800）
+1 种基金
国家自然科学基金（No.60773006）
北京市教育委员会2007年度科技发展计划面上项目（No.KM200710772003）.
-
文摘
在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域的一个实例，讨论了该方法的全过程．还给出了SPL语言和相关语言的比较．该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 .
-
关键词
语义WEB服务
语义编程语言SPL
软件设计方法
-
Keywords
semantic web services
semantic programming language
semantic service oriented design
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于Agent的语义Web服务编制框架
- 2
-
-
作者
赵楷
应时
胡罗凯
曾志浩
袁文杰
-
机构
武汉大学软件工程国家重点实验室
新疆大学信息科学与工程学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2010年第6期150-154,共5页
-
基金
国家973计划资助项目(2007CB7310800)
国家自然科学基金资助项目(60773006)
国家教育部博士点基金资助项目(2006048604)
-
文摘
针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语义Web服务编制的技术框架。框架实现基于SPL开发和运行支撑平台,该平台为语义Web服务和软件Agent提供必要的运行支持。
-
关键词
AGENT
多AGENT系统
语义编程语言
语义WEB服务
编制框架
-
Keywords
agent lmulti-agent system
semantic programming language
semantic web service
orchestration framework
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名工业机器人解释器语义分析研究
- 3
-
-
作者
周泽湘
丁跃浇
张敏
-
机构
湖南科技大学信息与电气工程学院
湖南理工学院
-
出处
《自动化信息》
2012年第5期45-47,共3页
-
文摘
介绍了语义分析的发展现状。针对目前解释器语义分析效率较低的问题，并结合工业机器人控制系统的特点，研究了利用语法分析栈来实现工业机器人解释器语义分析的方法，并实现了工业机器人编程语言IRL的语义分析。基于该方法的解释器在Visual Studio2005平台上用C＋＋实现，生成的目标代码运行于WinCE嵌入式系统。实验结果证明了该方法的正确性和高效性。
-
关键词
解释器
语义分析
语法分析栈
工业机器人
机器人编程语言
-
Keywords
Interpreter
semantic Analysis
Grammar Analysis Stack
Industrial Robot
Robot programming language
-
分类号
TP242
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名增量静态语义分析的一个对象模型
被引量：1
- 4
-
-
作者
徐智晨
钱家骅
-
机构
复旦大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1994年第9期30-37,共8页
-
文摘
本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．
-
关键词
增量静态语义
PASCAL语言
对象模型
-
Keywords
Incremental static semantic analysis, object orientation, PASCAL-like programming language, attribute grammar, multi-user, distributed environment.
-
分类号
TP312PA
[自动化与计算机技术—计算机软件与理论]
-
