Apr6

PhD thesis defence

By: Marc van Zee
Date and time: 06 April 2017 at 14:00
Location: University of Luxembourg, Belval Campus, Maison du Savoir, Room MSA 4.160, 2, avenue de l’Université, 4365 Esch-sur- Alzette (Luxembourg).

In this thesis, titled "Rational Architecture: Reasoning about Enterprise Dynamics", we explore the use of reasoning methods developed in artificial intelligence for reasoning in enterprise architecture. First, we use classical first order logic to reason about enterprise decisions with their assumptions and reasons. We validate our method using a case study from the banking sector and an empirical study among practitioners. Second, we use formal argumentation to reason about the process of goal modeling, tracing back elements of a goal model to their underlying arguments. We evaluate the argumentation theory using a study among 20 subjects, showing that it is superior to traditional goal modeling with respect to completeness and coverage of goal search; size of the goal model; ease of use; explicitness in the assumptions made; and repeatability of conclusions across subjects. Third, we develop a new belief-desire-intention logic to formalize the planning process of enterprise architecture. We axiomatize the logic, we prove soundness and completeness, and we prove a representation theorem.

These methods can be used for the explicit recording and rationalization of architecture-level decisions, and next generation recommender systems.

Apr7

Workshop@Uni.Lu!

Date and time: 07 April 2017, 09:30h-17.00h
Location: University of Luxembourg, Belval Campus, Maison du Savoir, Room 4.340 (floor 4). 2, avenue de l’Université, 4365 Esch-sur- Alzette (Luxembourg).

Large and complex enterprises are a common occurrence in today’s business environment. Such enterprises usually involve complex and interdependent business processes and IT systems. Enterprise Architecture (EA) is used to model such enterprises in a holistic fashion by connecting their IT infrastructure and applications to the business processes they support. In turn this links them also to the products and services that are realized by those business processes.

Enterprise Architecture (EA) is recommended as a central component of every bank to connect their IT infrastructure and applications to their business processes, products and services. However, enterprise architects generally do not know how to make use of the vast amount of information available to them nowadays in electronic form, as most of it is written in natural language. Moreover, as the length of employment continues to drop in management, the need arises for explicit recording and rationalization of architecture-level decisions.

In this interdisciplinary workshop we attempt to build bridges between Enterprise Architecture (EA) and formal reasoning methods in Artificial Intelligence, with the goal to recommend practitioners in their daily activities.