Formal REA model at operational level

Despite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description. Most of the formalization approaches to REA use only UML or other graphical representation. This paper aims to define REA ontology at operational level using formal logic tools. The general approach to formal logic description of REA was motivated by LTAP introduced by Ito, Hagihara and Yonezaki. After basic REA concepts are presented, semantics and logical language LREA are defined including axioms for the REA operational level. Future research is shortly described in conclusion.REA framework; formal models; modal logic

An assessment framework of business modelling ontologies to ensure the viability of business models

Organisations operate in an increasingly dynamic environment. Consequently, the business models span several organisations, dealing with multiple stakeholders and their competing interests. As a result, the enterprise information systems supporting this new market setting are highly distributed, and their components are owned and managed by different stakeholders. For successful businesses to exist it is crucial that their enterprise architectures are derived from and aligned with viable business models. Business model ontologies (BMOs) are effective tools for designing and evaluating business models. However, the viability perspective has been largely neglected. In this paper, current BMOs have been assessed on their capabilities to support the design and evaluation of viable business models. As such, a list of criteria is derived from literature to evaluate BMOs from a viability perspective. These criteria are subsequently applied to six well-established BMOs, to identify a BMO best suited for design and evaluation of viable business models. The analysis reveals that, although none of the BMOs satisfy all the criteria, e3-value is the most appropriate BMO for designing and evaluating business models from a viability perspective. Furthermore, the identified deficits provide clear areas for enhancing the assessed BMOs from a viability perspective

From business logic to business process : designing strategy-aligned business processes

Het ontwerpen van strategisch gealigneerde bedrijfsprocessen vereist een coördinatie tussen de strategie en de processen binnen een onderneming. Binnen het onderzoeksgebied van het Conceptueel Modelleren kan deze coördinatie verwezenlijkt worden door het gebruik van waardemodellen. Modelleertalen voor waardemodellen brengen zowel de creatie van waarde binnen de onderneming, als de uitwisseling van waarde tussen de onderneming en haar ruimer netwerk, in kaart. Binnen dit doctoraatsonderzoek wordt het gebruik van deze modelleertalen gecombineerd met het bedrijfsmodel van de onderneming, een concept dat zijn oorsprong vindt in Strategisch Management. Het combineren van conceptuele modelleertalen met relevante raamwerken uit de management literatuur zorgt er voor dat conceptuele modellen ontwikkeld kunnen worden binnen een afgelijnde strategische context. Hierdoor worden concepten gebruikt die een duidelijke betekenis hebben voor de eindgebruikers binnen de onderneming, waardoor het eenvoudiger wordt voor hen om de uiteindelijke modellen te begrijpen. Het onderzoek binnen dit doctoraatsproefschrift is opgesplitst in drie delen. Het eerste deel (hoofdstuk 2) beschrijft de ontwikkeling van een integrerend raamwerk voor het bedrijfsmodel, zoals het gepercipieerd wordt binnen Strategisch Management. De belangrijkste reden voor dit onderzoek was het gebrek aan een gemeenschappelijke visie binnen dit onderzoeksdomein. Het raamwerk werd ontwikkeld door middel van een literatuurstudie en leidde tot de identificatie van 10 elementen en hun onderlinge relaties binnen het bedrijfsmodel. De toepasbaarheid van dit raamwerk werd geïllustreerd door het toe te passen op de Southwest Airlines gevalstudie. Het onderzoek uit hoofdstuk 3 bouwt verder op dit raamwerk aangezien het gericht is op de realisatie van IT support voor de ontwikkeling van bedrijfsmodellen. Hiervoor zijn we nagegaan welke modelleerconstructen, die gebruikt worden bij het opstellen van waardemodellen, geschikt zijn om de elementen binnen het bedrijfsmodel weer te geven. Nadien zijn deze modelleerconstructen gecombineerd tot het nieuwe business model viewpoint binnen VDML. Deze modelleertaal werd recent ontwikkeld door de Object Management Group als een standaard voor het modelleren van de waardecreatie en –uitwisseling door de onderneming. Het VDML business model viewpoint heeft als doel om het begrip van de eindgebruikers over de onderliggende bedrijfsinformatie te vergroten. Dit effect werd nagegaan door het uitvoeren van een experiment, waarvan de statistische resultaten aantonen dat het gebruik van dit nieuwe model een significante en positieve invloed heeft op het de accuraatheid en de snelheid waarmee eindgebruikers de onderliggende informatie kunnen afleiden. Het laatste deel van het onderzoek (hoofdstuk 4) is gericht op the realiseren van strategische afstemming binnen de bedrijfsarchitectuur. Dit werd verwezenlijkt door de ontwikkeling van een modelleertechniek die gericht is op de creatie van business architecture heat maps. Deze techniek steunt op raamwerken uit Strategisch Management om de relevante elementen binnen de bedrijfsarchitectuur te identificeren. In dit opzicht maken we hier dus ook gebruik van de onderzoeksresultaten uit hoofdstuk 2. De realisatie van de heat maps is gebaseerd op het toevoegen van een kleurencode die zowel de prestatie als het strategisch belang aanduidt van de elementen binnen de bedrijfsarchitectuur. De creatie van deze heat maps wordt ondersteund door een software programma dat ontwikkeld werd via het ADOxx platform. De voorgestelde modelleertechniek werd toegepast en geëvalueerd door middel van drie gevalstudies bij een grootschalig internationaal bedrijf dat software ontwikkelt. De resultaten van deze gevalstudies hadden tot doel om de voorgestelde modelleertechniek verder te verfijnen, waardoor een mooie balans gevonden werd tussen het bijdragen van kennis aan de betrokken onderzoeksdomeinen en het bieden van een oplossing voor een praktisch bedrijfsprobleem

Context Aware Computing for The Internet of Things: A Survey

As we are moving towards the Internet of Things (IoT), the number of sensors deployed around the world is growing at a rapid pace. Market research has shown a significant growth of sensor deployments over the past decade and has predicted a significant increment of the growth rate in the future. These sensors continuously generate enormous amounts of data. However, in order to add value to raw sensor data we need to understand it. Collection, modelling, reasoning, and distribution of context in relation to sensor data plays critical role in this challenge. Context-aware computing has proven to be successful in understanding sensor data. In this paper, we survey context awareness from an IoT perspective. We present the necessary background by introducing the IoT paradigm and context-aware fundamentals at the beginning. Then we provide an in-depth analysis of context life cycle. We evaluate a subset of projects (50) which represent the majority of research and commercial solutions proposed in the field of context-aware computing conducted over the last decade (2001-2011) based on our own taxonomy. Finally, based on our evaluation, we highlight the lessons to be learnt from the past and some possible directions for future research. The survey addresses a broad range of techniques, methods, models, functionalities, systems, applications, and middleware solutions related to context awareness and IoT. Our goal is not only to analyse, compare and consolidate past research work but also to appreciate their findings and discuss their applicability towards the IoT.Comment: IEEE Communications Surveys & Tutorials Journal, 201