Modelling the Strategic Alignment of Software Requirements using Goal Graphs

This paper builds on existing Goal Oriented Requirements Engineering (GORE) research by presenting a methodology with a supporting tool for analysing and demonstrating the alignment between software requirements and business objectives. Current GORE methodologies can be used to relate business goals to software goals through goal abstraction in goal graphs. However, we argue that unless the extent of goal-goal contribution is quantified with verifiable metrics and confidence levels, goal graphs are not sufficient for demonstrating the strategic alignment of software requirements. We introduce our methodology using an example software project from Rolls-Royce. We conclude that our methodology can improve requirements by making the relationships to business problems explicit, thereby disambiguating a requirement's underlying purpose and value.Comment: v2 minor updates: 1) bitmap images replaced with vector, 2) reworded related work ref[6] for clarit

An architecture for organisational decision support

The Decision Support (DS) topic of the Network Enabled Capability for Through Life Systems Engineering (NECTISE) project aims to provide organisational through-life decision support for the products and services that BAE Systems deliver. The topic consists of five streams that cover resource capability management, decision management, collaboration, change prediction and integration. A proposed architecture is presented for an Integrated Decision Support Environment (IDSE) that combines the streams to provide a structured approach to addressing a number of issues that have been identified by BAE Systems business units as being relevant to DS: uncertainty and risk, shared situational awareness, types of decision making, decision tempo, triggering of decisions, and support for autonomous decision making. The proposed architecture will identify how either individuals or groups of decision makers (including autonomous agents) would be utilised on the basis of their capability within the requirements of the scenario to collaboratively solve the decision problem. Features of the scenario such as time criticality, required experience level, the need for justification, and conflict management, will be addressed within the architecture to ensure that the most appropriate decision management support (system/naturalistic/hybrid) is provided. In addition to being reliant on a number of human factors issues, the decision making process is also reliant on a number of information issues: overload, consistency, completeness, uncertainty and evolution, which will be discussed within the context of the architecture

STATE PROPAGATION FOR BUSINESS PROCESS MONITORING ON DIFFERENT LEVELS OF ABSTRACTION

Modeling and execution of business processes is often performed on different levels of abstraction. For example, when a business process is modeled using a high-level notation near to business such as Event-driven Process Chains (EPC), a technical refinement step is required before the process can be executed. Also, model-driven process design allows modeling a process on high-level, while executing it in a more detailed and executable low-level representation such as processes defined in the Business Process Execution Language (BPEL) or as Java code. However, current approaches for graphical monitoring of business processes are limited to scenarios in which the process that is being executed and the process that is being monitored are either one and the same or on the same level of abstraction. In this paper, we present an approach to facilitate business-oriented process monitoring while considering process design on high-level. We propose process views for business process monitoring as projections of activities and execution states in order to support business process monitoring of running process instances on different levels of abstraction. In particular, we discuss state propagation patterns which can be applied to define advanced monitoring solutions for arbitrary graph-based process languages

Action Stories for Counter Terrorism (extended abstract)

Due to the raised terrorist threat worldwide, there is an urgent need to research that assists security and police services to protect the public and key assets and to prevent attacks from taking place. Successful protection and prevention may require potential and known suspects to be monitored or arrested. These operations are high risk because inappropriate surveillance, interview or arrest may have damaging political, public relations and intelligence effects. In addition to better tracking information on which to base suspicions, the security and police services need to have confidence that operations will yield evidence that can demonstrate conclusively that a deceptive activity such as a terrorist attack was in the process of being planned or executed before an operation takes place

Model granularity and related concepts

Models are integral to engineering design and basis for many decisions. Therefore, it is necessary to comprehend how a model’s properties might influence its behaviour. Model granularity is an important property but has so far only received limited attention. The terminology used to describe granularity and related phenomena varies and pertinent concepts are distributed across communities. This article positions granularity in the theoretical background of models, collects formal definitions for relevant terms from a range of communities and discusses the implications for engineering design

Global banking and international business cycles

This paper incorporates a global bank into a two-country business-cycle model. The bank collects deposits from households and makes loans to entrepreneurs, in both countries. It has to finance a fraction of loans using equity. We investigate how such a bank capital requirement affects the international transmission of productivity and loan default shocks. Three findings emerge. First, the bank's capital requirement has little effect on the international transmission of productivity shocks. Second, the contribution of loan default shocks to business cycle fluctuations is negligible under normal economic conditions. Third, an exceptionally large loan loss originating in one country induces a sizeable and simultaneous decline in economic activity in both countries. This is particularly noteworthy, as the 2007–09 global financial crisis was characterized by large credit losses in the US and a simultaneous sharp output reduction in the U.S. and the euro Area. Our results thus suggest that global banks may have played an important role in the international transmission of the crisis.Equity ; Bank capital ; Productivity ; Default (Finance) ; Loans

Handshaking Protocol for Distributed Implementation of Reo

Reo, an exogenous channel-based coordination language, is a model for service coordination wherein services communicate through connectors formed by joining binary communication channels. In order to establish transactional communication among services as prescribed by connector semantics, distributed ports exchange handshaking messages signalling which parties are ready to provide or consume data. In this paper, we present a formal implementation model for distributed Reo with communication delays and outline ideas for its proof of correctness. To reason about Reo implementation formally, we introduce Timed Action Constraint Automata (TACA) and explain how to compare TACA with existing automata-based semantics for Reo. We use TACA to describe handshaking behavior of Reo modeling primitives and argue that in any distributed circuit remote Reo nodes and channels exposing such behavior commit to perform transitions envisaged by the network semantics.Comment: In Proceedings FOCLASA 2014, arXiv:1502.0315