Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885911
Xue Li, W. Huang
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885904
Dingbang Xu, Xin Han, Jianmin Wang, Yujian Chen
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885912
Shuzhen Yao, Shenghua Geng, Yufeng Liu
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885899
Lingfeng Wang
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885895
Hui Jiang, Dong Lin, Xiren Xie
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885916
Wu Gang, Wu Quanyuan, W. Huaimin
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885903
Cai Min, Xie Junqing, Wang Yun, Gu Guanqun
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885906
Wei Mingliang, Qian Yu, Mao Bing, Xie Li
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885922
Nicholas Nicoloudis, C. Mingins
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.
{"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}
Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885920
Yong Zhang, Jianhua Feng, Lizhu Zhou
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：