2009/02/05 by Ivan Jureta, Jureta, Ivan, John Mylopoulos +3
Computer Science · #Advanced Software Engineering Methodologies #D.2.1 #FOS: Computer and information sciences #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #Software Engineering Techniques and Practices
paper · pdf · doi:10.48550/arxiv.0902.0924
openalex publication_date 2009/02/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A requirements engineering artifact is valid relative to the stakeholders of the system-to-be if they agree on the content of that artifact. Checking relative validity involves a discussion between the stakeholders and the requirements engineer. This paper proposes (i) a language for the representation of information exchanged in a discussion about the relative validity of an artifact; (ii) the acceptability condition, which, when it verifies in a discussion captured in the proposed language, signals that the relative validity holds for the discussed artifact and for the participants in the discussion; and (iii) reasoning procedures to automatically check the acceptability condition in a discussions captured by the proposed language.