Animation for Validation of Business System Specifications

  • Authors:
  • V. Lalioti

  • Affiliations:
  • -

  • Venue:
  • HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track-Collaboration Systems and Technology - Volume 2
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

Business System Engineers, responding to changes inthe market place, are faced with the challenge ofbuilding increasingly complex and varied systems.Formal approaches and modeling tools, incorporatedin the CASE technology, are used to aid theRequirements Engineering (RE) activity, which leadsto a high level specification of Business Systems. TheValidation of these specifications is a very delicateactivity since it requires heavy stakeholderinvolvement and a consensus between stakeholdersand analysts, who have quite different backgroundsand concerns. The Validation approach that is putforward in this paper, uses a set of conceptualmodeling formalism and a set of formal scenarios,together with a mechanism to automatically generatethem. In addition, the approach makes use ofAnimation techniques in order to visualize thescenarios. A system that implements the approach isalso described in this paper.