The correctly analyzed system which behaves incorrectly

  • Authors:
  • Ivan Ryant

  • Affiliations:
  • -

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many systems analysts believe that strictly following a methodology prevents them from producing incorrect system specification. In fact, banking systems, telephone exchanges and other information and control systems may fail in any moment because of hidden errors. This article explains that the most widespread methodologies nowadays aid rising of dangerous synchronization errors in the specification. What's the matter? The methodologies isolate interacting concurrent processes one from other. In order to analyze concurrent behavior, we need to consider interactions as a whole. We must not split interactions into separate processes.Systems analysis aims to specify information systems. There are several approaches to the systems analysis. The two main streams today are structured and object oriented analysis. Unfortunately, both of them hide the danger of incorrect synchronization without giving the analyst any chance to control it. Perhaps, the most delusive case of incorrect synchronization are time - dependent errors. Concurrent system is the system of concurrent (sequential) processes that may interact (communicate or synchronize each other).