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

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems最新文献

筛选
英文 中文
Systematic debugging of parallel programs based on collective breakpoints 基于集体断点的并行程序系统调试
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779741
P. Kacsuk
{"title":"Systematic debugging of parallel programs based on collective breakpoints","authors":"P. Kacsuk","doi":"10.1109/PDSE.1999.779741","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779741","url":null,"abstract":"Introduces the concept of collective breakpoints and classifies the possible parallel breakpoints comparing their mechanisms. Based on the collective breakpoints the macrostep-by-macrostep execution mode has been defined. After introducing the concept of the execution tree and meta-breakpoints the systematic debugging of message passing parallel programs is explained. The main features and distributed structure of DIWIDE, a macrostep debugger is described. The integration of DIWIDE into the GRADE and WINPAR parallel programming environments is outlined. An algorithm is shown how to generate automatically the collective breakpoints in the GRADE environment.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121640027","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
Channel dependence analysis for slicing Promela Promela切片的信道依赖性分析
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779738
Lynette I. Millett, T. Teitelbaum
{"title":"Channel dependence analysis for slicing Promela","authors":"Lynette I. Millett, T. Teitelbaum","doi":"10.1109/PDSE.1999.779738","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779738","url":null,"abstract":"Accurate channel analysis and communication dependence information is necessary for source code analysis tools to be useful in the concurrent specification and programming language domain. We present channel analysis along with an application thereof and describe its implications for the development and understanding of programs written in concurrent languages. We describe how communication dependences within a concurrent program can be computed and then used in combination with control and flow dependences to construct a representation that allows for efficient program slicing.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132858491","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
Data interoperability via surrogate API libraries 通过代理API库实现数据互操作性
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779751
R. Nekovei
{"title":"Data interoperability via surrogate API libraries","authors":"R. Nekovei","doi":"10.1109/PDSE.1999.779751","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779751","url":null,"abstract":"This paper presents how a client-server system can be used to create an efficient and interoperable data delivery system for accessing local and remote data through various existing data analysis tools. The system is based on a a series of servers that provide data over the network through a data access protocol (DAP). Each server will read the data from its original format and deliver it to the client according to the DAP specifications. New client software can be developed around this DAP and existing software packages can become a client by a re-link. During the re-link the standard application programmer interface (API) library is substituted with a surrogate API library which has been developed with the DAP. Therefore, the translation, selection, extraction, and transport of the data is hidden from the client software. Basically, each client software sees the data available from all the servers as local files in its native format where the file names are changed to a fully qualified Uniform Resource Locator (URL). The fully qualified URL adds power and flexibility to the system by not only simplifying where to access the data, but also by providing a general mechanism for passing arguments to the server side functions which extract, process, and convert the data on the server before delivering it to the client.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127898707","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
Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks 使用行为和Petri网构建块的柔性制造系统的规范和建模
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779743
F. Basile, P. Chiacchio, V. Vittorini, N. Mazzocca
{"title":"Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks","authors":"F. Basile, P. Chiacchio, V. Vittorini, N. Mazzocca","doi":"10.1109/PDSE.1999.779743","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779743","url":null,"abstract":"Deals with the definition of a general approach to the modeling and the analysis of flexible manufacturing systems (FMSs). It puts together a trace-based formal specification method and a compositional Petri nets (PN) approach with predefined building blocks, leading to a unified framework whose goals are to cope with the complexity of the FMSs behaviours and constraints, and provide a practical engineering means to translate behaviours into PN libraries. The P-invariants of the resulting model are used to obtain a reduced net of the system which points out the resources availability rather than the behaviours of the system components.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128644115","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
Testing of concurrent programs based on message sequence charts 基于消息序列图的并发程序测试
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779740
I. Chung, H. Kim, Hyun-Seop Bae, Y. Kwon, Byung-Sun Lee
{"title":"Testing of concurrent programs based on message sequence charts","authors":"I. Chung, H. Kim, Hyun-Seop Bae, Y. Kwon, Byung-Sun Lee","doi":"10.1109/PDSE.1999.779740","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779740","url":null,"abstract":"Most prior work on specification-based testing of concurrent programs have postulated an equivalence relation between specifications and programs. However the equivalence relation, which requires a specification and a program to encompass the same set of synchronization sequences, is not well-suited for resting concurrent programs against partial and nondeterministic specifications. We present a new specification-based approach to testing concurrent programs against Message Sequence Charts (MSCs) with partial and nondeterministic semantics. New conformance relations, named behavioral conformance and nondeterminacy conformance, are defined and the details of the proposed testing methodology based on the conformance relations are given. The effectiveness of our testing approach is investigated using a telephone switching system example.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116683762","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}
引用次数: 23
A case study in object-oriented modeling and design of distributed multimedia applications 分布式多媒体应用的面向对象建模与设计实例研究
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779755
A. Morzenti, Matteo Pradella, M. Rossi, S. Russo, A. Sergio
{"title":"A case study in object-oriented modeling and design of distributed multimedia applications","authors":"A. Morzenti, Matteo Pradella, M. Rossi, S. Russo, A. Sergio","doi":"10.1109/PDSE.1999.779755","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779755","url":null,"abstract":"This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong-often conflicting-requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing and security. The development of complex DMAs can benefit from the adoption of object design methods and distributed object implementation technologies. The paper describes the use of two modeling approaches, based on the standard UML modeling language, and on the TRIO formal specification language, respectively. The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed. An experimental distributed video-on-demand system is used throughout the paper as a case study.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115800562","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
Parallel object server as a data repository for CASE tools 并行对象服务器作为CASE工具的数据存储库
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779746
P. Kroha, Jörg Lindner
{"title":"Parallel object server as a data repository for CASE tools","authors":"P. Kroha, Jörg Lindner","doi":"10.1109/PDSE.1999.779746","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779746","url":null,"abstract":"In this paper we investigate features of a parallel object server when used as a data repository in a CASE tool. We argue that hierarchical structures of fine grained objects are typical for data used by CASE tools, we describe the construction of the server and the implementation of the prototype. The presented results of our experiments concern the question how the speedup depends on the number of processors involved, the number of users working simultaneously and the size of methods in classes.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131186277","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
Specification and simulation of a concurrent real-time system 并发实时系统的说明与仿真
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779752
Xiaoshan Li
{"title":"Specification and simulation of a concurrent real-time system","authors":"Xiaoshan Li","doi":"10.1109/PDSE.1999.779752","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779752","url":null,"abstract":"Interval temporal logic (ITL) is a real-time logic for specifying and verifying real-time systems. In this paper, ITL is used to specify a concurrent real-time system: an assembly line which is an abstract model of industrial robot control systems. We can specify the abstract properties of the system in ITL as well as the system design using the executable subset of ITL, Tempura. Compared with other approaches, the first advantage of this methodology is that the concurrent real-time systems can be naturally specified in a true concurrent model rather than an interleaving model. The second is that the specification of the system design is executable so that the simulation can be obtained in the same formal framework. Therefore, both the properties of the system and the consistency of the specification can be checked before verification.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129470181","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
Evaluating object transactional monitors with OrbixOTM 用OrbixOTM评估对象事务监视器
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779754
I. Gorton, Anna Liu
{"title":"Evaluating object transactional monitors with OrbixOTM","authors":"I. Gorton, Anna Liu","doi":"10.1109/PDSE.1999.779754","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779754","url":null,"abstract":"As more and more object-oriented transactional processing monitors are being developed, users in industries such as banking and telecommunications need systematic and critical evaluations of the strengths and weaknesses of these products. This paper presents the Middleware Evaluation Project (MEP) which aims to provide an impartial evaluation based on rigorously derived tests and benchmarks. The evaluation framework based on TPC's benchmark C is firstly presented followed by discussions on the set of evaluation criteria. Preliminary results on the OTM product OrbixOTM are also given.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127113934","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
Distributed airport simulation using CORBA and DIS 基于CORBA和DIS的分布式机场仿真
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779748
Günther Rackl, F. D. Stefani, F. Héran, A. Pasquarelli, T. Ludwig
{"title":"Distributed airport simulation using CORBA and DIS","authors":"Günther Rackl, F. D. Stefani, F. Héran, A. Pasquarelli, T. Ludwig","doi":"10.1109/PDSE.1999.779748","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779748","url":null,"abstract":"This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived hardware architecture of the simulation environment are described with respect to performance requirements. The communication architecture of the SEEDS simulator is based on the CORBA standard and the DIS simulation protocol. With the SEEDS prototype simulating airport ground-traffic, performance measurements evaluating critical design and implementation decisions are described. The main aspects of the performance analysis are the attained application performance using CORBA and DIS as communication middleware, and the scalability of the overall approach. The evaluation shows the appropriateness of the design of the simulation environment and the derived hard- and software architecture, which is flexible and open to further extensions. Moreover the combination of CORBA and DIS provides a suited platform for distributed interactive simulation purposes because of the adequate performance, high scalability, and the high-level programming model which allows to rapidly develop and maintain complex distributed applications with high-performance requirements.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115133759","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
首页 上一页 下一页 尾页
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学术官方微信