首页出版物导航 用户协会 博客
 精确匹配 高级检索 检索历史
河北工业大学
详细信息

A Formal Approach to implement java exceptions in cooperative systems.

Title: A Formal Approach to implement java exceptions in cooperative systems.
Authors: Hanazumi, Simone1 acvdemelo@gmail.com
de Melo, Ana C.V.1 acvdemelo@gmail.com
Source: Journal of Systems & Software. Sep2017, Vol. 131, p475-490. 16p.
Document Type: Article
Subject Terms: COMPUTER software development
COMPUTER programming
COMPUTER software developers
COMPUTER programmers
JAVA (Computer program language)
SOFTWARE architecture
Author-Supplied Keywords: concurrent exception handling ; Coordinated atomic actions model ; java framework ; program verification
NAICS/Industry Codes: 541514 Computer systems design and related services (except video game design and development) ; 541511 Custom Computer Programming Services ; 541519 Other Computer Related Services
Abstract: The increasing number of systems that work on the top of cooperating elements have required new techniques to control cooperation on both normal and abnormal behaviors of systems. The controllability of the normal behaviors has received more attention because they are concerned with the users expectations, while for the abnormal behaviors it is left to designers and programmers. However, for cooperative systems, the abnormal behaviors, mostly represented by exceptions at programming level, become an important issue in software development because they can affect the overall system behavior. If an exception is raised and not handled accordingly, the system may collapse. To avoid such situation, certain concepts and models have been proposed to coordinate propagation and recovering of exceptional behaviors, including the Coordinated Atomic Actions (CAA). Regardless of the effort in creating these conceptual models, an actual implementation of them in real systems is not very straightforward. This article provides a reliable framework for the implementation of Java exceptions propagation and recovery using CAA concepts. To do this, a Java framework (based on a formal specification) is presented, together with a set of properties to be preserved and proved with the Java Pathfinder (JPF) model checker. In practice, to develop new systems based on the given coordination concepts, designers/programmers can instantiate the framework to implement the exceptional behavior and then verify the correctness of the resulting code using JPF. Therefore, by using the framework, designers/programmers can reuse the provided CAA implementation and instantiate fault-tolerant Java systems. [ABSTRACT FROM AUTHOR]
(Copyright applies to all Abstracts.)
Author Affiliations: 1Department of Computer Science, Institute of Mathematics and Statistics, University of São Paulo, Rua do Matão 1010, Cidade Universitária, São Paulo,05508-090, Brazil
ISSN: 0164-1212 (Sherpa/RoMEO, JCR)
PageCount: 475-491
volume: 131
issn: 01641212
pubdate: 2017
DOI: https://doi.org/10.1016/j.jss.2016.07.033
JCR分区:
ESI学科:
最新一年影响因子:
当年影响因子:
Custom Links: Full Text Finder