Proceedings of the 24th International Conference on Software Engineering. ICSE 2002最新文献_第8页

Security attribute evaluation method: a cost-benefit approach 安全属性评价方法:一种成本效益法

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1109/ICSE.2002.1007971

S. Butler

引用次数: 58

A programming model and system support for disconnected-aware applications on resource-constrained devices 在资源受限的设备上对断开连接的应用程序的编程模型和系统支持

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581384.581386

Y. Weinsberg, I. Ben-Shaul

{"title":"A programming model and system support for disconnected-aware applications on resource-constrained devices","authors":"Y. Weinsberg, I. Ben-Shaul","doi":"10.1145/581384.581386","DOIUrl":"https://doi.org/10.1145/581384.581386","url":null,"abstract":"The emergence of networked lightweight portable computing devices can potentially enable accessibility to a vast array of remote applications and data. In order to cope with shortage of local resources such as memory, CPU and bandwidth, such applications are typically designed as a thin-client thick-server applications. However, another highly desirable yet conflicting requirement is to support disconnected operation, due to the low quality and high cost of online connectivity. We present a novel programming model and a runtime infrastructure that addresses these requirements by automatically reconfiguring the application to operate in disconnected mode of operation, when voluntary disconnection is requested, and automatically resorting to normal distributed operation, upon reconnection. The programming model enables developers to design disconnected aware applications by providing a set of component reference annotations with special disconnection and reconnection semantics. Using these annotations, designers can identify critical components, priorities, dependencies, local component alternatives with reduced functionality, and state merging policies. The runtime infrastructures carries out dis- and re-connection semantics using component mobility and dynamic application layout. The disconnected operation framework, FarGo-DA, is an extension of FarGo, a mobile component framework for distributed applications.","PeriodicalId":186061,"journal":{"name":"Proceedings of the 24th International Conference on Software Engineering. ICSE 2002","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122445774","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}

引用次数: 50

An architecture-centric approach to the development of a distributed model-checker for timed automata 为时间自动机开发分布式模型检查器的以体系结构为中心的方法

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581457.581461

E. D. Ves, Ana M. C. Ruedin, D. Acevedo, X. Benavent, L. Seijas

{"title":"An architecture-centric approach to the development of a distributed model-checker for timed automata","authors":"E. D. Ves, Ana M. C. Ruedin, D. Acevedo, X. Benavent, L. Seijas","doi":"10.1145/581457.581461","DOIUrl":"https://doi.org/10.1145/581457.581461","url":null,"abstract":"Summary form only given, as follows. Research in model checking is focused on increasing the size of the problems that tools can deal with. The ultimate wave has been the use of distributed computing, where a cluster of computers work together to solve the problem. In our work, we present a distributed model checker that is evolved from the Kronos tool and that can handle backwards computation of TCTL (timed computation tree logic) reachability formulae over timed automata. Our proposal, including the arguments of its correctness, is based on software architectures, using a notation adapted from C. Hofmeister et al. (1999). We find such an approach to be a natural and general way to address the development of complex tools that need to incorporate new features and optimizations as they evolve. We introduce some interesting features, such as a-priori graph partitioning (using METIS, a standard library for graph partitioning), sophisticated machinery to reach optimum performance (communication piggybacking and delayed messaging) and dead-time utilization, where every processor uses time intervals of inactivity to perform auxiliary, time-consuming tasks that will later speed up the rest of the computation. The correctness proof strategy combines an architecture evolution with the theoretical results about fix-point calculation developed by P. Cousot (1978).","PeriodicalId":186061,"journal":{"name":"Proceedings of the 24th International Conference on Software Engineering. ICSE 2002","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132895870","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}

引用次数: 22

ArchJava: connecting software architecture to implementation ArchJava:连接软件架构和实现

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1109/ICSE.2002.1007967

Jonathan Aldrich, C. Chambers, D. Notkin

引用次数: 587

Brazilian software quality in 2002 2002年巴西软件质量奖

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581339.581420

K. C. Weber, Célia Joseli do Nascimento

引用次数: 11

Holistic framework for establishing interoperability of heterogeneous software development tools and models 建立异构软件开发工具和模型的互操作性的整体框架

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581339.581474

J. Puett

引用次数: 9

Observing timed systems by means of Message Sequence Chart Graphs 用消息序列图观察定时系统

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581457.581458

S. Blaustein, F. Oliveto, V. Braberman

引用次数: 1

A dynamic pair-program sending architecture for industrial remote operations 一种用于工业远程操作的动态对程序发送体系结构

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581384.581387

Takeshi Inoue, Y. Hino, K. Hayashi, M. Narukawa

{"title":"A dynamic pair-program sending architecture for industrial remote operations","authors":"Takeshi Inoue, Y. Hino, K. Hayashi, M. Narukawa","doi":"10.1145/581384.581387","DOIUrl":"https://doi.org/10.1145/581384.581387","url":null,"abstract":"Remote operations such as maintenance, diagnoses, and command executions are more and more needed in industrial automation domains. Remote operation software that flexibly responds to changes in requirements from factory, chemical plants, or remote-side operators is desired. We developed a dynamic program-sending and automatic starting architecture for this purpose. In the architecture, a pair of programs appears in one remote operation context at a time. One program called a \"Worker\" is dynamically sent to a plant side and another called a \"WorkerGUI\" is dynamically sent to a remote operator side. Both programs are simultaneously started and communicate each other using Java/RMI. The remote-side operator's commands via the \"WorkerGUI\" are sent and executed in the plant side \"Worker\" program and the execution results are sent back to the operator side \"WorkerGUI\". By using this architecture, a remote-side operator is able to select best match programs whenever he or she needs, and dynamically send and start them. Thus, the architecture establishes flexible remote operation environments. We explain our architecture first, and then, report the evaluation results through experiences of architecture development, three prototype application developments, and using the applications in a real remote plant operation environment.","PeriodicalId":186061,"journal":{"name":"Proceedings of the 24th International Conference on Software Engineering. ICSE 2002","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114817214","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

An object-oriented bridge among architectural styles, aspects and frameworks 在体系结构风格、方面和框架之间建立一个面向对象的桥梁

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581457.581468

J. A. D. Pace, M. Campo

{"title":"An object-oriented bridge among architectural styles, aspects and frameworks","authors":"J. A. D. Pace, M. Campo","doi":"10.1145/581457.581468","DOIUrl":"https://doi.org/10.1145/581457.581468","url":null,"abstract":"Summary form only given. Proposes an architecture-driven design approach based on the concept of proto-frameworks, aiming to provide an intermediate stage in the transition from architectural models to object-oriented frameworks or applications. The approach relies on an object-oriented materialization of domain-specific architectures derived from domain models, i.e. the production of concrete computational representations of abstract architectural descriptions using object-oriented terminology. A proto-framework materializes, in object-oriented terms, the infrastructure required for cooperation and communication of each architectural component type. The framework gives abstract hooks to map specific domain components into a class hierarchy in a white-box fashion. This mapping can produce a specific application, but it can also produce new domain-specific frameworks that adopt the underlying architectural model. In the proposed approach, we can basically identify two stages. First, developers should figure out the problem architecture; aspects are initially mapped to architectural constructs, instead of being coded using framework language constructs. Second, the approach enables a materialization into a proto-framework, and then several kinds of frameworks implementations. These frameworks retain the properties inherited from the original architecture.","PeriodicalId":186061,"journal":{"name":"Proceedings of the 24th International Conference on Software Engineering. ICSE 2002","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122855423","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

Web services engineering: promises and challenges Web服务工程:承诺与挑战

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 Pub Date : 2002-05-19 DOI: 10.1145/581339.581425

M. Aoyama, S. Weerawarana, H. Maruyama, C. Szyperski, K. Sullivan, D. Lea

引用次数: 78