Extension on Transactional Remote Services in SOFL

Yisheng Wang,Haopeng Chen
DOI: https://doi.org/10.1007/978-3-642-39277-1_10
2012-01-01
Abstract:Software quality always attracts considerable attentions of people. Software running without any mistakes is always a dream of all developers. Besides traditional testing method using in practice such as path coverage, selection coverage, etc, people try to use some more formal and reliably method to ensure the quality. SOFL, stands for Structured Object-oriented Formal Language, is a kind of formal language which can be used to describe, validate and verify core business flow of software. As software developing model keeps changing for years, we need to make some extensions to SOFL. In this paper, we have performed extension on transactional remote services designed for SOFL. Our extension can mainly be divided into two parts: remote services and transactions. By introducing these, SOFL is able to keep pace with the changing software developing model, thus ensuring software quality in a more mathematical and different way comparing with traditional testing.
What problem does this paper attempt to address?