An abductive approach for analysing event-based requirements specifications Export

@misc{citeulike:1439546, abstract = {We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system's reaction to events and safety properties. The approach uses a variant of Kowalski and Sergot's Event Calculus to represent such specifications declaratively and an abductive reasoning mechanism for analysing safety properties. Given a system description and a safety property, the abductive mechanism is able to identify a complete set of...}, author = {Russo, A. and Miller, R. and Nuseibeh, B. and Kramer, J.}, citeulike-article-id = {1439546}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4878}, keywords = {abduction, requirements, specification}, posted-at = {2007-07-06 14:35:43}, priority = {2}, title = {An abductive approach for analysing event-based requirements specifications}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4878}, year = {2002} }

TY - GEN ID - citeulike:1439546 L3 - citeulike-article-id:1439546 N2 - We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system's reaction to events and safety properties. The approach uses a variant of Kowalski and Sergot's Event Calculus to represent such specifications declaratively and an abductive reasoning mechanism for analysing safety properties. Given a system description and a safety property, the abductive mechanism is able to identify a complete set of... TI - An abductive approach for analysing event-based requirements specifications KW - abduction KW - requirements KW - specification AU - Russo, A AU - Miller, R AU - Nuseibeh, B AU - Kramer, J PY - 2002/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4878 ER -