Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)最新文献

Evaluating a flexible architecture for distributed control 评估分布式控制的灵活架构

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802851

P. Bellini, M. Buonopane, M. Montanelli, P. Nesi

引用次数: 3

A realistic architecture for timed testing 用于定时测试的现实架构

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802855

E. Petitjean, H. Fouchal

引用次数: 14

A CORBA-based architecture for integrating distributed and heterogeneous databases 用于集成分布式和异构数据库的基于corba的体系结构

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802858

Xuequn Wu

引用次数: 13

A framework for analyzing configurations of deployable software systems 用于分析可部署软件系统配置的框架

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802842

D. Heimbigner, R. Hall, A. Wolf

{"title":"A framework for analyzing configurations of deployable software systems","authors":"D. Heimbigner, R. Hall, A. Wolf","doi":"10.1109/ICECCS.1999.802842","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802842","url":null,"abstract":"Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In such a scenario, it is difficult for end users to specify and install an appropriate configuration for their specific environment. Defining all valid configurations of a software system is challenging, and can be addressed through a concise specification that can generate all of the possible configurations. The Deployable Software Description (DSD) part of the University of Colorado Software Dock project, is one such specification format. But using the DSD runs the risk that the set of generated configurations includes some that are invalid with respect to constraints defined independently of the DSD. The paper describes a framework to support the analysis of DSD specifications to help developers detect potentially invalid configurations. This analysis assumes that the system components are annotated with properties, and an analysis tool is provided that takes a specific configuration and analyzes it for conflicts with respect to some set of constraints. Using the DSD, we can enumerate and analyze configurations to verify their validity. The results can be used to modify the DSD to avoid future generation of invalid configurations.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121190869","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

Formal development and validation of Java dependable distributed systems Java可靠分布式系统的正式开发和验证

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802854

G. Serugendo, N. Guelfi, A. Romanovsky, A. Zorzo

引用次数: 11

Performance analysis of traffic networks based on Stochastic Timed Petri Net models 基于随机定时Petri网模型的交通网络性能分析

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802852

Jiacun Wang, Chun Jin, Yi Deng

引用次数: 41

On cost function synthesis for multi-objective design decisions in complex real-time systems 复杂实时系统中多目标设计决策的成本函数综合

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802853

C. C. Amaro, Roman Nossal-Tüyeni, A. Stoyen

引用次数: 1

Practical considerations in protocol verification: the E-2C case study 协议验证中的实际考虑:E-2C案例研究

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802859

Yifei Dong, S. Smolka, E. W. Stark, S. White

{"title":"Practical considerations in protocol verification: the E-2C case study","authors":"Yifei Dong, S. Smolka, E. W. Stark, S. White","doi":"10.1109/ICECCS.1999.802859","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802859","url":null,"abstract":"We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, supports communication between a mission computer (MC) and three or more tactical workstations (TWSs), connected by a single-segment LAN. We modeled the protocol in the PROMELA specification language of the SPIN verification tool, and used SPIN to analyze a number of properties of the protocol. Our investigation revealed a race condition that can lead to a disconnect of an MC/TWS connection when there is one lost UDP datagram and significant timing delays. Such delays are virtually impossible under normal E-2C operating conditions, but could be due to noise on the MC/TWS LAN. A simple modification was proposed that avoids the disconnect in many situations. Practical considerations, however, mandated that the protocol be left as it is: shutting down a noisy connection and reinitializing the TWS, with minimal delay and loss of information to the operator was deemed preferable to operating in a degraded mode.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126893391","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

A CSCW framework for the flexible coupling of groupware widgets 用于灵活耦合群件小部件的CSCW框架

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802833

Paul Leung, S. Cheung

{"title":"A CSCW framework for the flexible coupling of groupware widgets","authors":"Paul Leung, S. Cheung","doi":"10.1109/ICECCS.1999.802833","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802833","url":null,"abstract":"Modern CSCW (computer supported cooperative work) applications are driven by intensive graphical user interfaces. Groupware widgets such as shared scrollbars and text editors are common in these applications to facilitate synchronization of shared information across a user group. These widgets differ from their single-user counterparts in that they must coordinate and consistently reflect changes in shared widget properties. We propose a framework allowing these groupware widgets to be transformed from their single-user counterparts. The framework enables single-user widgets to register their connections to a separate notification server. After registration, these widgets become groupware widgets. The notification server uses the registered connections to update widgets of the changes in shared properties using a callback mechanism. Widget designers only need to determine the set of properties by which a group of widgets should be synchronized and to what extent they are synchronized. These properties collectively define the coupling among a group of widgets. The coupling is kept as a coupling portfolio in the notification server. Dynamic modification of coupling portfolios is supported by on-the-fly reconfiguration of multicast groups. Our framework is useful to simplify the client implementation of handling synchronization events and reduce the overheads of processing these events. These concepts are illustrated using a groupware Web browser.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128893864","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

An integrating approach for developing distributed software systems-combining formal methods, software reuse, and the experience base 一种用于开发分布式软件系统的集成方法——将形式化方法、软件重用和经验基础结合起来

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434) Pub Date : 1999-10-18 DOI: 10.1109/ICECCS.1999.802850

Raimund L. Feldmann, B. Geppert, F. Rößler

{"title":"An integrating approach for developing distributed software systems-combining formal methods, software reuse, and the experience base","authors":"Raimund L. Feldmann, B. Geppert, F. Rößler","doi":"10.1109/ICECCS.1999.802850","DOIUrl":"https://doi.org/10.1109/ICECCS.1999.802850","url":null,"abstract":"The development of complex software systems is driven by many diverse and sometimes contradictory requirements such as correctness and maintainability of resulting products, development costs, and time-to-market. To alleviate these difficulties, we propose a development method for distributed systems that integrates different basic approaches. First, it combines the use of the formal description technique SDL with software reuse concepts. This results in the definition of a use-case driven, incremental development method with SDL patterns as the main reusable artifacts. Experience with this approach has shown that there are several other factors of influence, such as the quality of reuse artifacts or the experience of the development team. Therefore, we further combined our SDL pattern approach with an improvement methodology known from the area of experimental software engineering. In order to demonstrate the validity of this integrating approach, we sketch some representative outcomings of a case study.","PeriodicalId":265076,"journal":{"name":"Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134282935","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