A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams

Malinao, Jasmine A.; Tiu, Kristhian B.; Lozano, Louise Michelle O.; Pascua, Sonia M.; Chua, Richard Bryann L.; Magboo, Ma. Sheila A.; Jaime, D. L.

doi:10.1007/978-4-431-54436-4_4

Cited by 8 publications

(10 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this method, agile development queries are employed to link the meta-models to localize a module. ICONIX paradigm proposed by Malinao et al [26] uses Unified Models for the trace of the meta-models like use cases using robustness diagram. This paradigm uses depth-first search algorithm for design-driven testing in use cases and class diagrams.…”

Section: Literature Reviewmentioning

confidence: 99%

See 1 more Smart Citation

Untitled

2020

IAJIT

View full text Add to dashboard Cite

The developmental paradigm in the software engineering industry has transformed from a programming-oriented approach to model-oriented development. At present, model-based development is becoming an emerging method for enterprises for constructing software systems and services most proficiently. In Capability Maturity Model Integration (CMMI) Level 2, i.e., Managed, we need to sustain the bi-directional trace of the transformed models for the administration of user requirements and demands. This goal is achieved by the organization after applying the particular practices suggested by CMMI level 2 process area of Requirements Management (RM). It is very challenging for software developers and testers to maintain trace, particularly during the evaluation and upgrading phases of development. In our previous research work, we proposed a traceability framework for model-based development of applications for software enterprises. This work is the extension of our previously presented research work in which we have anticipated the meta-model transformations according to the Software Development Life Cycle (SDLC). These meta-models are capable of maintaining the trace information through relations. The proposed technique is also verified using a generalized illustration of an application. This transformation practice will give a foundation to software designers to maintain traceability links in model-driven development.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

“…This paradigm uses depth-first search algorithm for design-driven testing in use cases and class diagrams. Other requirements quality matrices such as completeness, consistency, clarity, and correctness are also used to evaluate software performance using traceability links [23,26].…”

Section: Literature Reviewmentioning

confidence: 99%

Untitled

2020

IAJIT

View full text Add to dashboard Cite

show abstract

“…Robustness Diagram with Loop and Time Controls(RDLT) are multi-dimensional workflow models that had been used to represent real-world systems such as the integrated disease surveillance and response system in the country [1], Heating, Ventilation and Air-conditioning systems [2][3][4], and Fujitsu Ten's Computer Aided Multi-Analysis System Auto Test Tool (CATT) [11]. All the workflow dimensions, i.e.…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…There had been techniques that are targeted to decompose RDLTs into oneor two-dimensional workflow models such as Workflow Nets, Petri Nets, a set of UML Diagrams, and matrix representations for the purpose of model simplification and/or verification of model properties [11][12][13][16][17][18]. Model properties such soundness, free-choiceness, conflict-freeness, etc., defined for Workflow Nets and Petri Nets [5,9,10], had been adopted and extended for RDLTs since RDLTs were first introduced in [11]. These properties, and verification thereof, are important in the field of system design and analysis as they become mechanisms for which computer science practitioners, and in general, decision-makers of system planning, design, implementation, and deployment determine a criterion of fitness or suitability of models to certain environments and/or use.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Reset Profiles and Classical Soundness in Robustness Diagrams with Loop and Time Controls

Malinao,

Juayong

2024

Atlantis Highlights in Computer Sciences

View full text Add to dashboard Cite

This study establishes concepts and strategies for the verification of classical soundness of Robustness Diagrams with Loop and Time Controls(RDLT) that contain reset and join profiles. In contrast to other well-known workflow models such as BPMN, YAWL, Petri Nets, and UML Diagrams, RDLTs are powerful modelling tools that can capture all workflow dimensions, i.e. resource, process, and case, without any concerns on concept excess, the lack of support for explicit representation of data and rules, process orchestrations, and information hiding. Thus, RDLTs have found use in system representation for various real-world systems in different fields. These reset profiles in RDLTs and their mechanisms that execute system processes induce a multi-level management of information and control in its system representation. With this, previous literature had only focused on RDLTs with no resets so to avoid being encumbered by the multi-level aspect of RDLTs while performing model verification. Through this research, we provide extensions to such literature so that we are now able to manage this multi-level aspect RDLTs while also establishing their impact and relationship with various types of join and neighborhood structures in the context of verifying classical soundness of RDLTs. As a point of validation of our strategies, we benchmark the derivable activities in the input RDLT with its corresponding model abstractions. Lastly, we demonstrate and prove cases for which these abstractions help hasten the verification process or impose all abstractions to be used in the verification of the input RDLT. Finally, we provide the time and space complexity in determining classical soundness of RDLTs with such resets, joins, and neighborhood profiles, as well as pose open problems on related matters to the community.

show abstract

Model Decomposition of Robustness Diagram with Loop and Time Controls to Sequence Diagrams

Eclipse,

Malinao

2023

Lecture Notes in Networks and Systems

View full text Add to dashboard Cite

A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams

Cited by 8 publications

References 4 publications

Untitled

Untitled

Reset Profiles and Classical Soundness in Robustness Diagrams with Loop and Time Controls

Model Decomposition of Robustness Diagram with Loop and Time Controls to Sequence Diagrams

Contact Info

Product

Resources

About