From Early Requirements Analysis towards Secure Workflows

Frankova, Ganna; Massacci, Fabio; Seguran, Magali

doi:10.1007/978-0-387-73655-6_28

Cited by 9 publications

(6 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, Decreus and Poels [24] annotate goal-oriented models in the so-called B-SCP framework with control flow information and transform them into BPMN skeletons. Furthermore, Frankova et al [25] transform SI*/Secure Tropos models into skeletons of process models in BPMN, from which they generate executable processes in BPEL. On the other hand, Santos et al [4] derive goal models from existing process models.…”

Section: Related Workmentioning

confidence: 99%

Validation of User Intentions in Process Models

Gröner

Asadi

Mohabbati

et al. 2012

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

Abstract. Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns -strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.

show abstract

Section: Related Workmentioning

confidence: 99%

Validation of User Intentions in Process Models

Gröner

Asadi

Mohabbati

et al. 2012

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

show abstract

“…Frankova et al [12], for example, model security requirements in a formal goal oriented requirements language, called SI*/Secure Tropos, and -following specific verification checks -they produce a Secure BPEL workflow through an iterative process of refinement.…”

Section: Related Workmentioning

confidence: 99%

Pattern-Based Design and Verification of Secure Service Compositions

Pino

Spanoudakis

Krotsiani

et al. 2020

IEEE Trans. Serv. Comput.

View full text Add to dashboard Cite

This is the accepted version of the paper.This version of the publication may differ from the final published version. Abstract-Ensuring the preservation of security is a key requirement and challenge for Service-Based Systems (SBS) due to the use of third party software services not operating under different security perimeters. In this paper, we present an approach for verifying the security properties of SBS workflows and adapting them if such properties are not preserved. Our approach uses secure service composition patterns. These patterns encode proven dependencies between service level and workflow level security properties. These dependencies are used in reasoning processes supporting the verification of SBS workflows with respect to workflow security properties and their adaptation in ways that guarantee the properties if necessary. Our approach has been implemented by extending the Eclipse BPEL Designer and validated experimentally. The experimental evaluation has produced positive results, indicating that even for complex workflows and large sets of secure service composition patterns verification can be performed efficiently. Permanent repository link

show abstract

“…Other researchers directly align goal models with process models (see review in [7]). Their efforts use of (a variant of) i* goal models and various kinds of process models, such as WS-BPEL [33,54] and Role Activity Diagrams [11].…”

Section: Top-down Approachesmentioning

confidence: 99%

“…Andersson et al [3] Andersson et al [4] Bleistein et al [11] de Kinderen et al [21] Edirisurija and Johannesson [26] Frankova et al [33] Gordijn et al [36] Lapouchnian et al [54] Weigand et al [91] Weigand et al [92] x Kudryavtsev et al [52] x x Buder and Felden [12] Gordijn et al [35] Grau et al [37] x Koliadis et al [50] Pijpers et al [75] Solaimani and Bouwman [85] Zlatev and Wobacher [97] x…”

Section: Model-based Alignment Techniquesmentioning

confidence: 99%

Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique

Roelens

Steenacker²,

Poels

2017

Softw Syst Model

View full text Add to dashboard Cite

The realization of strategic fit within the business architecture is an important challenge for organizations. Research in the field of Enterprise Modeling has resulted in the development of a wide range of modeling techniques that provide visual representations to improve the understanding and communication about the business architecture. As these techniques only provide partial solutions for the issue of realizing strategic fit, the Process-Goal Alignment (PGA) technique is presented in this paper. This technique combines the visual expressiveness of heat mapping techniques with the analytical capabilities of performance measurement and Strategic Management frameworks to provide a comprehensible and well-informed modeling language for the realization of strategic fit within an organization's business architecture. The paper reports on the design of the proposed technique by means of Action Design Research, which included iterative cycles of building, intervention, and evaluation through case studies. To support the application of the technique, a software tool was developed using the ADOxx meta-modeling platform.

show abstract

From Early Requirements Analysis towards Secure Workflows

Cited by 9 publications

References 6 publications

Validation of User Intentions in Process Models

Validation of User Intentions in Process Models

Pattern-Based Design and Verification of Secure Service Compositions

Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique

Contact Info

Product

Resources

About