An approach to formal automated analysis of problem-frame concerns

Authors:
Maria Augusta Nelson;Torsten Nelson;Paulo Alencar;Don Cowan
Affiliations:
Institute of Informatics, Pontifical Catholic University of Minas Gerais, Belo Horizonte, Brazil;Aspectos Consulting, Belo Horizonte, Brazil;Computer Systems Group, University of Waterloo, Waterloo, Canada;Computer Systems Group, University of Waterloo, Waterloo, Canada
Venue:
Information and Software Technology
Year:
2005

Citing 5
Cited 0

Conjunction as composition

ACM Transactions on Software Engineering and Methodology (TOSEM)
Weaving Together Requirements and Architectures

Computer
Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A problem-oriented approach to description and analysis of geographic requirements

A problem-oriented approach to description and analysis of geographic requirements
Formal verification of projection-based software systems

Formal verification of projection-based software systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an approach to performing automated formal analysis of the concerns found in descriptions that follow the problem-frames technique. The descriptions of the problem domains, machine and requirements are written in a formal language. The approach is explained through a case study using the Alloy language. We show that an evaluation of results and counter-examples provided by a model checker can reveal useful information that can help remove inconsistencies as well as composition errors.