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

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)最新文献

筛选
英文 中文
Automatic refinement of distributed systems specifications using program transformations 使用程序转换的分布式系统规范的自动细化
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716651
Antônio Carlos Lima de Santana, A. F. Prado, W. L. Souza, Marcelo Sant'Anna
{"title":"Automatic refinement of distributed systems specifications using program transformations","authors":"Antônio Carlos Lima de Santana, A. F. Prado, W. L. Souza, Marcelo Sant'Anna","doi":"10.1109/CMPSAC.1998.716651","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716651","url":null,"abstract":"Formal specification techniques and automatic refinement tools for distributed systems have become key issues in current computing technology. The paper reports the development of a refinement tool based on the Extended State Transition Language (Estelle). Estelle is a format description technique (FDT) for distributed systems and communication protocols standardized by ISO. The refinement approach addresses an OO execution metamodel which is instantiated using C++. Transformations are used as the main technology behind the construction of this tool.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127972750","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
The essence of the Visitor pattern 访问者模式的本质
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716629
J. Palsberg, C. Jay
{"title":"The essence of the Visitor pattern","authors":"J. Palsberg, C. Jay","doi":"10.1109/CMPSAC.1998.716629","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716629","url":null,"abstract":"For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The price has been that the set of classes must be fixed in advance, and they must each have a so-called accept method. In this paper we demonstrate how to program visitors without relying on accept methods and without knowing all classes of the objects in advance. The idea, derived from related work on shape polymorphism in functional programming, is to separate (1) accessing subobjects, and (2) acting on them. In the object-oriented setting, reflection techniques support access to sub-objects, as demonstrated in our Java class, Walkabout. It supports all visitors as subclasses, and they can be programmed without any further use of reflection. Thus a program using the Visitor pattern can now be understood as a specialized version of a program using the Walkabout class.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134233273","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}
引用次数: 211
Regression slicing and its use in regression testing 回归切片及其在回归测试中的应用
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716697
I. Forgács, Á. Hajnal, Éva Takács
{"title":"Regression slicing and its use in regression testing","authors":"I. Forgács, Á. Hajnal, Éva Takács","doi":"10.1109/CMPSAC.1998.716697","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716697","url":null,"abstract":"We introduce an improved software regression testing method that determines the test cases that must be rerun to fulfil a given testing criterion. The key part of our method is regression slicing. A regression slice contains the statements whose state may be changed in the modified program with respect to the original for a given test case.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130910407","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}
引用次数: 8
A multiview visualisation architecture for open distributed systems 开放分布式系统的多视图可视化体系结构
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716670
Petra Oldengarm, A. V. Halteren
{"title":"A multiview visualisation architecture for open distributed systems","authors":"Petra Oldengarm, A. V. Halteren","doi":"10.1109/CMPSAC.1998.716670","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716670","url":null,"abstract":"Program visualisation is an attractive way for understanding collaboration structures of complex distributed systems. By using the concepts of the open distributed processing-reference model (ODP-RM) as entities for visualisation, a multiview visualisation architecture is presented, which provides a large degree of flexibility in visualising the actions of an ODP system. The architecture has been implemented for visualising the CORBA system resulting in a visualisation tool called OBVlouS.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114591348","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
Revisit consensus problem on dual link failure modes 重新讨论双链路失效模式的一致性问题
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716642
Shu-Chin Wang, K. Yan
{"title":"Revisit consensus problem on dual link failure modes","authors":"Shu-Chin Wang, K. Yan","doi":"10.1109/CMPSAC.1998.716642","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716642","url":null,"abstract":"Traditionally, the consensus problem was solved in a fully connected network with node failure assumption. The link failure was unfairly treated as node failure. The paper revisits the consensus problem with the assumption of link failure on dormant faults and malicious faults. A simple and efficient protocol is proposed. The complexity of information exchange required by the protocol is O(n/sup 2/). The protocol uses a minimum number of rounds to achieve a consensus and can tolerate a maximum number of allowable faulty components.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115000197","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
Software commerce broker over the Internet 互联网上的软件商业经纪人
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716691
M. Aoyama, Toshio Yamashita
{"title":"Software commerce broker over the Internet","authors":"M. Aoyama, Toshio Yamashita","doi":"10.1109/CMPSAC.1998.716691","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716691","url":null,"abstract":"This article proposes an architecture of SCB (Software Commerce Broker) which aims at trading software packages and components over the Internet. Component-based software engineering is coming into real development paradigm due to widespread distributed objects environment and componentware. Since software can be distributed over the Internet, a Web-based commerce of software components and packages over the Internet is emerging. To realize Web-based software commerce, we develop a prototype of SCB, which collects information on software components worldwide over the Internet and provides a set of electronic catalogues of software components in a semi-formal specification language SCL (Software specification and Commerce Language). Furthermore, SCB provides play mechanism on which customers in remote locations can play the component through the Web. SCB is under evaluation in the Next Generation Software Engineering Program of Software CALS (Continuous Acquisition and Life-cycle Support) project in Japan.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128531228","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}
引用次数: 15
A federated virtual enterprise (VE) of partners creating a federated VE of systems 一个由合作伙伴组成的联合虚拟企业(VE)创建一个由系统组成的联合虚拟企业
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716716
J. Putman, Stephen Strong
{"title":"A federated virtual enterprise (VE) of partners creating a federated VE of systems","authors":"J. Putman, Stephen Strong","doi":"10.1109/CMPSAC.1998.716716","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716716","url":null,"abstract":"A virtual enterprise (VE) of an enterprise of partners (EP) can choose to formulate a federation of enterprise information systems (a VE of systems). This is a realistic approach that can be taken to realize effective information sharing across heterogeneous domains. To realize a federated system of systems requires a VE of partners to manage and define the federated system (of systems), and this federated system is itself a VE. This paper discusses the needed systems engineering activities, supporting technologies and information sharing strategies for both the organizational VE and the federated system VE. The information and data sharing strategies discussed include STEP, the World Wide Web, integrated databases, brokers, and others.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130815707","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
Developing situationally specific methods through stakeholder collaboration 通过利益相关者协作开发特定情况的方法
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716654
H. Edwards, J. B. Thompson, C. Hardy
{"title":"Developing situationally specific methods through stakeholder collaboration","authors":"H. Edwards, J. B. Thompson, C. Hardy","doi":"10.1109/CMPSAC.1998.716654","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716654","url":null,"abstract":"Software development methods can only be used effectively where there is a close match between the method being used and the situational application. There are two key features that need to be considered by those concerned with formalising the development of situational methods: (i) the stakeholder input and (ii) the method engineering process. The method presented, MEWSIC (Method Engineering With Stakeholder Input and Collaboration), formalises the development of situational methods so that links to quality assurance processes is retained. MEWSIC accounts for the number of stakeholders who have a legitimate interest in the success of the project but distinguishes between those who provide input that informs the method engineering process and those who carry out this process. A description of MEWSIC is given bringing out the collaborative nature of the approach. The authors then discuss MEWSIC's place within software engineering (particularly in relation to method engineering approaches and quality assurance mechanisms).","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131346836","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
Directions for Software Technology 软件技术方向
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716746
S. Yau
{"title":"Directions for Software Technology","authors":"S. Yau","doi":"10.1109/CMPSAC.1998.716746","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716746","url":null,"abstract":"At the conclusion of COMPSAC 98, we would like to reflect the important advances of software technology and its future directions. The scope will be very broad and it may cover any topics related to the current trends of software technology, the important problems we need to address, and future research and development wcrk that must be done in order to achieve the goal of producing high assurance software systems with much higher productivity for various applications with increasingly stringent requirements and user expectations. In addition to the three program co-chairs of the conference, Maarten Boasson of H. Signaal, Akira Onoma of Hitachi Software Engineering Co., and Bhavani Thuraisingham of the MITRE Corporation, we also have invited Michel Gien of Sun Microsystems and the conference chair Mehdi Jazayeri of the Technical University of Vienna to join us as panelists. Each of them will have a brief presentation of his/her position statement at the beginning of this session, and then we will open the discussions from the floor.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129240538","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
Component technologies: avoiding the herd mentality 组件技术:避免从众心理
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI: 10.1109/CMPSAC.1998.716731
Eric Hughes
{"title":"Component technologies: avoiding the herd mentality","authors":"Eric Hughes","doi":"10.1109/CMPSAC.1998.716731","DOIUrl":"https://doi.org/10.1109/CMPSAC.1998.716731","url":null,"abstract":"Component technology is gradually changing the way information systems are conceived, constructed, deployed, and used. Today's systems have limited flexibility and configurability, which makes them difficult to maintain over the many years that they are used. Components address these critical problems by allowing systems to be more dynamically composed of components, without extensive programming. Component technologies are being adapted for development of flexible user interfaces, and, more recently, for managing the business objects of the enterprise. Many information systems architects are optimistic about the benefits of component technology, but are afraid to rely on a single vendor or technology. The single vendor approach of the 1960s and 1970s simplified the task of delivering information systems but caused these systems to gradually become less advantageous and eventually restricting. Today's architects do not wish to re-learn these lessons with component technologies. These architects take little comfort in standards conformance and interoperability, which are difficult to achieve and do not directly deliver functionality to users. So often we hear of decisions made largely on the basis of what others have decided (e.g., referring to factors like \"market penetration\"), which might be called a herd mentality. The herd mentality is only appropriate for trying to predict market directions, which is dangerously difficult.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125530981","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
首页 上一页 下一页 尾页
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学术官方微信