Graceful integration of process capability improvement, formal modeling and web technology for traceability

M. Biró, F. Kossak, J. Klespitz, L. Kovács. Graceful integration of process capability improvement, formal modeling and web technology for traceability. volume 748, pages 381-398, DOI 10.1007/978-3-319-64218-5_32, 8, 2017.

Autoren
  • Miklós Biró
  • Felix Kossak
  • József Klespitz
  • Levente Kovács
Editoren
  • Jakub Stolfa
  • Svatopluk Stolfa
  • Rory V. O'Connor
  • Richard Messnarz
BuchSoftware and Services Process Improvement - Proc. EuroSPI 2017
TypIn Konferenzband
VerlagSpringer
SerieCommunications in Computer and Information Science
Band748
DOI10.1007/978-3-319-64218-5_32
ISBN978-3-319-64217-8
Monat8
Jahr2017
Seiten381-398
Abstract

This paper discusses the need and leveraging potential of formal modeling and web technology for progressing towards the goal of automating the establishment, maintenance and assessment of the completeness of traceability and the consistency of the requirements. The generic Augmented Lifecycle Space method, devised in an earlier paper, is applied as the approach to improve the capability of software processes requiring bidirectional traceability as well as consistency of the requirements in either homogeneous or heterogeneous development environments capitalizing on the emerging Open Services for Lifecycle Collaboration (OSLC) initiative. One of the important features of the presented new approach is that it allows for the so called “graceful integration” of formal modeling. Formal modeling is fundamentally necessary for securing completeness and consistency, but customarily rejected due to the usually prohibiting up-front effort needed to formally process all artifacts of an already established traditional system; Graceful integration can considerably lower this threshold.