检索结果-内蒙古大学图书馆

Implementing agent management using conversation patterns and role theory 14th

14th International conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001

作者： Stergiou, Christos Arys, Geert Imperial College Dept. of Elec. and Electronic Eng. Exhibition Road LondonSW7 2BT United Kingdom Free University of Brussels Pleinlaan 2 Brussels1050 Belgium

ISBN: (纸本)3540422196

In this paper we provide a framework for building management services for software agents using conversation patterns. these patterns classify agent interaction, using the principles of object oriented software design patterns, encapsulating pure communication requirements and responsibilities. All services, including management services, interact with their clients using the same conversation patterns as defined in this paper. Any conversation is started in three steps: requesting a service, negotiating a pattern and establishing pattern roles. Role theory and reusable policy specifications regulate the way agents participate, providing a rich source of information for conversation management. the methodology promotes platform independence and fits the needs of a modular, distributed environment;enabling services use the powerful plug-and-play concept. Co-operation patterns are built upon conversation patterns, but also describe the ‘social’ relationships between agents based on beliefs, desires and intentions. © Springer-Verlag Berlin Heidelberg 2001.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Extending Moby with inheritance-based subtyping 14th

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Fisher, K Reppy, J AT&T Labs Res Florham Pk NJ 07932 USA Bell Labs Lucent Technol Murray Hill NJ 07974 USA

ISBN: (纸本)3540676600

Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyping. In contrast, the theoretical language community has viewed this linkage as a mistake and has focused on subtyping relationships determined by the structure of object types, without regard to their underlying implementations. In this paper, we explore why inheritance-based subtyping relations are useful and we present an extension to the MOBY programming language that supports both inheritance-based and structural subtyping relations. In addition, we present a formal accounting of this extension.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Synthesizing objects

引用

CONCURRENCY-PRACTICE AND EXPERIENCE 2000年第14期12卷 1347-1377页

作者： Czarnecki, K Eisenecker, UW DaimlerChrysler AG Res & Technol D-89081 Ulm Germany Univ Appl Sci Kaiserslautern Zweibrucken Germany

this paper argues that the current OO technology does not support reuse and configurability in an effective way, this problem can be addressed by augmenting OO Analysis and Design with feature modeling and by applying generative implementation techniques. Feature modeling allows capturing the variability of domain concepts, Concrete concept instances can then be synthesized from abstract specifications. Using a simple example of a configurable list component, we demonstrate the application of feature modeling and how to implement a feature model as a generator. We introduce the concepts of configuration repositories and configuration generators and show how to implement them using object-oriented, generic, and generative language mechanisms. Interestingly, a configuration repository represents an effective approach for typing synthesized recursive classes. the configuration generator utilizes C++ template metaprogramming, which enables its execution at compile-time. Copyright (C) 2000 John Wiley & Sons, Ltd.

关键词： generative programming feature modeling system families object-oriented and generic programming template metaprogramming reusable components C plus plus templates

来源：评论

学校读者我要写书评

暂无评论

Mobile object systems

Mobile object systems

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Bryce, C Razafimahefa, C Univ Geneva Object Syst Grp Geneva Switzerland

ISBN: (纸本)3540415130

the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series - entitled “objects and Agents” (1995) and “Agents on the Move” (1996) - were exploratory in nature, reflecting a growing awareness and interest in the possibilities of mobile code and mobile objects for Internet programming. Towards the end of the 1990s, Interest in the domain began to stabilize and several mobile object systems appeared in the research community. As a consequence, further editions of the Mobile object Systems workshop concentrated on specific aspects of mobile objects. thus, the title of the 1997 workshop was “Operating System Support”, the theme of the 1998 workshop was “Security”, and the theme of the 1999 installment was “programming Language Support”.

关键词：

来源：评论

学校读者我要写书评

暂无评论

UML-F: A modeling language for object-oriented frameworks 14th

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Fontoura, M Pree, W Rumpe, B Princeton Univ Dept Comp Sci Princeton NJ 08544 USA Univ Constance C Doppler Lab Software Res D-78457 Constance Germany Munich Univ Technol D-80290 Munich Germany

ISBN: (纸本)3540676600

the paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. this UML extension, called UML-F, allows the explicit representation of framework variation points. the paper discusses some of the relevant aspects of UML-F, which is based on standard UML extension mechanisms. A case study shows how it can be used to assist framework development. A discussion of additional tools for automating framework implementation and instantiation rounds out the paper.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

PhDOOS 2000: the 10th Ph.D. workshop on object-oriented systems

PhDOOS 2000: The 10th Ph.D. workshop on object-oriented syst...

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Lauder, A Dumas, M Frohner, A Oliver, I Univ Kent Canterbury Kent England Univ Grenoble LSR IMAG Grenoble France Eotvos Lorand Univ H-1364 Budapest Hungary

