Specification of a localization component driven by a goal-based approach: some lessons we learned

Authors:
Abderrahman Matoussi;Frédéric Gervais;Régine Laleau
Affiliations:
Université Paris-Est, LACL, IUT Sénart Fontainebleau, Dpt Informatique, France;Université Paris-Est, LACL, IUT Sénart Fontainebleau, Dpt Informatique, France;Université Paris-Est, LACL, IUT Sénart Fontainebleau, Dpt Informatique, France
Venue:
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Year:
2010

Citing 11
Cited 0

Locality and interleaving semantics in calculi for mobile processes

Theoretical Computer Science
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Requirements engineering: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Météor: A Successful Application of B in a Large Project

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering

RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Requirements Engineering

Requirements Engineering
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements

ARES '08 Proceedings of the 2008 Third International Conference on Availability, Reliability and Security
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
Towards validation of requirements models

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Using b as a high level programming language in an industrial project: roissy VAL

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

The transition from the requirements phase to the formal specification phase is one of the most painful steps in software development. Up to now, no well-defined process to build initial formal models has been proposed. We have proposed a method in which initial formal models are built incrementally, driven by a goal-based approach. This paper aims at sharing the salient points of our experience to specify a localization component. We discuss the benefit of using a goal-based modeling to obtain an abstract Event-B specification.