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

筛选
英文 中文
Abstract object state and version recovery in N-version programming n版本编程中抽象对象状态与版本恢复
A. Romanovsky
{"title":"Abstract object state and version recovery in N-version programming","authors":"A. Romanovsky","doi":"10.1109/TOOLS.1999.779002","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779002","url":null,"abstract":"The paper deals with the use of software diversity, specifically, N-version programming (NVP) in object oriented (OO) systems. We formulate the problem of faulty version recovery and show how our NVP scheme, developed recently, can be extended to solve it. Our approach relies on using the abstract version state, which represents a common general description of the states of all correct version objects. The recovery consists in mapping the state of a correct version onto the state of the faulty version via the abstract state. We introduce a formal description of our model and show that many ideas related to object state abstraction can be found in the existing research on OO programming. We discuss extensions of LAYOM and PSL as promising practical approaches for developing recovery features in OO programming. As an alternative solution, we propose a meta-object architecture and a related protocol which can facilitate the solution of the object version recovery problem. The paper finishes with a brief discussion of engineering steps which have to be done for developing recoverable version objects and of some approaches which can improve the reusability of the scheme proposed.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"29 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":"128970938","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}
引用次数: 4
Adding visual rules to object-oriented modeling techniques 向面向对象建模技术添加可视规则
G. Taentzer
{"title":"Adding visual rules to object-oriented modeling techniques","authors":"G. Taentzer","doi":"10.1109/TOOLS.1999.779019","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779019","url":null,"abstract":"The modeling of behavior in object oriented systems usually relies on control for diagrams and (extended) state automatas. These basic techniques do not support the design in a declarative style very well. This style is useful for modeling integrity constraints, especially active constraints, on the data model, to perform event handling, to derived new attribute values and associations and to model strategies in business and engineering. Rules are added as a declarative modeling technique for behavior. Roughly speaking, a rule consists of a condition and an action. If the condition is true, the action is performed. The concept of rules is integrated into an existing object oriented modeling technique by formulating rules on object diagrams. A rule application may test and change a certain object structure. The application may be triggered automatically by a relevant change of this object structure, periodically or by an event occurring in some behavior diagram. This rule concept has an underlying formal semantics on the basis of graph transformation which may be exploited for analyzing a designed rule set, concerning, e.g. conflicts, dependencies, etc. The graphical notation of the rules follows the UML notations as far as possible.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"2 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":"114279447","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
Efficiency in C++ c++中的效率
S. Lippman
{"title":"Efficiency in C++","authors":"S. Lippman","doi":"10.1109/TOOLS.1999.10009","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.10009","url":null,"abstract":"Summary form only given, as follows. In this talk, we present a series of C++ programming design idioms for writing efficient C++ programs, briefly review the underlying C++ object model, and turn to design alternatives when the idioms themselves become overwhelmed with, say, large-scale object creation and copy. We look at object-based and object-oriented design, use of the STL container classes and generic algorithms, and the design alternatives of inheritance versus parameterization through use of the C++ template facility. This is a particularly effective area of program efficiency because (a) the idioms generally make for more readable programs, and (b) once the idioms and implementation (or object) model is internalized, these gains in efficiency come mostly for free - I like to think of them as low-hanging fruit. In the course of the tutorial, I¿ll point out areas where experienced C programmers tend to write correct but frightfully sluggish C++ code by contrasting C and C++ programming idioms.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"89 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":"126221574","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
Dejay: unifying concurrency and distribution to achieve a distributed Java Dejay:统一并发和分布,实现分布式Java
M. Boger, Frank Wienberg, W. Lamersdorf
{"title":"Dejay: unifying concurrency and distribution to achieve a distributed Java","authors":"M. Boger, Frank Wienberg, W. Lamersdorf","doi":"10.1109/TOOLS.1999.779020","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779020","url":null,"abstract":"In the development of distributed programs, two different concepts have to be considered, each being quite complex even on its own: concurrency and distribution. For both concepts, similar problems like synchronization and communication need to be addressed, yet they are treated with completely different mechanisms. The paper presents Dejay, a programming language based on Java that unifies concurrency and distribution into the single mechanism of virtual processors. This allows a considerable simplification for the development of distributed or concurrent programs and makes the transition from a local to a distributed environment seamless.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"60 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":"116593930","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
The requirements/service/interface (RSI) approach to use case analysis (a pattern for structured use case development) 用例分析的需求/服务/接口(RSI)方法(结构化用例开发的模式)
Mark Collins-Cope
{"title":"The requirements/service/interface (RSI) approach to use case analysis (a pattern for structured use case development)","authors":"Mark Collins-Cope","doi":"10.1109/TOOLS.1999.779010","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779010","url":null,"abstract":"Use case analysis is a requirements capture technique that is most often used in the early stages of OO and component development projects. When engineers first undertake use case analysis, a number of issues are raised for which easy answers can't be found in the text books, such as: what is the appropriate level of granularity for use cases? If large grained use cases are used, should they decomposed into 'lower level' use cases? If so, at what point should this decomposition stop, and how should these sub-use cases be used? Should user or external system interface functionality be described in use case text? How do dialog descriptions fit in? Where do report layouts go? Should user interface dynamics be included? Should interchange file formats, or interface protocols form part of the documentation? This paper describes the RSI approach to use case analysis. This approach provides a framework for analysing and understanding potential use case deliverables and their interrelationships, with a view to answering the above questions. The RSI approach also aims to assist in maximising software reuse-by partitioning functionality into those aspects which are concerned with 'managing the interface' to an actor and those areas which make up the reusable core of the system.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"34 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":"114527183","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}
引用次数: 12
Reflexivity and meta-tools to manage your software real estate 反思性和元工具来管理您的软件资产
D. Blasband
{"title":"Reflexivity and meta-tools to manage your software real estate","authors":"D. Blasband","doi":"10.1109/TOOLS.1999.10001","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.10001","url":null,"abstract":"Summary form only given, as follows. This tutorial describes tools and techniques for extracting information from large software code bases. Applications described include: * Reverse engineering, abstracting design information from the code. * Metrics for portability, maintainability, etc. * Checking how effectively tests exercise the code. * Change impact analysis. * Automated translations, between languages and libraries. * Checking compliance to industry or project guidelines. * Refactorings, that translate high-level design changes into existing code. Tools and techniques used cover a range from Perl to the use of reflexive language features. The emphasis will be put on how does OO technology contribute.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"64 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":"129470055","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
Dependable multiparty interactions: a case study 可靠的多方交互:一个案例研究
A. Zorzo
{"title":"Dependable multiparty interactions: a case study","authors":"A. Zorzo","doi":"10.1109/TOOLS.1999.779062","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779062","url":null,"abstract":"The goal of the paper is two fold. Firstly we present a way of extracting interactions between objects and enclosing them by using multiparty interactions. In a multiparty interaction, several executing threads somehow \"come together\" to produce an intermediate and temporary combined state, use this state to execute some activity and then leave this interaction and continue their normal execution. This kind of approach has been considered in several papers but we go further and describe how failures in one or more participants of the multiparty interaction can be dealt with. General object oriented schemes for constructing dependable multiparty interactions (DMls) in a distributed environment are presented. Secondly, we show how one of these schemes can be used to program a system in which multiparty interactions are more than simple synchronisations or communications. We have designed and implemented a controlling software for a fault-tolerant production cell model developed by Forschungszentrnm Informatik, Karlsruhe, Germany.","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":"129569132","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
Towards integration of state machines and object-oriented languages 迈向状态机和面向对象语言的集成
O. Madsen
{"title":"Towards integration of state machines and object-oriented languages","authors":"O. Madsen","doi":"10.1109/TOOLS.1999.779018","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779018","url":null,"abstract":"The goal of the paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object oriented programming languages. A proposal is made for a language mechanism that makes it possible for an object to change its virtual bindings at run time. A state of an object may then be represented as a set of virtual bindings. One advantage of object orientation is that it provides an integrating perspective on many phases of software development, including analysis, design and implementation. For the static set of OO language constructs there is almost a one-to-one correspondence between analysis/design notations and OO programming languages. No such correspondence exists for the dynamic aspects, but the proposed state mechanism is a contribution to a better correspondence. The proposal is based on previous work by A. Taivalsaari (1993) and compared to the more complex features for changing object behavior as found in CLOS, Smalltalk, and predicate classes, it is simple and efficient to implement.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"20 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":"123941980","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}
引用次数: 16
Measuring OO systems: a critical analysis of the MOOD metrics 度量OO系统:对MOOD度量的关键分析
Tobias Mayer, T. Hall
{"title":"Measuring OO systems: a critical analysis of the MOOD metrics","authors":"Tobias Mayer, T. Hall","doi":"10.1109/TOOLS.1999.779004","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779004","url":null,"abstract":"In parallel with the rise to prominence of the OO paradigm has come the acceptance that conventional software metrics are not adequate to measure object oriented systems. This has inspired a number of software practitioners and academics to develop new metrics that are suited to the OO paradigm. Arguably, the most thorough treatment of the subject is that of the MOOD team, under the leadership of Abreau. The MOOD metrics have been subjected to much empirical evaluation, with claims made regarding the usefulness of the metrics to assess external attributes such as quality and maintainability. We evaluate the MOOD metrics on a theoretical level and show that any empirical validation is premature, due to the majority of the MOOD metrics being fundamentally flawed. The metrics either fail to meet the MOOD team's own criteria or are founded on an imprecise, and in certain cases inaccurate, view of the OO paradigm. We propose our own solutions to some of these anomalies and clarify some important aspects of OO design, in particular those aspects that may cause difficulties when attempting to define accurate and meaningful metrics. The suggestions we make are not limited to the MOOD metrics but are intended to have a wider applicability in the field of OO metrics.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"83 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":"122995781","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}
引用次数: 36
A design model for object-oriented systems with explicit architecture 具有显式体系结构的面向对象系统的设计模型
A. Sosio, F. Tisato
{"title":"A design model for object-oriented systems with explicit architecture","authors":"A. Sosio, F. Tisato","doi":"10.1109/TOOLS.1999.778998","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.778998","url":null,"abstract":"Developing software systems from components involves defining the overall architecture where such components will cooperate. We argue that major problems with current approaches to component based software development stem from the fact that architecture is implicit in the components' code. The paper presents a design model for object oriented systems which makes architecture explicit by letting architecture-transparent components be instantiated and coordinated by separate entities implementing architectural concepts. A brief discussion of the application of the model to the design of a concrete system demonstrates how explicit architecture can enhance the reusability of both components and design elements, and ease the implementation of user-directed dynamic reconfiguration.","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":"132997771","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
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学术官方微信