Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

CEDRIC-IIE is researching rigorous information system (IS) development. Previous work includes translation rules for deriving a B specification from object-oriented diagrams, metamodels of IS UML structural and functional concepts, and a prototype translation tool. Here we outline the traceability n...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Laleau, Régine, Polack, Fiona
Format: Buchkapitel
Sprache:eng
Schlagworte:
Abstract Syntax
Applied sciences
Business Rule
Computer science
control theory
systems
Exact sciences and technology
Information systems. Data bases
Integrity Constraint
Memory organisation. Data processing
Object Management Group
Software
Software engineering
Traceability Link
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:CEDRIC-IIE is researching rigorous information system (IS) development. Previous work includes translation rules for deriving a B specification from object-oriented diagrams, metamodels of IS UML structural and functional concepts, and a prototype translation tool. Here we outline the traceability needs for a tool to assist in rigorous IS development, and provide meta-structures for the required links among B and IS UML concepts, in the context of existing translation rules and IS UML metamodels.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-45648-1_27