Comparison of Simple Graphical Process Models

Comparing the structure of graphical process models can reveal a number of process variations. Since most contemporary norms for process modelling rely on directed connectivity of objects in the model, connections between objects form sequences which can be translated into performing scenarios. Whereas sequences can be tested for completeness in performing process activities using simulation methods, the similarity or difference in static characteristics of sequences in different model variants are difficult to explore. The goal of the paper is to test the application of a method for comparison of graphical models by analyzing and comparing static characteristics of process models. Consequently, a metamodel for process models is developed followed by a comparison procedure conducted using a graphical model comparison algorithm

A goal-oriented requirements modelling language for enterprise architecture

Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is needed to specify, document, communicate and reason about goals and requirements. Current modelling techniques for enterprise architecture focus on the products, services, processes and applications of an enterprise. In addition, techniques may be provided to describe structured requirements lists and use cases. Little support is available however for modelling the underlying motivation of enterprise architectures in terms of stakeholder concerns and the high-level goals that address these concerns. This paper describes a language that supports the modelling of this motivation. The definition of the language is based on existing work on high-level goal and requirements modelling and is aligned with an existing standard for enterprise modelling: the ArchiMate language. Furthermore, the paper illustrates how enterprise architecture can benefit from analysis techniques in the requirements domain

The process of constructing ontological meaning based on criminal law verbs

This study intends to account for the process involved in the construction of the conceptual meaning of verbs (#EVENTS) directly related to legal aspects of terrorism and organized crime based on the evidence provided by the Globalcrimeterm Corpus and the consistent application of specific criteria for term extraction. The selected 49 concepts have eventually been integrated in the Core Ontology of FunGramKB (Functional Grammar Knowledge Base), a knowledge base which is founded on the principles of deep semantics and is also aimed at the computational development of the Lexical Constructional Model (www.fungramkb.com). To achieve this purpose, key phases of the COHERENT methodology (Periñán Pascual & Mairal Usón 2011) are followed, particularly those which involve the modelling, subsumption and hierarchisation of the aforementioned verbal concepts. The final outcome of this research shows that most of the apparently specialised conceptual units should eventually be included in the Core Ontology instead of the specific Globalcrimeterm Subontology, due to the fact that the semantic content of their corresponding lexical units can be found in widely used learner`s dictionaries and, consequently, this conceptual information is not only shared by the experts in the field but also by the layperson and the average speaker of the language

Generating a Performance Stochastic Model from UML Specifications

Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the software design process. This suitable methodology allows software designers to determine the performance of software during design. Several approaches have been proposed to provide such techniques. Some of them propose to derive from a UML (Unified Modeling Language) model a performance model such as Stochastic Petri Net (SPN) or Stochastic process Algebra (SPA) models. Our work belongs to the same category. We propose to derive from a UML model a Stochastic Automata Network (SAN) in order to obtain performance predictions. Our approach is more flexible due to the SAN modularity and its high resemblance to UML' state-chart diagram

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