scholarly journals Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach

Author(s):  
Jennifer Horkoff ◽  
Eric Yu
Author(s):  
Jennifer Horkoff ◽  
Tong Li ◽  
Feng-Lin Li ◽  
Mattia Salnitri ◽  
Evellin Cardoso ◽  
...  
Keyword(s):  

2011 ◽  
Vol 121-126 ◽  
pp. 4481-4485
Author(s):  
Ai Yu Zhang ◽  
Xiao Guang Zhao ◽  
Lei Zhang

Due to the limited generality of traditional fault diagnosis expert system and its low accuracy of extracting failure symptoms, a general fault monitoring and diagnosis expert system has been built. For different devices, users can build fault trees in an interactive way and then the fault trees will be saved as expert knowledge. A variety of sensors are fixed to monitor the real-time condition of the device and intelligent algorithms such as wavelet transform and neural network are used to assist the extraction of failure symptoms. On the basis of integration of multi-sensor failure symptoms, the fault diagnosis is realized through forward and backward reasoning. The simulation diagnosis experiments of NC device have shown the effectiveness of the proposed method.


Author(s):  
Martin Henkel ◽  
Paul Johannesson ◽  
Erik Perjons

Organisations demand new business models for value creation and innovation that require collaboration with customers and vendors in agile and flexible networks. To realise such networks, organisations are embracing service oriented models and architectures using e-services for business communication. A major issue for a service oriented organisation is to design and offer e-services that are adapted to the needs, wants, and requirements of customers and vendors. This is a challenging task as different customer groups and vendors will have different requirements, which may vary over time, resulting in a large number of e-services. In this paper, the authors suggest enterprise models as being adequate instruments for design and maintenance of e-services. More specifically; an approach for designing e-services based on value and goal models, which will ensure that the constructed e-services will satisfy the needs and wants of customers. A project from the Swedish health care sector is used to demonstrate and evaluate the proposed approach.


Author(s):  
Chi Mai Nguyen ◽  
Roberto Sebastiani ◽  
Paolo Giorgini ◽  
John Mylopoulos

2018 ◽  
Vol 26 (4) ◽  
pp. 472-490 ◽  
Author(s):  
Nikolaos Argyropoulos ◽  
Konstantinos Angelopoulos ◽  
Haralambos Mouratidis ◽  
Andrew Fish

Purpose The selection of security configurations for complex information systems is a cumbersome process. Decision-making regarding the choice of security countermeasures has to take into consideration a multitude of, often conflicting, functional and non-functional system goals. Therefore, a structured method to support crucial security decisions during a system’s design that can take account of risk whilst providing feedback on the optimal decisions within specific scenarios would be valuable. Design/methodology/approach Secure Tropos is a well-established security requirements engineering methodology, but it has no concepts of Risk, whilst Constrained Goal Models are an existing method to support relevant automated reasoning tasks. Hence we bridge these methods, by extending Secure Tropos to incorporate the concept of Risk, so that the elicitation and analysis of security requirements can be complimented by a systematic risk assessment process during a system’s design time and supporting the reasoning regarding the selection of optimal security configurations with respect to multiple system objectives and constraints, via constrained goal models. Findings As a means of conceptual evaluation, to give an idea of the applicability of the approach and to check if alterations may be desirable, a case study of its application to an e-government information system is presented. The proposed approach is able to generate security mechanism configurations for multiple optimisation scenarios that are provided, whilst there are limitations in terms of a natural trade-off of information levels of risk assessment that are required to be elicited. Originality/value The proposed approach adds additional value via its flexibility in permitting the consideration of different optimisation scenarios by prioritising different system goals and the automated reasoning support.


Author(s):  
Evellin Cardoso ◽  
João Paulo A. Almeida ◽  
Renata S. S. Guizzardi ◽  
Giancarlo Guizzardi

While traditional approaches in business process modeling tend to focus on “how” the business processes are performed (adopting a behavioral description in which business processes are described in terms of procedural aspects), in goal-oriented business process modeling, the proposals strive to extend traditional business process methodologies by providing a dimension of intentionality to business processes. One of the key difficulties in enabling one to model goal-oriented processes concerns the identification or elicitation of goals. This paper reports on a case study conducted in a Brazilian hospital, which obtained several goal models represented in i*/Tropos, each of which correspond to a business process also modeled in the scope of the study. NFR catalogues were helpful in goal elicitation, uncovering goals that did not come up during previous interviews prior to these catalogues’ use.


Sign in / Sign up

Export Citation Format

Share Document