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.
| Original language | English |
|---|---|
| Title of host publication | Systems, Software and Services Process Improvememt, 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017 |
| Publisher | Springer |
| Pages | 381-398 |
| Number of pages | 18 |
| DOIs | |
| Publication status | Published - Aug 2017 |
Fields of science
- 202005 Computer architecture
- 202017 Embedded systems
- 102 Computer Sciences
- 102002 Augmented reality
- 102006 Computer supported cooperative work (CSCW)
- 102011 Formal languages
- 102015 Information systems
- 102020 Medical informatics
- 102022 Software development
- 102027 Web engineering
- 201305 Traffic engineering
- 202022 Information technology
- 207409 Navigation systems
- 502032 Quality management
- 502050 Business informatics
JKU Focus areas
- Computation in Informatics and Mathematics
- Management and Innovation