ISBN: (纸本)3540415130

PhDOOS is a conference within a conference, rather than a traditional workshop per se. Participants are Ph.D. students bound by a common interest in object orientation. this year, as in previous years, most participants presented a technical paper describing their research, with feedback from other participants forming the stimulus for ongoing discussion. Most participants also joined one of three distinct workshop themes, wherein particularly thorny research topics were explored collaboratively, with the aim of generating fresh insights and spotting potential research avenues for the future.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Component-oriented programming

Component-oriented programming

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Bosch, J Szyperski, C Weck, W Univ Groningen Groningen Netherlands Microsoft Res Redmond WA 98052 USA Oberon Microsyst Zurich Switzerland

ISBN: (纸本)3540415130

WCOP 2000, held in conjunction with ecoop 2000 in Sophia Antipolis, France, was the fifth workshop in the successful series of workshops on component- oriented programming. the previous workshops were held in conjunction with the respective ecoop conferences in Linz, Austria, Jyv?skyl?, Finland, Brussels, Belgium and Lisbon, ***96 had focussed on the principal idea of software components and worked towards definitions of terms. In particular, a high-level definition of what a software component is was formulated. WCOP97 concentrated on compositional aspects, architecture and gluing, substitutability, interface evolution, and non-functional requirements. WCOP98 had a closer look at issues arising in industrial practice and developed a major focus on the issues of adaptation. WCOP’99 moved on to address issues of component frameworks, structured architecture, and some bigger systems built using components frameworks. the topics for WCOP 2000 focussed on component composition, validation and refinement and the use of component technology in the software industry.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Empirical study of object-layout strategies and optimization techniques 14th

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Eckel, N Gil, J Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel IBM Corp TJ Watson Res Ctr Yorktown Hts NY 10598 USA

ISBN: (纸本)3540676600

Although there is a large body of research on the time overhead of object oriented programs, there is little work on memory overhead. this paper takes an empirical approach to the study of this overhead, which turns out to be significant in the presence of multiple inheritance. We study the performance, in terms of overhead to object size of three compilation strategies: separate compilation, whole program analysis, and user annotations as done in C++. A variant to each such strategy is the inclusion of pointers to indirect virtual bases in objects. Using a database of several large multiple inheritance hierarchies, spanning 7000 classes, several application domains and different programming languages we find that in all strategies there are certain classes which give rise a large number of compiler generated fields in their object layout. We then study the efficacy of the recently introduced inlining and bidirectional object layout optimization techniques, and shaw that an average saving of close to 50% in this overhead can be achieved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A formal notation and tool for the engineering of CORBA systems

引用

CONCURRENCY-PRACTICE AND EXPERIENCE 2000年第14期12卷 1379-1403页

作者： Bastide, R Sy, O Palanque, P Univ Toulouse 1 LIHS FROGIS F-31042 Toulouse France

CORBA is a standard proposed by the object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects, However, CORBA IDL does not provide any means to specify the behavior of objects in an abstract and formal way. In the current practice, behavioral specification is provided either in plain English, or directly in the programming language chosen for the implementation, We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. We detail at the syntactic and semantic level how this formalism supports the features of the CORBA object model. We present a realistic case study to demonstrate our approach, Our technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to prototype and test a distributed object system as soon as the behaviors of individual objects have been defined. the paper discusses several implementation issues of the tool that supports the edition of models and their interactive excution, the high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications. Copyright (C) 2000 John Wiley & Sons, Ltd.

关键词： formal methods distributed objected-oriented systems CORBA Petri nets behavioral specification

来源：评论

学校读者我要写书评

暂无评论

Panel session: Mobile code, Internet security, and e-commerce

Panel session: Mobile code, Internet security, and e-commerc...

引用

14th european conference on object oriented programming (ecoop 2000)

作者： Molva, R Baude, F Inst Eurecom F-06904 Sophia Antipolis France Univ Nice Sophia Antipolis CNRS INRIA F-06902 Sophia Antipolis France

ISBN: (纸本)3540415130

Security of e-applications running over Internet is a major requirement for their widespread use. As discussions in this panel often pointed it out, such kind of applications shows more and more a property of mobility: mobility of code, data, or even mobility of objects, termed agents. But how to enforce security of such mobile components ? Is it at the programming language level, or could it be managed in a completely transparent way for the programmer ? Do we need domain-specific languages that we hope could be trusted or are general-purpose languages enough ? this panel gave some highlights on how adequate the object-oriented language technology could be;at which level of granularity security has to be designed and introduced into the application;why solutions differing from classical cryptography-based solutions are promising.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：