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

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

筛选
英文 中文
An asynchronous message exchange system on CORBA 基于CORBA的异步消息交换系统
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-12-01 DOI: 10.1109/TOOLS.2000.891354
Tswen-Yuh Hsiao, Win-Tsung Lo, S. Yuan
{"title":"An asynchronous message exchange system on CORBA","authors":"Tswen-Yuh Hsiao, Win-Tsung Lo, S. Yuan","doi":"10.1109/TOOLS.2000.891354","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891354","url":null,"abstract":"Data exchange by networks is becoming more important due to the growth of the Internet. One popular architectural style for distributed, loosely-coupled, heterogeneous network systems is a structure based on event generation, observation and notification. Based on the event service and naming service defined by OMG (Object Management Group), we build an efficient and Internet-scale event-driven data exchange architecture on CORBA. The asynchronous message exchange system (AMES) provides an asynchronous publish/subscriber communication model and can communicate with legacy systems easily. This system was developed based on the Java programming language and Inprise Visibroker for Java product families.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116743757","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
Component based application framework for systems utilising the streaming data passing semantic 基于组件的应用程序框架，用于利用流数据传递语义的系统
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891380
A. Lui, M. Grigg, T. Au, M. Owen
{"title":"Component based application framework for systems utilising the streaming data passing semantic","authors":"A. Lui, M. Grigg, T. Au, M. Owen","doi":"10.1109/TOOLS.2000.891380","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891380","url":null,"abstract":"The paper describes the design of a component based application framework for systems utilising the streaming data passing semantic. Many advanced applications employ data streams to model continuous or semi-continuous flows of information. We describe an application framework, called iFlow, that can significantly ease the effort in developing such applications. This framework supports the dynamic construction of channels between the source and recipient of information that matches the requirements of the different systems involved in the information exchange. We conclude with a description of applying iFlow to a particular stream oriented application for the dissemination of imagery information.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126026833","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}
引用次数: 5
Understanding frameworks through visualisation 通过可视化理解框架
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891378
K. Jackson, R. Biddle, E. Tempero
{"title":"Understanding frameworks through visualisation","authors":"K. Jackson, R. Biddle, E. Tempero","doi":"10.1109/TOOLS.2000.891378","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891378","url":null,"abstract":"Object oriented frameworks can significantly improve productivity. However, learning how to use them effectively is a well-known, difficult problem. We discuss the issues related to this problem, and describe the design and development of a prototype framework visualisation system intended to help solve the problem.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"22 6S 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122811084","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}
引用次数: 5
Scalable visualisations with ownership trees 具有所有权树的可伸缩可视化
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891370
T. Hill, J. Noble, John Michael Potter
{"title":"Scalable visualisations with ownership trees","authors":"T. Hill, J. Noble, John Michael Potter","doi":"10.1109/TOOLS.2000.891370","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891370","url":null,"abstract":"Ownership trees are a simple yet powerful method of extracting an object-oriented program's implicit aggregation structure from its object graph. The topology of a program's ownership tree is independent of scale object-oriented programs are constructed from objects, and the relationship between a whole system and its top-level components is the same as the relationship between a low-level data structure and the objects that implement it. Because of this independence, a software visualisation tool based on ownership trees is applicable at all levels of abstraction within a program's design. Visualising ownership trees can support learning and teaching about object-oriented programs, as well as debugging and maintaining them.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"238 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126812986","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}
引用次数: 22
An event-based framework for converged service provisioning 用于聚合服务供应的基于事件的框架
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891355
B. Silverajan, P. Kemppainen
{"title":"An event-based framework for converged service provisioning","authors":"B. Silverajan, P. Kemppainen","doi":"10.1109/TOOLS.2000.891355","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891355","url":null,"abstract":"The paper describes an object-oriented event-based framework for provisioning services for the converging telecommunications networks and the Internet. The DOORS (distributed object operations) framework attempts to address several issues in protocol development, interoperability and distributed computing in heterogenous networks and telecommunications systems. The framework highlights a generic service platform, called Network Intelligence Middleware, as a means to interface with the disparate networks and systems. In addition, the platform is a controlling environment for provisioning the services in the network, guaranteeing the runtime robustness and scalability.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134376318","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
Java Multi-Method Framework Java多方法框架
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891357
R. Forax, É. Duris, G. Roussel
{"title":"Java Multi-Method Framework","authors":"R. Forax, É. Duris, G. Roussel","doi":"10.1109/TOOLS.2000.891357","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891357","url":null,"abstract":"In Java, method resolution is done at runtime, by late-binding, with respect to the dynamic type of the target object. Some object-oriented languages such as CLOS propose, in addition, late-binding according to dynamic types of arguments. This feature is known as multi-polymorphism and usually achieved by multi-methods. We propose a pure Java framework that provides multi-methods, without extending the base Java language nor modifying its semantics but intensively using the reflection mechanism of the language. The paper focuses on the algorithms and data structures involved in the method resolution strategy we have implemented in an optional package called Java Multi-Method Framework.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128900480","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}
引用次数: 26
Match-O, a dialect of Eiffel with match-types Match-O，一种带有match类型的艾菲尔方言
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891369
Dominique Colnet, L. Liquori
{"title":"Match-O, a dialect of Eiffel with match-types","authors":"Dominique Colnet, L. Liquori","doi":"10.1109/TOOLS.2000.891369","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891369","url":null,"abstract":"It is well-known that the Eiffel language allows covariant redefinition. Regardless of system-level validity rules, Eiffel is not type-safe. In this paper, we present a dialect of Eiffel, called Match-O, which prohibits covariant redefinition. We introduce a new kind of types, the match types, inspired by the papers of K. Bruce (1993-1998). The scope of this project is many-fold: allowing binary methods; keeping sound \"mytype method specialization\", i.e. an anchored type using Current; and allowing subtyping in all other sound cases. We claim that match types can be added in the Eiffel type system to eliminate type unsoundness without blocking many interesting Eiffel programs (e.g. the ones with \"binary methods\"). We have implemented a compiler for Match-O and we have experimented with our dialect on a large system using the original source code of smallEiffel itself.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125966583","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
More meaningful UML models 更有意义的UML模型
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891365
I. Ober
{"title":"More meaningful UML models","authors":"I. Ober","doi":"10.1109/TOOLS.2000.891365","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891365","url":null,"abstract":"UML is widely used today for modelling complex systems. However, the tool support capabilities for UML is limited, partially due to its lack of precise semantics. There are some approaches that try to solve this by defining a formal semantics for UML, nonetheless it usually proves hard to implement the corresponding dynamic semantics. The paper presents an approach to define an executable semantics for UML that would enable tool vendors to build intelligent tools (symbolic execution, consistency checkers, etc.). We use Abstract State Machines (ASM) as an underlying formalism for our semantics definition, which is composed of static semantics and dynamic semantics. A part of the static semantics was done by expressing in ASM the UML meta-model and well formedness rules defined in the UML standard. The dynamic semantics is based on a set of behaviour primitives (time, communication, etc.). We define the ASM transition rules corresponding to UML actions. Using this semantic, we have been able to perform a symbolic execution of a UML model.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"9 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116779716","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}
引用次数: 21
Design and implementation of CORBA-based Subscription Server 基于corba的订阅服务器的设计与实现
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891353
R. Maheshwari, R. Fatoohi
{"title":"Design and implementation of CORBA-based Subscription Server","authors":"R. Maheshwari, R. Fatoohi","doi":"10.1109/TOOLS.2000.891353","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891353","url":null,"abstract":"The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrictive for real-time applications. In particular, the model lacks asynchronous message delivery, does not support timed invocations or group communication, and can lead to excessive polling by clients. We have designed and implemented a subscription server based on the OMG Notification Service specification for the structured push style communication. In order to alleviate some of the restrictions with the standard CORBA invocation model, the Subscription Server supports asynchronous message delivery and allows one or more suppliers to send structured messages to one or more consumers. Event data can be delivered from suppliers to consumers without requiring these participants to know about each other explicitly. In addition to implementing most of the interfaces defined in the specification, the Subscription Server implements an additional advertiser interface which lets one discover all event types offered by the channel and subscribed by the consumers. Event filtering as well as quality of service properties, such as connection reliability and event reliability, are also provided. An Auction Alert application was developed to test the functionality of the subscription server.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116667478","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
On mathematical foundations for business modeling 商业建模的数学基础
Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 Pub Date : 2000-11-20 DOI: 10.1109/TOOLS.2000.891368
Z. Diskin
{"title":"On mathematical foundations for business modeling","authors":"Z. Diskin","doi":"10.1109/TOOLS.2000.891368","DOIUrl":"https://doi.org/10.1109/TOOLS.2000.891368","url":null,"abstract":"Presents sketch-answers to the following three questions. (1) What is a business domain, mathematically? (2) What is a business model of business domain, mathematically? (3) What is the mathematical machinery suitable for building and manipulating business models? These questions may be answered as follows. (1) Any given business domain D is (mathematically) a topos, i.e. a particular case of a quite general mathematical structure. Probably, even the following more refined picture is valid. Each specific kind of business B (banking, insurance, telecom industry, etc.) determines its own kind of toposes, Top(B), so that any business domain D in B is a topos of sort Top(B), (2) Normally, toposes D are infinite and, given such a topos (domain) D, the task of business modeling is to find a finite yet complete presentation of D. Syntactically, this presentation is specified by a (generalized) sketch, i.e. a directed graph with diagrams marked by labels taken from a predefined signature corresponding to Top(B). (In fact, setting Top(B) amounts to nothing but setting some signature of a legitimate predicate and operations). (3) So, thinking semantically, business specifications are sketches, whatever visualization superstructures (ER, OMT, UML) are built over them. Then, a natural mathematical apparatus for managing and manipulating business specifications is the machinery of deriving and rewriting sketches. In essence, the latter is nothing but a counterpart of ordinary logical derivation and algebraic term rewriting for the graph-based situation.","PeriodicalId":198043,"journal":{"name":"Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129676268","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}
引用次数: 5
下一页 尾页
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学术官方微信