Ontology-based automated support for goal–use case model analysis

Combining goal-oriented and use case modeling has been proven to be an effective method in requirements elicitation and elaboration. To ensure the quality of such modeled artifacts, a detailed model analysis needs to be performed. However, current requirements engineering approaches generally lack reliable support for automated analysis of consistency, correctness and completeness (3Cs problems) between and within goal models and use case models. In this paper, we present a goal–use case integration framework with tool support to automatically identify such 3Cs problems. Our new framework relies on the use of ontologies of domain knowledge and semantics and our goal–use case integration meta-model. Moreover, functional grammar is employed to enable the semiautomated transformation of natural language specifications into Manchester OWL Syntax for automated reasoning. The evaluation of our tool support shows that for representative example requirements, our approach achieves over 85 % soundness and completeness rates and detects more problems than the benchmark applications.

Convert meets KIELER: integrating advanced layout algorithms into by-example visualisations

The CONcrete Visual assistEd Transformation (CONVErT) framework provides facilities to generate reusable notations and compose them to form a wide variety of visual-isations. With an increased number of notations in large scale visualisations, it is crucial to use advanced layout algorithms to improve understandability of such complex visualisations. This showpiece paper demonstrates how advanced layout algorithms can be integrated into the notation specifications of CONVErT to generate layouts of complex visualisations.

The new Keynesian Phillips curve: an update on recent empirical advances

This paper presents a comprehensive review of the newly emerging literature on the New Keynesian Phillips Curve (NKPC). The theoretical predictions, econometric estimation techniques as well as the corresponding empirical evidence are discussed focusing on both the closed economy and the open economy versions of the NKPC. A number of important findings are reported about the ability of NKPC to explain the process of inflation dynamics. First, there is weak support for the open economy version of the NKPC to be able to track inflation dynamics if imported inputs are used in the production process. Second, the NKPC describes inflation dynamics across sectors if microeconomic and sectoral level data are used. Further, the survey data employed as a proxy for inflation measure in the newer studies provide enhanced support to the closed economy NKPC with the sign, size and statistical significance of coefficients in line with the theoretical predictions. We provide fresh empirical evidence to check the first finding from the review. The deep structural parameters for four different versions of the NKPC, the pure forward looking NKPC, the Gali and Monacelli's (2005) NKPC, the open economy NKPC and the open economy hybrid NKPC, are estimated for Australia, Canada, New Zealand and the United Kingdom. These estimated coefficients show some support that the specifications of open economy NKPC, which incorporate prices of imported goods as opposed to the terms of trade and real exchange rate, seems to be a better, however, weak indicator of the inflation dynamics. These findings may have important policy implications.