AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Ap

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:luo000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Activity-oriented context-aware (AOCA) applications are representative in pervasive computing. These appli-cations recognize daily-life human activities, perceive the environment status related to the activities, and react to ensure the smooth performance of the activities. Existing research proposed a specific light-weight, incremental method to support the development of such applications; however it is not easy to le and use. This paper aims to facilitate the development of such applications and improve the productivity of developers. We propose AocML, a textual domain-specific language which provides a high-level abstraction of AOCA applications. Specifically, we first show the software model of AOCA applications and the abstract syntax of AocML. Then, we introduce the concrete syntax of AocML. We also implement the tools for AocML, including the development environment as well as the generation of Java code and ontology specification. Moreover, we use a case study and evaluation to demonstrate the advantages of AocML.
其他文献
全国首家以促进高校毕业生就业为宗旨的社会组织,由政府部门、省内高校、企事业单位组成的吉林省高校毕业生就业促进会2010年12月28日在长春成立,并举办了首次会员大会。金振吉副省长被推举为第一任会长。  省政府副秘书长、省高校毕业生就业促进会常务副会长张大松在讲话中对高校毕业生就业促进会的成立给予高度评价。我省2010年毕业生14.7万人,2011年将达到15.4万人,每年以6%的速度增长,预计到十
一、温棚建造rn温棚仿北方蔬菜大棚,每个鱼池面积30~60米2,椭圆形,中心留排水口,以便排污.池深1.2米,保持水深1米.
通过试验研究与借鉴国内外先进经验,总结出苏南地区经济实用型连栋温室的结构设计标准:温室栋宽8x4=32 m,长度40~60 m,面积1280~1920 m2,南北延长方向,柱高3m,顶高5 m,雨槽底檐
近 30年来 ,国内外学者对股骨头缺血坏死 (avascularnecro sisofthefemoralhead ,简称ANFH)进行了大量研究 ,但因其病因及发病机制不清楚 ,所以对ANFH的治疗缺乏依据 ,对各种治疗方法的选择及评价仍存在很大争议。对ANFH的
午后的阳光,透过窗子打在了王玉香家墙上那个鲜红的中国结剪纸上。“我管它叫套环”,王玉香有点不好意思地笑笑。这个家住绿园区东兴屯的中年农妇指着身后墙上一片红彤彤的剪纸作品说。“心里高兴的时候就剪纸,心里难受了也剪……”王玉香说,这面墙上的所有作品,就是她这么多年来心情的晴雨表:“可能阴天的时候多了一点,以后就好了。”    宝葫芦——简约但不简单    刚迈进王玉香那个不足10平方米的小屋,三面墙上
概述了园林树木(立木)腐朽病的发生特点、发生规律及其诊断技术,介绍了常见的腐朽菌种类,并针对园林树木腐朽病提出相应的防治措施。 The occurrence characteristics, occu
对藏马鸡人工饲养和繁殖的技术及经验进行了总结,阐述了在滇西北地区人工饲养藏马鸡,包括笼舍设置、饲养管理措施和繁殖在内的技术要点.
在CT诊断中,运用静脉增强扫描是必不可少的检查手段.我院1999-01~2000-12对2160例患者进行了CT增强扫描,取得了较好的增强效果,现就穿刺要领、造影剂的副反应预防、检查过程
1 河南省蔬菜产业的发展现状rn河南省蔬菜生产坚持以市场为导向,以科技为依托,以规模效益为中心,以增加农民收入为目的,积极调整和优化种植结构,有力地促进了全省蔬菜产业化
简述了藏药植物匙叶翼首草的生物学特性、人工栽培技术和采收加工,通过人工栽培可给农牧民带来可观的收入,从而促使该地区农牧民进行大面积栽培和推广种植。 The biological