Detection of conflicting functional requirements in a use case-driven approach

Hausmann, Jan Hendrik; Heckel, Reiko; Taentzer, Gabriele

doi:10.1145/581352.581355

Cited by 69 publications

(18 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…User's requirements may generate conflicts among themselves. A conflict occurs when requirements generate incompatibilities between common software attributes [26] or when performing an activity that prevents the execution of another one [27]. It can be due to inconsistency in the specifications in case of multiple stakeholders [28].…”

Section: Requirement Elicitation Phasementioning

confidence: 99%

MADONA: a method for automated provisioning of cloud-based component-oriented business applications

Benfenatki

Silva

Kemp

et al. 2016

SOCA

View full text Add to dashboard Cite

Available at http://rdcu.be/vNHHInternational audienceService-oriented computing and cloud computing offer many opportunities for developing and deploying applications. In this paper, we propose and describe a component-oriented method for automated provisioning of cloud business applications. The method covers the whole application’s lifecycle and is based on cloud orchestration tools that manage the deployment and dependencies of supplied components. We aim to reduce the necessary technical knowledge for provisioning component-oriented cloud applications. To this end, we extend Linked Unified Service Description Language to describe services for matching user’s requirements. We adopt a real case study to show the feasibility of the method

show abstract

Section: Requirement Elicitation Phasementioning

confidence: 99%

MADONA: a method for automated provisioning of cloud-based component-oriented business applications

Benfenatki

Silva

Kemp

et al. 2016

SOCA

View full text Add to dashboard Cite

show abstract

“…To restrict the choice of matches for rules, we introduce the concept of partial rule dependencies which may relate output parameter nodes of one rule to input parameter nodes of a (not necessarily direct) subsequent rule in a given rule sequence 2 . We say that rule sequences are dependency-compatible, if the transitive closure of all dependencies between each two rules is well-defined.…”

Section: Partial Rule Dependenciesmentioning

confidence: 99%

“…This refinement serves as a basis for consistency analysis. The refinement of activities by pre-and post-conditions was first introduced in [2] to analyze inconsistencies between individual activities refining use cases. Pre-and post conditions are formalized as graph transformation rules.…”

Section: Introductionmentioning

confidence: 99%

Object Flow Definition for Refined Activity Diagrams

Jurack

Lambers

Mehner

et al. 2009

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we refine activities by pairs of pre-and post-conditions formulated by interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation approach. Control flow is formalized by sets of transformation rule sequences, while object flow is described by partial dependencies between transformation rules. This approach is illustrated by a simple service-based on-line university calendar.

show abstract

“…The set of critical pairs represents precisely all potential conflicts: Given two rules pi and p2, there exists a critical pair if and only if pi may disable p2, or p2 may disable pi. If no conflicts exist between any pair of rules the graph transformation system has a functional behavior [Hausmann et al, 2002].…”

Section: Validationmentioning

confidence: 99%

Workflow Partitioning in Mobile Information Systems

Baresi

Maurino

Modafferi

Mobile Information Systems

View full text Add to dashboard Cite

The increasing success of wireless technologies is sustaining the diffusion of mobile information systems, but the youth of the underl3äng technology and its peculiar characteristics are impacting the development of such systems. For example, the execution of business processes in such a context must cope with the variable and fluctuating bandwidth available to the different devices. This leads the designer to stress the independence of each actor ~ by minimizing interactions and knowledge sharing-to increase the reliability of the whole system. To this end, the paper proposes a rigorous approach for partitioning the execution of BPEL workflows on sets of portable devices, that is, the infrastructure of mobile information systems. The approach abstracts BPEL processes into attributed graphs and uses a graph transformation system as rules to split single workflows into meaningful sets of related processes. The paper presents such rules and exemplifies them on a case study in the cultural heritage domain.

show abstract

Detection of conflicting functional requirements in a use case-driven approach

Cited by 69 publications

References 13 publications

MADONA: a method for automated provisioning of cloud-based component-oriented business applications

MADONA: a method for automated provisioning of cloud-based component-oriented business applications

Object Flow Definition for Refined Activity Diagrams

Workflow Partitioning in Mobile Information Systems

Contact Info

Product

Resources

About