A tale of two case studies: using integrated methods to support rigorous requirements specication

Authors:
R. B. France;J. Wu;M. M. Larrondo-Petrie;J.-M. Bruel
Affiliations:
Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL
Venue:
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Year:
1996

Citing 9
Cited 4

Strategies for real-time system specification

Strategies for real-time system specification
A Simplification of a Conversation Design Scheme Using Petri Nets

IEEE Transactions on Software Engineering
The Z notation: a reference manual

The Z notation: a reference manual
Object-oriented development: the fusion method

Object-oriented development: the fusion method
From structured analysis to formal specifications: state of the theory

CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques

ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Understanding the Role of Formal Specification Techniques in Requirements Engineering

Proceedings of the 8th SEI CSEE Conference on Software Engineering Education
Structured Analysis and System Specification

Structured Analysis and System Specification
Distributed Software System Design Representation Using Modified Petri Nets

IEEE Transactions on Software Engineering

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An MDA approach towards integrating formal and informal modeling languages

FM'05 Proceedings of the 2005 international conference on Formal Methods
Methods integration: time for reflection (and reorientation?)

Methods'96 Proceedings of the 1996 international conference on Methods Integration
How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrated formal and informal specification techniques (FISTs) have been the focus of a number of research projects since the mid-eighties. Research in this area aim at producing specification techniques that integrate concepts and notations used in mature formal specification techniques (FSTs) and popular graphical modeling methods such as Structured Analysis (SA) and Object-Oriented Analysis (OOA). In this paper we illustrate, using the results of two case studies, two roles FSTs can play in the context of less formal graphical requirements modeling and analysis techniques. In the first case study discussed an extended Petri Net model is used to prototype a textbook SART (SA/Real-Time) model. In this case, the formal model acts as a prototype, and is used to dynamically validate the requirements expressed in the SART model. In the second case study an integrated OOA method (Fusion) and FST (Z) is used to create requirements models that are graphical and analyzable. In this case, the formal models act as more precise representations of the requirements captured by the graphical models.