Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Formal Model-Driven Approach...

A Formal Model-Driven Approach to Requirements Engineering

Dubravka Ilic, Elena Troubitsyna, A Formal Model-Driven Approach to Requirements Engineering. TUCS Technical Reports 667, Turku Centre for Computer Science, 2005.

Abstract:

Model Driven Architecture (MDA) gains increasing acceptance in software engineering community. MDA promotes system development by gradual transformation of system models expressed in Unified Modelling Language (UML). UML modelling facilitates better understanding of system requirements, but it is yet insufficient for guaranteeing overall correctness of the final product. In this paper we propose an approach to formalizing model-driven development in the B Method. The B Method is a top-down approach to the development of systems correct by construction. We show how the proposed approach facilitates structuring complex system requirements, requirements changes and traceability, integration of emergent requirements and navigation through the overall design space. To validate the proposed approach we conduct a case study – development of Ad hoc On-Demand Distant Vector routing protocol.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tIlTr05a,
  title = {A Formal Model-Driven Approach to Requirements Engineering},
  author = {Ilic, Dubravka and Troubitsyna, Elena},
  number = {667},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  keywords = {MDA, UML, B Method, refinement, requirements traceability and change},
  ISBN = {952-12-1507-0},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication