Early detection of design faults relative to requirement specifications in agent-based models

Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a BDI agent design against the requirements models, specified in terms of scenarios and goals. This approach is applicable at design time, not requiring source code. A lightweight evaluation demonstrates that a range of defects can be found using this technique

Client preferences and acceptability for medical abortion and MVA as early pregnancy termination method in Northwest Ethiopia

<p>Abstract</p> <p>Background</p> <p>Increasing access to safe abortion services is the most effective way of preventing the burden of unsafe abortion, which is achieved by increasing safe choices for pregnancy termination. Medical abortion for termination of early abortion is said to safe, effective, and acceptable to women in several countries. In Ethiopia, however, medical methods have, until recently, never been used. For this reason it is important to assess women's preferences and the acceptability of medical abortion and manual vacuum aspiration (MVA) in the early first trimester pregnancy termination and factors affecting acceptability of medical and MVA abortion services.</p> <p>Methods</p> <p>A prospective study was conducted in two hospitals and two clinics from March 2009 to November 2009. The study population consisted of 414 subjects over the age of 18 with intrauterine pregnancies of up to 63 days' estimated gestation. Of these 251 subjects received mifepristone and misoprostol and 159 subjects received MVA. Questionnaires regarding expectations and experiences were administered before the abortion and at the 2-week follow-up visit.</p> <p>Results</p> <p>The study groups were similar with respect to age, marital status, educational status, religion and ethnicity. Their mean age was about 23, majority in both group completed secondary education and about half were married. Place of residence and duration of pregnancy were associated with method choice. Subjects undergoing medical abortions reported significantly greater satisfaction than those undergoing surgical abortions (91.2% vs 82.4%; <it>P </it>< .001). Of those women who had medical abortion, (83.3%) would choose the method again if needed, and (77.4%) of those who had MVA would also choose the method again. Ninety four percent of women who had medical abortion and 86.8% of those who had MVA would recommend the method to their friends.</p> <p>Conclusions</p> <p>Women receiving medical abortion were more satisfied with their method and more likely to choose the same method again than were subjects undergoing surgical abortion. We conclude that medical abortion can be used widely as an alternative method for early pregnancy termination.</p

Verifying model oriented specifications through animation

In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to exploring Z specifications through animation, and illustrate the range of analyses that can be performed. We argue that, while a light weight approach does not give the same levels of assurance that an automated reasoning system would, it does give levels of assurance which are adequate for most projects and with significantly less overhead. We illustrate how animation can be used to perform verification using the example of a simple dependency management system. 1

Requirements specification via activity diagrams for agent-based systems

Goal-oriented agent systems are increasingly popular for developing complex applications that operate in highly dynamic environments. As with any software these systems have to be designed starting with the specification of system requirements. In this paper, we extend a popular agent design methodology, Prometheus, and improve the understandability and maintainability of requirements by automatically generating UML activity diagrams from existing requirements models; namely scenarios and goal hierarchies. This approach aims to overcome some of the ambiguity present in the current requirements specification in Prometheus and provide more structure for representing variations. Even though our approach is grounded in Prometheus, it can be generalised to all the methodologies that support similar notions in specifying requirements (i.e. notions of goals and scenarios). We present our approach and an evaluation based on user experiments. The evaluation showed that the activity diagram based approach enhances people&#039;s understanding of the requirements, makes it easier to modify requirements, and easier to check them against the detailed design of the agents for coverage

Checking the correctness of agent designs against model-based requirements

Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a BDI agent design against the requirements models, specified in terms of scenarios and goals. This approach is applicable at design time, not requiring source code. A lightweight evaluation demonstrates that a range of defects can be found using this technique