Traceability Management of GRL and SysML Models
| Autor: | Amal Ahmed Anda, Daniel Amyot |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Requirements management
Structure (mathematical logic) 050101 languages & linguistics Traceability Computer science business.industry 05 social sciences Magic (programming) 02 engineering and technology Consistency (database systems) Systems Modeling Language Information model 0202 electrical engineering electronic engineering information engineering Change management (engineering) 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Software engineering business |
| Zdroj: | SAM |
| DOI: | 10.1145/3419804.3420272 |
| Popis: | Emerging socio-cyber-physical systems integrate social concerns, often captured with goal models, with complex systems, where structure and behavior are often captured in SysML. Traceability between these two types of models is important to reason about consistency, completeness, and the impact of modifications. However, managing traceability during the co-evolution of these two views is not well supported as SysML does not provide sophisticated goal-modeling capabilities out of the box. This paper proposes an approach where the Goal-oriented Requirement Language (GRL) is used to capture and analyze social concerns as a supplement to SysML models, and where traceability is handled via a third-party requirements management system, namely IBM Rational DOORS. The approach is supported with tools automating the import in DOORS of relevant parts of the GRL and SysML models from their respective modeling environments (jUCMNav and No Magic's Cameo Systems Modeler). A traceability information model is proposed to connect elements from GRL and SysML models in a way that enables automating important completeness and consistency checks, even as the models evolve. The approach is illustrated and evaluated with a Smart Home example, with a discussion of benefits and limitations. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|