-
题名基于服务/模型驱动的智能楼宇集成优化仿真平台
被引量：2
- 1
-
-
作者
连晓峰
刘载文
-
机构
北京工商大学计算机与信息工程学院
-
出处
《计算机仿真》
CSCD
北大核心
2013年第7期383-387,共5页
-
基金
国家自然科学基金青年基金(11101012)
-
文摘
为实现智能楼宇自动化及最优化管理,需对楼宇中各子系统和设备进行集中监控和管理。为此提出一种基于服务/模型驱动的智能楼宇集成优化仿真平台。上述系统的整体架构包括建筑信息模型、需求管理模块、系统全局控制模块、人机交互模块和建模工具模块等多个不同层次的子系统/模块。根据用户需求,配置传感器网络和楼宇信息模型,通过设置全局控制器以实现与仿真平台的接口一致。最后以照明管理系统为例,利用CHARON混合建模工具分别建立仿真模型。结果表明改进方法可有效提供智能仿真平台。
-
关键词
智能楼宇
集成仿真平台
服务
模型驱动
照明管理系统
-
Keywords
Smart building
integrated simulation platform
service/model driven
Lighting manage system
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名智能Web服务及其元模型驱动的开发环境
- 2
-
-
作者
陆潇华
李银胜
-
机构
复旦大学软件学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2007年第12期85-87,共3页
-
文摘
当前的Web服务尚没有充分的语义支持,无法支持动态的面向服务组合与协同。提出了智能Web服务的参考元模型,强化其语义支持的交互与推理能力,并仔细探讨了服务的内部结构及其实现。基于这一模型,开发了一套集成开发环境,并以此来验证模型的可行性。
-
关键词
WEB服务
语义
智能服务模型
模型驱动
-
Keywords
Web services Semantics Intelligent service model model driven
-
分类号
TP393.4
[自动化与计算机技术—计算机应用技术]
-
-
题名面向服务系统设计的服务需求模型
被引量：13
- 3
-
-
作者
莫同
徐晓飞
王忠杰
-
机构
哈尔滨工业大学企业与服务智能计算研究中心
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第4期661-669,共9页
-
基金
国家自然科学基金资助项目(60673025)
国家863计划资助项目(2006AA01Z167
2006AA04Z165)~~
-
文摘
为全面、准确地描述顾客日益复杂和个性化的服务需求,支持服务系统半自动化设计,提出一种新的多视图服务需求模型。该模型从交互流程、组织、资源和信息四个方面对服务需求进行抽象,提取出相应的模型要素,给出建模一致性规则和建模过程。通过海运物流服务实例,说明了如何建立服务需求模型。此外,还将该模型与常见服务模型进行了对比分析,并展示了建模工具原型系统。
-
关键词
服务工程
模型驱动
服务系统设计
服务模型与服务建模
服务需求模型
服务模型驱动体系结构
-
Keywords
service engineering
model driven
service system design
service model
modeling
service requirement model
service model driven architecture
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名基于SMDA的企业应用系统定制技术
- 4
-
-
作者
祝锡永
李婷
吕美丹
-
机构
浙江理工大学管理科学与工程研究所
-
出处
《计算机系统应用》
2015年第3期92-97,共6页
-
基金
国家自然科学基金(71271192)
-
文摘
针对中小企业业务流程不规范和变化差异大等特点,指出现有软件定制技术面临的挑战.在SOA和MDA基础上,提出服务模型驱动的架构(SMDA),阐述服务模型和服务模板的概念,设计基于SMDA的软件定制技术平台框架;描述服务抽象和服务模板构造过程,构造一种基于XML的服务模板标记语言,以描述和配置企业应用系统的基本信息需求和个性化定制需求,并通过具体实例展示SMDA架构在软件快速重构与定制中的有效性和实用性.
-
关键词
软件定制
SMDA
服务模型
服务抽象
服务模板
-
Keywords
software customization
service model driven architecture
services abstraction
service template
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名服务工程方法体系
被引量：32
- 5
-
-
作者
徐晓飞
王忠杰
莫同
-
机构
哈尔滨工业大学企业智能计算与服务技术研究中心
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2007年第8期1457-1464,共8页
-
基金
国家自然科学基金资助项目(60673025)。~~
-
文摘
为了对社会化、信息化、个性化背景下的敏捷服务提供理论支持,提出一种用以刻画服务系统建模、构建与部署的服务工程的方法体系概念性框架。依据该框架的服务元模型、服务建模、服务系统构建、服务性能评价和相关支持工具五个要素,综述了服务工程方法。通过分析国内外研究现状,指出现代服务业背景下服务系统的建模、构建与部署的服务工程方法的进一步研究领域。最后根据该框架和已有研究,提出服务模型驱动的体系结构的服务工程方法体系,并简要介绍了该体系中五个要素的特征。
-
关键词
服务业
服务科学、管理与工程
服务工程方法体系
服务模型驱动的体系结构
-
Keywords
service industry
service science, management and engineering
methodology for service engineering
service-oriented model driven architecture
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名模型驱动架构的语义组合Web服务的验证
- 6
-
-
作者
蓝荣贵
王勇
朱正东
李增智
-
机构
西安交通大学计算机系
河南开封广播电视大学
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第8期51-55,共5页
-
基金
国家自然科学基金(No.60673170)~~
-
文摘
针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。
-
关键词
语义WEB服务
组合验证模型
模型驱动架构(MDA)
语义匹配度
-
Keywords
semantic Web service composite verifying model model driven Architecture（MDA） semantic matching degree
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
