2003
DOI: 10.1007/978-3-540-45221-8_29
|View full text |Cite
|
Sign up to set email alerts
|

Modeling and Testing Legacy Data Consistency Requirements

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2004
2004
2017
2017

Publication Types

Select...
2
1
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(3 citation statements)
references
References 30 publications
0
3
0
Order By: Relevance
“…This diagram refers to Claim from the Argumentation Metamodel, which also refers to the Evidence Metamodel. Circular references between the class diagrams of a metamodel can cause problems when creating or analysing a model [44,45,46]. In summary, why and how to use formal assertions, and more specifically for safety evidence management, is not completely clear to us.…”
Section: Fig 9 Formal Assertions Class Diagrammentioning
confidence: 99%
“…This diagram refers to Claim from the Argumentation Metamodel, which also refers to the Evidence Metamodel. Circular references between the class diagrams of a metamodel can cause problems when creating or analysing a model [44,45,46]. In summary, why and how to use formal assertions, and more specifically for safety evidence management, is not completely clear to us.…”
Section: Fig 9 Formal Assertions Class Diagrammentioning
confidence: 99%
“…Our article (Nytun and Jensen, 2003) focused on the consistency problems that occur when previously uncoordinated, but semantically overlapping data sources are being integrated. The paper presented techniques for modelling consistency requirements using OCL and other UML modelling elements.…”
Section: Legacy Data Consistency As Examplementioning
confidence: 99%
“…The engine is also attaching a premade border engine at L6, it is this engine that automatically produces the consistency model instance and the consistency report when triggered. This last engine is an adapted implementation of the algorithm presented in (Nytun and Jensen, 2003).…”
Section: Implementation In Siwamentioning
confidence: 99%