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

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)最新文献

筛选
英文 中文
Developing safe concurrent and distributed applications with an architectural environment 使用架构环境开发安全的并发和分布式应用程序
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.778996
G. Duval, T. Cattel
{"title":"Developing safe concurrent and distributed applications with an architectural environment","authors":"G. Duval, T. Cattel","doi":"10.1109/TOOLS.1999.778996","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.778996","url":null,"abstract":"The developing environment presented in the paper is built around an interactive tool that can accompany the software engineer for the whole software development process of concurrent and distributed applications. This environment relies on a concept of active object that is used homogeneously from the specification of the architecture down to the implementation. It provides support for architecture design, behaviour specification, automatic code production, compilation, debugging as well as formal verification. First of all, the application architecture is built with a graphical editor, translated into an architecture description language compatible with CORBA-IDL, and used to produce code that may be automatically linked and compiled into CORBA compatible implementation. The debugging of a distributed application is supported by features such as event stepping, simulation of the CORBA mechanism within a single Unix process, code tracing, etc. The formal verification is supported by a translator providing Promela code that call be analysed by the SPIN model checker.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"58 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132638755","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
Eiffel workshop: tools and platforms 埃菲尔工坊:工具和平台
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.10024
S. Parker
{"title":"Eiffel workshop: tools and platforms","authors":"S. Parker","doi":"10.1109/TOOLS.1999.10024","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.10024","url":null,"abstract":"Summary form only given, as follows. Eiffel compilers, development environments, application builders and other language processing tools are available for a wide range of operating systems and hardware architectures. What¿s the target platform for your next project? What development platforms are available to you? What tool support can the Eiffel vendors offer on these platforms? The workshop will provide an opportunity to hear presentations and discuss these issues with suppliers and consumers.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127637570","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
Dynamic reconfiguration of Corba-based applications 基于corba的应用程序的动态重新配置
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779063
M. Pellegrini
{"title":"Dynamic reconfiguration of Corba-based applications","authors":"M. Pellegrini","doi":"10.1109/TOOLS.1999.779063","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779063","url":null,"abstract":"Distributed applications are prone to drastic evolution during their lifetime due to user requirements, technological changes or modification of the execution environment. Application evolutions involve changes related to: (1) the application architecture, (2) the software implementation or (3) the physical location, of software components in a distributed environment during the application execution. Coping with such changes is recognized as being a difficult issue because new features must be integrated in existing applications at minimal cost and with minimal perturbation. We have designed an original algorithm for dynamic application reconfiguration, which fulfills the above requirements and we have implemented a prototype of this algorithm in a Corba environment. This prototype extends the current Corba programming model by introducing a framework for configurable object programming. The algorithm allows reconfiguration operations, such as the replacement, migration or dynamic rebinding of components. Our tools demonstrate that it is possible to reconfigure an application with minimal perturbation.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125423164","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
What is this thing called aggregation? 什么叫聚合?
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779016
B. Henderson-Sellers, F. Barbier
{"title":"What is this thing called aggregation?","authors":"B. Henderson-Sellers, F. Barbier","doi":"10.1109/TOOLS.1999.779016","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779016","url":null,"abstract":"An in-depth analysis of the semantics of aggregation in object modelling leads to the identification of the primary axioms of whole-part; irreflexivity at the instance level; antisymmetry at both instance and type level; and in which the aggregate object has one or more emergent and resultant properties. Other aspects of aggregation are either a natural consequence of these axioms or else are secondary. Each secondary characteristic defines a partition and thus gives the modelled aggregation relationship a specific flavour. We show that many of the existing definitions of aggregation in object modelling are ill-considered.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125573943","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}
引用次数: 49
Seamless development with the Eiffel method 使用Eiffel方法进行无缝开发
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.10003
B. Meyer
{"title":"Seamless development with the Eiffel method","authors":"B. Meyer","doi":"10.1109/TOOLS.1999.10003","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.10003","url":null,"abstract":"Summary form only given, as follows. Traditional software engineering techniques have introduced damaging gaps between successive activities of software development. The Eiffel method, with its emphasis on full lifecycle coverage and its reliance on the central technique of Design by Contract as a unifying theme for all software activities, provides an integrated approach to activities of analysis, design, implementation and maintenance. The tutorial will introduce the essential elements of the method and show the new paradigm of software development made possible by Eiffel's emphasis on seamlessness and reversibility. Biography:","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127137149","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
LOCAL++: a C++ framework for local search algorithms 本地搜索算法的c++框架
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779008
Andrea Schaerf, M. Lenzerini, Marco Cadoli
{"title":"LOCAL++: a C++ framework for local search algorithms","authors":"Andrea Schaerf, M. Lenzerini, Marco Cadoli","doi":"10.1109/TOOLS.1999.779008","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779008","url":null,"abstract":"We present LOCAL++, an object-oriented framework to be used as a general tool for the development and the implementation of local search algorithms in C++. The framework comprises a hierarchy of abstract template classes, one for each local search technique taken into account (i.e., hill-climbing, simulated annealing, and tabu search). Each class specifies and implements the invariant part of the algorithm built according to the technique, and is supposed to be specialized by a concrete class which implements the problem-dependent part of the algorithm. LOCAL++ comprises also a set of abstract classes for creating new techniques by combining different search techniques and different neighborhood relations. The architecture of LOCAL++ provides a principled method for the solution of combinatorial search problems, and helps the designer deriving a neat conceptual scheme of the application, thus facilitating the development and debugging phases. LOCAL++ proved to be flexible enough for the implementation of the algorithms solving various scheduling problems.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115196079","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}
引用次数: 27
Extreme Programming 极限编程
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-05-01 DOI: 10.1109/TOOLS.1999.779100
Kent L. Beck
{"title":"Extreme Programming","authors":"Kent L. Beck","doi":"10.1109/TOOLS.1999.779100","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779100","url":null,"abstract":"Summary form only given, as follows. Extreme Programming (XP) is a lightweight design method developed by Kent Beck, Ward Cunningham, and others. After notable successes, XP has been generating huge interest, and no small amount of controversy. Much of the interest stems from XP¿s pragmatic approach to development. Key practices include pair programming, writing tests upfront, frequent refactoring and rebuild, continuous integration and testing. Key principles incremental and iterative development, working with the simplest solution, cutting out extraneous documentation, and collective code ownership.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125412492","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}
引用次数: 329
Associations as a language construct 联想是一种语言结构
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1900-01-01 DOI: 10.1109/TOOLS.1999.779015
K. Osterbye
{"title":"Associations as a language construct","authors":"K. Osterbye","doi":"10.1109/TOOLS.1999.779015","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779015","url":null,"abstract":"A cornerstone in the object oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are supported in both design notations and through programming language constructs in object oriented languages. An association is a declarative mechanism to associate objects, and it is well known from analysis and design notations. However, associations are not matched by a programming language construct. The paper eliminates the semantic gap between design and implementation by proposing a programming language construct to support associations directly. An important issue in designing such a language construct is to make it as efficient and flexible as a manual translation to pointers and containers, and that it gives added benefits compared to a manual translation. Our association compiler can generate code that is as efficient as hand produced code, and it is our experience that it is easier to make changes to program structure and implementation when using language supported associations.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123992871","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}
引用次数: 19
首页 上一页
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学术官方微信