安托尼亚州洛佩斯;JoséLuiz Fiadeiro 上下文感知设计抽象的代数语义。 （英语） Zbl 1118.68557号 JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2004年3月27日至29日在西班牙巴塞罗那举行的第17届WADT国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25327-0/pbk）。计算机科学课堂讲稿3423，79-93（2005）。 摘要：我们研究了上下文的基本特征和在CommUnity中建模上下文感知的适当抽象，CommUnity是我们一直在开发的一种语言，用于支持分布式和移动系统的架构设计。假设组件感知的上下文由其当前位置决定，我们探索使用抽象数据类型来定义设计原语，通过这些设计原语可以根据应用领域显式地建模不同的上下文概念。有关整个系列，请参见[Zbl 1069.68006号]. 引用于2文件 MSC公司： 68问题65 抽象数据类型；代数规范 第68季度55 计算理论中的语义学 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：乌尔姆 PDF格式BibTeX公司 XML格式引用 \textit{A.Lopes}和\textit{J.L.Fiadeiro}，莱克特。注释计算。科学。3423，79-93（2005年；兹比尔1118.68557） 全文： 内政部