A model for a causal logic for requirements engineering
| Autor: | John McDermid, Jonathan D. Moffett, Jon G. Hall, Andrew Coombes |
|---|---|
| Rok vydání: | 1996 |
| Předmět: |
Functional specification
Syntax (programming languages) Requirements engineering Programming language Computer science business.industry Concurrency Software requirements specification System requirements specification Semantics computer.software_genre Artificial intelligence business Requirements analysis computer Software Information Systems |
| Zdroj: | Requirements Engineering. 1:27-46 |
| ISSN: | 1432-010X 0947-3602 |
| Popis: | The language of causation is natural for the specification of requirements for complex systems. The paper provides a vocabulary of causal specification expressions, suitable for describing and analysing such systems. The notation is given a syntax and partial semantics. It covers many of the commonly used modes of causal language including necessary and sufficient cause, prevention and enabling conditions. The concept of condition splitting is introduced, enabling a specification at an abstract level to treat two conditions as identical, while a concrete refinement of it may view them as separate. A number of other issues are examined, including: repetitive, probabilistic and hidden causes; causal agents; the validation of causal descriptions; and concurrency. Possible approaches to development of causal specifications are discussed. The work is placed in the context of related work in artificial intelligence and philosophy. The detailed framework of the paper is supported by a realistic example. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink