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

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)最新文献

筛选
英文 中文
A compositional approach to concurrent objects 并发对象的组合方法
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713593
Xiaogang Zhang, John Michael Potter
{"title":"A compositional approach to concurrent objects","authors":"Xiaogang Zhang, John Michael Potter","doi":"10.1109/TOOLS.1998.713593","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713593","url":null,"abstract":"This paper presents an approach to modelling concurrent objects in the /spl pi/-calculus, in which the behaviour of a concurrent object is described by the composition of a process representing its functionality that allows maximum concurrency amongst method invocations, and a controller process constraining the permissible concurrency for the object. The ability to separately specify concurrent and functional behaviours will enable us to isolate and solve problems and difficulties involved with concurrency. The /spl pi/-calculus provides a reason foundation to analyse and identify the principle and properties of the separation and composition. For a particular form of controller, the normalised control process, the result of the composition is bisimilar to a process with the same pattern of control structure as the controller. Issues and examples for non-normalised control process are also discussed.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128408600","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 approach to perform behavior testing in object-oriented systems 在面向对象系统中执行行为测试的一种方法
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713615
M. Vieira, G. Travassos
{"title":"An approach to perform behavior testing in object-oriented systems","authors":"M. Vieira, G. Travassos","doi":"10.1109/TOOLS.1998.713615","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713615","url":null,"abstract":"The paper addresses an approach to behavior testing in object oriented systems. This approach is used in the MEMPHIS project (C.M.I. Werner et al., 1997) and emphasis on state based testing. The key elements are the generation of testing sequences based on the state transition diagram to test the system objects and the creation of testing scenarios, which allow the verification of object integration.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133965343","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}
引用次数: 6
A multiparadigm language for developing agent-oriented applications 用于开发面向代理的应用程序的多范式语言
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713583
K. Ng, Linpeng Huang, Yongqiang Sun
{"title":"A multiparadigm language for developing agent-oriented applications","authors":"K. Ng, Linpeng Huang, Yongqiang Sun","doi":"10.1109/TOOLS.1998.713583","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713583","url":null,"abstract":"I/sup +/ is a multiparadigm language for object oriented declarative programming as well as parallel programming. If is an integration of three major programming paradigms: object oriented, logic and functional with salient features for modelling distributed applications, however, I/sup +/ has a number of limitations in developing multi agent applications as well as programming mobile agents. We introduce a dedicated set of primitives necessary for communication among agents and an HTTP based infrastructure to serve mobile agents to I/sup +/. The resultant language is called I* and we argue that I* is a language suitable for the development of agent oriented applications.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126120754","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
The Concurrent Objects Calculus 并发对象演算
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713622
Zhang Qian, Liao Weihua, C. Shihong
{"title":"The Concurrent Objects Calculus","authors":"Zhang Qian, Liao Weihua, C. Shihong","doi":"10.1109/TOOLS.1998.713622","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713622","url":null,"abstract":"Research in concurrent object-oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent object systems. Based on the /spl pi/-calculus and the actor model respectively, people have tried to define a common semantic framework for concurrent object-oriented programming. In this paper, we try to compromise these two approaches. We define a formalism that enjoys a clean formal definition which allows the reuse of standard results of the theory of concurrency while preserving a high-level object-oriented programming style. We propose an actor algebra and a concurrent object calculus, and then we give the translation relationship between the two.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124490454","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
C++ program information database for analysis tools c++程序信息数据库分析工具
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713598
Yuan Wanghong, Chen Xiangkui, Xie Tao, Mei Hong, Yang Fuqing
{"title":"C++ program information database for analysis tools","authors":"Yuan Wanghong, Chen Xiangkui, Xie Tao, Mei Hong, Yang Fuqing","doi":"10.1109/TOOLS.1998.713598","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713598","url":null,"abstract":"Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common program information. To support multiple analysis tools based on common program information, it is practical and feasible to store information into database. This paper describes a C++ program information database, which is comprehensive enough to support many analysis tools. To employ the idea of incremental paring, the C++ program information database is linked by multiple incremental databases, which, in turn, are built by extracting information from source codes according to a C++ program conceptual model. Keyword C++, object orientation, program analysis, incremental parsing, program information database","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115558577","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
On the computer aided introduction of design patterns into object-oriented systems 面向对象系统中设计模式的计算机辅助引入
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713608
B. Schulz, T. Genssler, Berthold Mohr, W. Zimmer
{"title":"On the computer aided introduction of design patterns into object-oriented systems","authors":"B. Schulz, T. Genssler, Berthold Mohr, W. Zimmer","doi":"10.1109/TOOLS.1998.713608","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713608","url":null,"abstract":"The authors present a new approach to the reorganization of object-oriented systems using design patterns. Instead of looking at design patterns as building blocks, they consider them to be operators, whose application transforms an existing design into an improved target design. For this purpose, an algorithmic process of design pattern application is presented. Furthermore they show that design pattern operators can be implemented in terms of refactorings in a behavior preserving way. Afterwards they demonstrate the applicability of the approach by delineating their experiences with a tool prototype, which they implemented in order to reorganize a large C++ system by using design pattern operators.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116934939","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}
引用次数: 41
Research and implementation of distributed time service in distributed object environment 分布式对象环境下分布式时间服务的研究与实现
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713617
Yajie Li, Xingshe Zhou, Jianhua Gu
{"title":"Research and implementation of distributed time service in distributed object environment","authors":"Yajie Li, Xingshe Zhou, Jianhua Gu","doi":"10.1109/TOOLS.1998.713617","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713617","url":null,"abstract":"Distributed time service is a basic object service in distributed computing environment based on CORBA. We present a clock synchronization method based on clock groups. We divide machines in a system into groups, while nodes in a group are in the same LAN. There is a master clock and several slave clocks in a group, which carry out intra-group synchronization. Master clocks of all groups together accomplish inter-group synchronization. Such a dividing-to-group synchronization method makes the system scalable and flexible. At the same time, it reduces machines spanning LANs to attend synchronization, thus synchronization overhead is reduced. We have implemented clock synchronization based on clock groups in our experimental distributed object environment.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115096113","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
Deriving scenarios of object interaction through Petri net 通过Petri网推导物体交互场景
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713592
K. Cheung, K. Chow, T. Cheung
{"title":"Deriving scenarios of object interaction through Petri net","authors":"K. Cheung, K. Chow, T. Cheung","doi":"10.1109/TOOLS.1998.713592","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713592","url":null,"abstract":"In object-oriented systems development, a lifecycle model and an interaction model are generally adopted in the specification of object behaviour. This specification by two separate models is liable to the problem of inconsistent specification between object lifecycle and interaction. We propose an approach to deriving scenarios of object interaction through a Petri net which is directly constructed from the lifecycle models of the interacting objects. The proposed approach offers an effective mechanism for deriving scenarios of object interaction without separately constructing an interaction model, and more important, encourages consistent specification between object lifecycle and interaction.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115439582","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}
引用次数: 7
Automatically generating Ada95 codes for concurrent objects 自动生成Ada95代码并发对象
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713604
Zhenyu Wang, Zhao Heng, Zhang Li
{"title":"Automatically generating Ada95 codes for concurrent objects","authors":"Zhenyu Wang, Zhao Heng, Zhang Li","doi":"10.1109/TOOLS.1998.713604","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713604","url":null,"abstract":"It is reported that Ada95 is a full object-oriented programming language. Ada95's task type mechanism could be considered as a model of a concurrent object-oriented problem solution. However, there is still a gap between the language constructions of Ada95 and the general O-O concept as well as description. The complexity of Loeper's (1997) template of Ada95 codes for concurrent object is convincing evidence. Based on Loeper's concurrent object template, the authors present a user description of concurrent object classes in the general O-O concept and the implementation of automatic generation of Ada95 codes from the description.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121990417","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
Models, domains and abstraction in software development 软件开发中的模型、领域和抽象
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) Pub Date : 1998-09-22 DOI: 10.1109/TOOLS.1998.713585
E. E. Jacobsen, B. B. Kristensen, P. Nowack
{"title":"Models, domains and abstraction in software development","authors":"E. E. Jacobsen, B. B. Kristensen, P. Nowack","doi":"10.1109/TOOLS.1998.713585","DOIUrl":"https://doi.org/10.1109/TOOLS.1998.713585","url":null,"abstract":"Any software development technology has an underlying model-explicit or implicit-of the development process. In order to understand more about the development process and the methodologies, we abstract from these. The perspective chosen for the abstraction includes domains, models developed during the process and the kind of abstraction involved in the phases of the process. A supplementary perspective includes the phases in the process, the actors during the development, and the influencing forces of the quality of the resulting models and systems. In general, the perspective controls the nature of the knowledge achieved by means of abstraction. The nature of our result from the abstraction over processes and methodologies is the structure and the interaction of the development process-corresponding to the two chosen perspectives.","PeriodicalId":177805,"journal":{"name":"Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126216720","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信