Pub Date : 2000-10-30DOI: 10.1109/TOOLS.2000.885905
Yang Guang, D. Wen, Dingxing Wang
PDEFA is a distributed Ada95 pre-compiler, compiler and run-time system. PDEFA-I is the latest version of PDEFA that supports inheritance between parallel objects. Because of the inheritance anomaly problem with concurrent objects Ada95 does not support this mechanism, so we have to slightly modify the language to make inheritance possible. The code of each interface of a protected object in Ada95 is divided into two parts, synchronization code called condition and implementation code called action. These two parts of code can be changed or replaced independently in subclasses, making great effort for maximum code reuse. Consequently, PDEFA evolves into PDEFA-I with its parallel object model improved in order to solve the inheritance anomaly. We demonstrate mainly the work we have done with service objects.
{"title":"A revised, inheritance-supporting parallel object model in PDEFA-I","authors":"Yang Guang, D. Wen, Dingxing Wang","doi":"10.1109/TOOLS.2000.885905","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885905","url":null,"abstract":"PDEFA is a distributed Ada95 pre-compiler, compiler and run-time system. PDEFA-I is the latest version of PDEFA that supports inheritance between parallel objects. Because of the inheritance anomaly problem with concurrent objects Ada95 does not support this mechanism, so we have to slightly modify the language to make inheritance possible. The code of each interface of a protected object in Ada95 is divided into two parts, synchronization code called condition and implementation code called action. These two parts of code can be changed or replaced independently in subclasses, making great effort for maximum code reuse. Consequently, PDEFA evolves into PDEFA-I with its parallel object model improved in order to solve the inheritance anomaly. We demonstrate mainly the work we have done with service objects.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"17 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":"123381763","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.885908
Yong Qi, Li Ma, Jizhong Zhao, Junyi Shen
With the development of computer technology, computer applications in a distributed environment have become the trend of development. However, the even higher requirement of the data consistency and integrality under the distributed environment makes the traditional transaction process technology incompetent. To meet the new challenge, the object transaction service model for the distributed application environment was proposed. It combines both the traditional transaction process technology and the distributed object technology. The object transaction management system (OTMS) we implemented was based on the OTS model, which provides full capability of transaction service and management. Both the theory and the concrete implementation technology of the object transaction management system are presented in this paper.
{"title":"OTMS-a CORBA-compliant object transaction management system","authors":"Yong Qi, Li Ma, Jizhong Zhao, Junyi Shen","doi":"10.1109/TOOLS.2000.885908","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.885908","url":null,"abstract":"With the development of computer technology, computer applications in a distributed environment have become the trend of development. However, the even higher requirement of the data consistency and integrality under the distributed environment makes the traditional transaction process technology incompetent. To meet the new challenge, the object transaction service model for the distributed application environment was proposed. It combines both the traditional transaction process technology and the distributed object technology. The object transaction management system (OTMS) we implemented was based on the OTS model, which provides full capability of transaction service and management. Both the theory and the concrete implementation technology of the object transaction management system are presented in this paper.","PeriodicalId":393932,"journal":{"name":"Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000","volume":"126 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":"122642746","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
扫码关注我们
求助内容：
应助结果提醒方式：