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.