RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment

Author(s):  
Palak Ambade ◽  
Diptiben Solanki ◽  
Novarun Deb
Keyword(s):  
Author(s):  
Jennifer Horkoff ◽  
Tong Li ◽  
Feng-Lin Li ◽  
Mattia Salnitri ◽  
Evellin Cardoso ◽  
...  
Keyword(s):  

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.


2021 ◽  
pp. 35-50
Author(s):  
Piergiuseppe Mallozzi ◽  
Pierluigi Nuzzo ◽  
Patrizio Pelliccione
Keyword(s):  

Author(s):  
Shang Gao ◽  
John Krogstie

In this paper, a case study is used to evaluate the business process characterizing modeling (BPCM) language. The BPCM-framework is meant to guide both business stakeholders and model developers during model-based development. The focus of the approach is the use of BPCM as a starting point for capturing process knowledge when planning and developing information system support. Based on information within the BPCM models, goal models and process models can be developed and used for further development of the BPCM model. The approach in this paper is evaluated using a case study related to the arrangement of a conference series. Through the case study, the authors have confirmed the potential usability and usefulness of BPCM for early stage knowledge capture, getting input for further improvement of the approach.


Sign in / Sign up

Export Citation Format

Share Document