发布求助
文献互助 智能选刊 最新文献

Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000最新文献

筛选
英文 中文
Counter inference of intelligent agents 智能代理的反推理
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885911
Xue Li, W. Huang
{"title":"Counter inference of intelligent agents","authors":"Xue Li, W. Huang","doi":"10.1109/TOOLS.2000.885911","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885911","url":null,"abstract":"The essence of counter inference is intelligence competition and critical decision making that will result in chained reactions in an open system environment. Intelligent agents are capable not only of carrying out negotiations but also playing games. A negotiation could have win-win (or lose-lose) outcomes while a game may result in win-lose situations. The paper proposes counter inference as a unified reasoning paradigm to allow intelligent agents to execute reasoning tasks in either cooperative or non-cooperative ways. Based on logic theory, we discuss a framework of counter inference. Some examples of counter inference are also given to illustrate its reasoning scenario.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"18 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125646120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A strategy for persistent object service under CORBA and Web environment CORBA和Web环境下的持久对象服务策略
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885904
Dingbang Xu, Xin Han, Jianmin Wang, Yujian Chen
{"title":"A strategy for persistent object service under CORBA and Web environment","authors":"Dingbang Xu, Xin Han, Jianmin Wang, Yujian Chen","doi":"10.1109/TOOLS.2000.885904","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885904","url":null,"abstract":"With the rapid development of the Internet, the integrated applications of Web, database, CORBA and Java have offered the three-tiered client/server application models a good computing environment and implementation strategy. This paper briefly introduces this kind of client/server application model based on CORBA and Web, and discusses a persistent object service for it. The paper describes in detail the persistent object service's architecture model, interactive process of components, main interface descriptions and some considerations when implementing this strategy. Finally, a summary is supplied for the persistent object service.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133757894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Application of development method based on multi-agents 基于多agent的开发方法的应用
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885912
Shuzhen Yao, Shenghua Geng, Yufeng Liu
{"title":"Application of development method based on multi-agents","authors":"Shuzhen Yao, Shenghua Geng, Yufeng Liu","doi":"10.1109/TOOLS.2000.885912","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885912","url":null,"abstract":"Multi-agent systems are becoming an important information technique in future manufacturing control. The paper puts forward an analysis method of multi-agent systems, an interactive model of agents, and an agent design scenario.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116829704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Using object-orientation in developing a flexible automatic test system 采用面向对象技术开发灵活的自动测试系统
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885899
Lingfeng Wang
{"title":"Using object-orientation in developing a flexible automatic test system","authors":"Lingfeng Wang","doi":"10.1109/TOOLS.2000.885899","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885899","url":null,"abstract":"Aiming at improving the reconfiguration capability of an automatic testing system for turbine machinery, the method of object orientation is employed to develop its software. Since the project size is small, we adopt a compact and pragmatic approach to construct this object-oriented application instead of using complicated commercial object-oriented methods. Although the method is simple, it covers all phases from collecting customer requirements to testing the code. In this paper, the five main phases of the object-oriented method (requirements capture, analysis, design, programming and testing) are presented. The successful practical application proves that the adopted object-oriented method is efficient for this software development.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128366315","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Embedding UML and type theory to formalize the process of requirement engineering 嵌入UML和类型理论，使需求工程过程形式化
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885895
Hui Jiang, Dong Lin, Xiren Xie
{"title":"Embedding UML and type theory to formalize the process of requirement engineering","authors":"Hui Jiang, Dong Lin, Xiren Xie","doi":"10.1109/TOOLS.2000.885895","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885895","url":null,"abstract":"Nowadays, the main reason for the failure of large-scale systems developments is that the requirements analysis stage cannot produce complete, understandable, unambiguous traceable and testable system requirements documents. To conquer this problem, from the point of view of \"requirements engineering\" (RE), the formalization of the RE process is discussed from three aspects: a full process model, formal representation and formal verification. RE is taken as a process growing in the 3D space of sociology, methodology and technology, and a spiral lifecycle model of this process is given to illustrate its social characteristics. The recommended representation language is UML, and Coq is used as a component-cut-in modular formal method to carry out validation and verification. Finally, the alternating-bit protocol is presented as an example to demonstrate how to combine UML and Coq to formalize RE.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130221513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A novel workflow management model based on mobile agents for Internet electronic commerce 基于移动代理的互联网电子商务工作流管理模型
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885916
Wu Gang, Wu Quanyuan, W. Huaimin
{"title":"A novel workflow management model based on mobile agents for Internet electronic commerce","authors":"Wu Gang, Wu Quanyuan, W. Huaimin","doi":"10.1109/TOOLS.2000.885916","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885916","url":null,"abstract":"Electronic commerce on the Internet is receiving a lot of attention. Workflow management is regarded as an effective mechanism for managing the business processes behind electronic commerce, but the present workflow management model has many drawbacks in this field. The paper gives a novel workflow management model based on mobile agents for Internet electronic commerce, and its advantages are also presented.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116610710","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An implementation model of IntServ/RSVP based CORBA A/V Stream Service 基于IntServ/RSVP的CORBA A/V流服务实现模型
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885903
Cai Min, Xie Junqing, Wang Yun, Gu Guanqun
{"title":"An implementation model of IntServ/RSVP based CORBA A/V Stream Service","authors":"Cai Min, Xie Junqing, Wang Yun, Gu Guanqun","doi":"10.1109/TOOLS.2000.885903","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885903","url":null,"abstract":"In order to meet the requirements of building CORBA-based distributed multimedia applications, OMG has defined the CORBA A/V Stream Service Specification. However, it does not specify which network mechanism to use to ensure the QoS of multimedia streams. In this paper, an implementation model of IntServ/RSVP based CORBA A/V Stream Service is proposed. It first maps the application-level QoS parameters of multimedia streams specified by application developers into network-level QoS parameters. It then negotiates the QoS requirements with the IntServ/RSVP enabled network and reserves the corresponding network resource in the endsystems and intermediate network systems to maintain end-to-end QoS enforcement through the RSVP API. Also, developers can flexibly control and manage the multimedia streams using CORBA IIOP protocol.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"229 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121792092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Protocol Mapping Model for distributed multimedia systems 分布式多媒体系统的协议映射模型
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885906
Wei Mingliang, Qian Yu, Mao Bing, Xie Li
{"title":"Protocol Mapping Model for distributed multimedia systems","authors":"Wei Mingliang, Qian Yu, Mao Bing, Xie Li","doi":"10.1109/TOOLS.2000.885906","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885906","url":null,"abstract":"We present a layered model for distributed multimedia systems named Protocol Mapping Model. First we introduce the PMM architecture, which applies the protocol mapping technique to support smart protocol binding for applications. Second, we give the programming model and design of PMM. Third, the implementation of PMM is discussed followed by an example application HeteroAudio Station exhibiting the flexible support for use of the protocol in PMM systems.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121961281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Implementing trading object services in COM 在COM中实现交易对象服务
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885922
Nicholas Nicoloudis, C. Mingins
{"title":"Implementing trading object services in COM","authors":"Nicholas Nicoloudis, C. Mingins","doi":"10.1109/TOOLS.2000.885922","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885922","url":null,"abstract":"Identifying and locating services in distributed systems has always been problematic. Often, users have been obliged to identify not only the service required but also the specific supplier object type. Recently, the idea of trading services has been developed, allowing the developer to list a range of criteria required for a service, rather than an object type. We demonstrate how to employ Microsoft's Component Object Model (COM) categorizing facilities to implement a trading object service that allows for finer-grained matching criteria based on the semantics of types, subtypes and conformance. We conclude that, although categorization supports trading object services in COM, we are pushing COM to the limits of its capabilities. The static register/lookup nature of the COM registry restricts the trader from being realized as a truly dynamic discovery service.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127476637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Role-based database design for managing complex objects and their relationships on the Web 基于角色的数据库设计，用于管理Web上的复杂对象及其关系
Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000 Pub Date : 2000-10-30 DOI: 10.1109/TOOLS.2000.885920
Yong Zhang, Jianhua Feng, Lizhu Zhou
{"title":"Role-based database design for managing complex objects and their relationships on the Web","authors":"Yong Zhang, Jianhua Feng, Lizhu Zhou","doi":"10.1109/TOOLS.2000.885920","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885920","url":null,"abstract":"There are many applications that have complex structures, complex relationships and dynamic changes. There is a trend to publish information and do work on the Internet. The traditional object oriented method cannot fulfill the need of such systems. We define a new process method. First we use the semantic network to describe the requirement of the application. Then role theory and the authorization tree are used to design the database of the system. This method is very distinct and easy to use in the development of Web-based applications.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132122407","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信