Animation for Validation of Business System Specifications
| Main Author: | V. Lalioti |
|---|---|
| Format: | Journal Book |
| Terbitan: |
, 1997
|
| Subjects: | |
| Online Access: |
http://opac.unila.ac.id/ucs/index.php?p=show_detail&id=41036 |
Daftar Isi:
- Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems.Formal approaches and modeling tools, incorporated in the CASE technology, are used to aid the Requirements Engineering (RE) activity, which leadsto a high level specification of Business Systems. The Validation of these specifications is a very delicate activity since it requires heavy stakeholderinvolvement and a consensus between stakeholders and analysts, who have quite different backgrounds and concerns. The Validation approach that is putforward in this paper, uses a set of conceptual modeling formalism and a set of formal scenarios, together with a mechanism to automatically generatethem. In addition, the approach makes use of Animation techniques in order to visualize the scenarios. A system that implements the approach is also described in this paper[I] Bubenko J., Rolland C., Lou~~pouloPs., DeAntonellis V., Facilitating "Fuzzy to Formal" Requirements Modelling, IEEE Intemational Conference on RequirementsEngineering, Colorado, pp. 18-22, April, 1994[2] Boehm B.W., Verifying and Validating Software Requirements and Design Specifications, IEEE Software, Vol. 1, No. 1, January 1984.[3] Henderson P., Functional Programming, Formal Specification and Rapid Prototyping, IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, February 1986,[4] Johnson J.R., Prototyping, The Software Factory: Managing Software Development and Maintenance, 2nd ed., pp. 195-204, Computer Weekly, 1991.[5] Tsalgatidou A. and Loucopoulos P., Rule-based behaviour modelling: specification and validation of information systems dynamics, Information and SoftwareTechnology, Vol. 33, No. 6, JulyIAugust 1991, pp. 425-432[6] Lubars M, Potts C. and Richter C., A Review of the State of the F'ractice in requirements Modelling, Proc. Int. Symposium on requirements Engineering, 1993[7] Bemstein D., Bolmaricich A. and So K., Performance Visualisation of Parallel Programs on a Shared Memory Multiprocessor System, Research Report, RC 14635(#64061) Computer Science, I September 1989.[8] Baecker R.M., An Application Overview of Program Visualisation, Computer Graphics, 20,4: 325,1986.[9] Brown M.H., Perspectives on Algorithm Animation, CHI'88: Human Factors in Computing Systems Washington,[lo] Lalioti V. and Loucopoulos P., Visualisation of Conceptual Specifications, Information Systems Journal, Vol. 19, April 3,1994[Ill R.C.J. Dur and P.W.G. Bots, Dynamic Modelling of Organisations using TasUActor simulation, In Dynamic Modelling of Information Systems II, H.G.So1 and R.L.Crosslin (Ed.), Elsevier Science Publishers, pp. 49-74, 1992.[I21 Theodoulidis, C., Loucopoulos, P.,Wangler, B., "A Conceptual Modelling Formalism for Temporal Database Applications", Information Systems, Vol. 16, No. 4, pp.1131 Karvelis G and Theodoulidis B., An SQL-like Language for the ERT Model, ORES project, Technical Report W224 ORESIUMISTIWPEIUVS, May 1994[ 141 Mendelzon A.O., Declarative Database Visualisation: Recent Papers from the Hy+/GraphLog Project, Technical Report CSRI-285, University of Toronto, June 1993[E] Sarkar M. And Brown M.H., Graphical Fisheye Views, Communications of the ACM, December 1994, Vol 37. No. 12. pp. 241-249 D.C.,3 3-38,1988 401-416, 1991. 229