Argumentation-based Methodology for Goal-oriented Requirements Language (GRL)

in Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), Essen, Germany, June 12-13, 2017. (2017)

Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the ... [more ▼]

Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the rationale behind selecting certain goals or alternatives. However, it does not have any means to document and trace back all of the arguments that occur during the stakeholder’s discussion process. To address this, we have developed the RationalGRL framework. RationalGRL combines techniques for formal argumentation from artificial intelligence with goal modeling in GRL. However, we did not specify how practitioners can actually use this framework. In this paper we discuss the methodology for RationalGRL, which consists of two processes, goal modeling and argumentation, that can be done interchangeably. We motivate our approach with an example. [less ▲]

Formalizing and Modeling Enterprise Architecture (EA) Principles with Goal-oriented Requirements Language (GRL)

in Proceedings of the 28th International Conference on Advanced Information System Engineering (CAiSE16) (2016)

The RationalGRL toolset for Goal Models and Argument Diagrams

in Proceedings of the 6th International Conference on Computational Models of Argument (COMMA'16) (2016)

RationalGRL: A Framework for Rationalizing Goal Models Using Argument Diagrams

in 35th International Conference on Conceptual Modeling (ER'2016) (2016)

ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions

in Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015) (2015)

Rational Architecture = Architecture from a Recommender Perspective

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

Rationalization of Goal Models in GRL using Formal Argumentation

in In Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15) (2015)

Bridging Social Network Analysis and Judgment Aggregation

in Proceedings of Social Informatics - 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014 (2014)

Judgment aggregation investigates the problem of how to aggregate several individuals’ judgments on some logically connected propositions into a consistent collective judgment. The majority of work in ... [more ▼]

Judgment aggregation investigates the problem of how to aggregate several individuals’ judgments on some logically connected propositions into a consistent collective judgment. The majority of work in judgment aggregation is devoted to studying impossibility results, but the relationship between the (social) dependencies that may exist be- tween voters and the outcome of the voting process is traditionally not studied. In this paper, we use techniques from social network analysis to characterize the relations between the individuals participating in a judgment aggregation problem by analysing the similarity between their judgments in terms of social networks. We obtain a correspondence between a voting rule in judgment aggregation and a centrality measure from social network analysis and we motivate our claims by an empirical analysis. We also show how large social networks can be simplified by grouping individuals with the same voting behavior. [less ▲]

Reasoning on Robot Knowledge from Discrete and Asynchronous Observations

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use ... [more ▼]

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge. [less ▲]

Formalizing Enterprise Architecture Decision Models using Integrity Constraints

in Unknown, Unknown (Ed.) Formalizing Enterprise Architecture Decision Models using Integrity Constraints (2014)

In creating an enterprise architecture (EA) several design decisions have to be made. The aim of this paper is to provide a logic-based formalism for capturing architectural design decisions in order to ... [more ▼]

In creating an enterprise architecture (EA) several design decisions have to be made. The aim of this paper is to provide a logic-based formalism for capturing architectural design decisions in order to make the rationalization of these decisions explicit as well as traceable. Our working hypothesis is that capturing of design knowledge in terms of a logic-based framework will enable consistency checks of the underlying rationales and advanced impact/what-if analysis when confronted with changes (e.g. decisions are changed, issues are solved). We formalize a set of integrity constraints, which allow guidance of decision capturing during model creation and provide means to perform consistency checks. We apply our formal framework to a practical case study from the insurance sector. [less ▲]