Title (eng)
Modelling languages and algorithms
a matching mechanism ; an empirical application of Petri Nets
Parallel title (deu)
Modellierungssprechen und Algorithmen: Ein Matching-Mechanismus Eine Empirische Anwendung der Petri-Netze
Author
Nesat Efendioglu
Advisor
Dimitris Karagiannis
Assessor
Dimitris Karagiannis
Abstract (deu)
Diese Modellierungsmethoden sollen Domain spezifischen Anforderungen erfüllen und daher Konzepte für konkrete Anwendungsdomäne und Funktionalität, die für Information Wert aus konzeptuellen Modellen schöpfen, breitstellen. Das Method Engineering führt die Individuen, die ihre eigenen Modellierungsmethoden entwickeln wollen. Da eine Modellierungsmethode auf einer Seite, die Konzepte für die konzeptionelle Darstellung der Realität in Zusammenhang mit der angegebenen Anwendungsdomäne breitstellen müssen, auf der anderen die Funktionen, die Informationen Wertschöpfung aus konzeptuellen Modelle ermöglichen, bieten müssen, ist die Entwicklung eines solchen Modellierungsmethode hoch komplex. Diese Masterarbeit bietet einen konzeptionellen Framework auf generische Ebene und entsprechende Matching Mechanismus auf konkreter Ebene, die die Method Ingenieuren leiten, damit folgende Herausforderungen überwinden zu können; (1) Komplexität der Entwicklungsprozess von Modellierungsmethoden und (2 ) die Anreicherung der einfachen Modell -Editoren , um vollwertigen Modellierungswerkzeuge, die von Funktionalitäten in Form von Mechanismus und Algorithmen, die Informationswert schafft durch die Verarbeitung von konzeptionellen Modells bieten zu entwickeln. Daraus ergibt sich die Struktur dieser Masterarbeit und ist mit folgenden Ideen ausgerichtet: zunächst bezieht sie sich auf den Method-Engineering-Ansatz, wie er in der "Generic Modelling Methode Spezification Framework" definiert ist, auf den Realisierungsansatz wie bei ADOxx ® Framework definiert ist und untersucht Studien innerhalb dieser Rahmen. Zweitens als Ergebnis der Literaturrecherche sind drei Petri-Netze Modellierungssprachen und Mechanismus - Algorithmen ausgewählt worden und wurde mit Erkenntnissen aus der oben genannten Untersuchung spezifiziert und formaliziert, somit ein Anwendungsszenario erhalten , welches den Konzepte des Framework zu beweisen dient. Drittens, ein State-of- the Art Analyse, die die zeitgemäße Lösungen und Technologien in der semantischen Beschreibung der Dienste herausgibt ist durchgeführt, diese Ergebnisse der Analyse führten diese Arbeit zur Entwicklung des Ansatzes zur semantischen Beschreibung von Mechanismen und Algorithmen. Viertens, passende Dimensionen werden in der Führung der Anwendungsszenarien identifiziert und formale Beschreibung als Ansatz zur Beschreibung von Mechanismen und Algorithmen vorgeschlagen und angewendet, um zuvor ausgewählte Mechanismus & Algorithmen beschreiben zu können. Zudem ein Petri-Netze Ontologie, die mit ADOxx® spezifische Konzepte angepasst ist, und für die semantische Anreicherung der Beschreibung der Mechanismen und Algorithmen zu nutzen ist, vorgeschlagen. Fünftens, basierend auf den oben genannten Erkenntnissen ist der Matching -Mechanismus konzeptionell und technisch spezifiziert. Den Benutzer sind zwei verschiede Komponenten zur Verfügung gestellt; (1) Semantic enriched Mechanism Description ( SeMD ) Modellierung Editor und (2) die Matching-Engine. Und ein Prototyp des Matching -Mechanismus mit begrenzten Funktionalitäten der Community zu Testzwecken zur Verfügung gestellt.
Abstract (eng)
The modelling methods comply with the specific requirements and consist of concepts for specific application domain and functionality to create information value. The method engineering guides the individuals, who endeavour to conceptualize their own modelling methods. Since a modelling method on the one side shall provide concepts for the conceptual representation of reality in the context of a given application domain on the other side shall provide functionality that enables information value creation from conceptual models, development of such a modelling method is a highly complex process. This master thesis proposes a conceptual framework on the generic level and a matching mechanism on the concrete level, which enable semantic matching between concepts defined in a modelling language and concepts in mechanism & algorithms, and the introduction of appropriate mechanisms & algorithms for the modelling language. The framework and the matching mechanism endeavour to guide method engineers to overcome the challenge caused by (1) complexity of the development process of modelling methods and (2) enrichment of simple model editors in order to develop full-fledged modelling tools, which consist of functionalities in the form of mechanism & algorithms. Hence, this master thesis is aligned to the following ideas: First, investigate of method engineering approach as it is defined in the “Generic Modelling Method Specification Framework”, realization approach with following ADOxx® Framework, and studies that made within these scope. Second, selection of Petri Nets modelling languages, and mechanism & algorithms. Next specification and formalization of those modelling languages and mechanism & algorithms with using conclusions obtained from the investigation of method engineering, so we can create application scenario which serves to prove concepts of the framework. Third, to analyze state-of-the-art in semantic service discovery that marks contemporary solutions and technologies in semantic description of service, which shall guide this work for developing approach for semantic description of mechanisms & algorithms. Forth, definition of formal description approach for mechanisms & algorithms, identification of matching dimensions in the light of application scenarios, and the formal description approach. Application of the formal description approach to mechanisms & algorithms which are afore selected. Moreover, investigation of a Petri Nets ontology and adaptation of this ontology with ADOxx® specific concepts. This ontology will be utilized for semantic enrichment of description of mechanisms & algorithms. Fifth, based on findings of previous investigations and mechanisms & algorithms description approach, the Matching Mechanism will be conceptually and technically specified. Two different components will be offered to users, which will constitute the matching mechanism, namely; (1) Semantic enriched Mechanism Description (SeMD) Modelling Editor and (2) the Matching Engine. Usage of those components will be introduced. A prototype of the Matching Mechanism with limited functionalities will be made available to the community for test purpose.
Keywords (eng)
Method EngineeringMetamodellingMetamodelling PlatformsADOxxSemantic Service DescriptionSemantic Service DiscoverySemantic Mechanism and Algorithm Description
Keywords (deu)
Method Engineering MetamodellierungMetamodellierung PlattformenADOxxSemantic Service-BeschreibungSemantic Service EntdeckungSemantic-Mechanismus und Algorithmus Beschreibung
Subject (deu)
Informatik: Allgemeines
Subject (deu)
Software engineering
Subject (deu)
Anwendungssoftware
Type (deu)
Masterarbeit
Persistent identifier
https://phaidra.univie.ac.at/o:1307835
DOI
10.25365/thesis.32323
URN
urn:nbn:at:at-ubw:1-29510.77208.954354-3
URI
https://utheses.univie.ac.at/detail/28720
Extent (deu)
XI, 131 S. : Ill., graph. Darst.
Number of pages
143
Association (deu)
Fakultät für Informatik
Members (1)
Title (eng)
Modelling languages and algorithms
a matching mechanism ; an empirical application of Petri Nets
Parallel title (deu)
Modellierungssprechen und Algorithmen: Ein Matching-Mechanismus Eine Empirische Anwendung der Petri-Netze
Author
Nesat Efendioglu
Abstract (deu)
Diese Modellierungsmethoden sollen Domain spezifischen Anforderungen erfüllen und daher Konzepte für konkrete Anwendungsdomäne und Funktionalität, die für Information Wert aus konzeptuellen Modellen schöpfen, breitstellen. Das Method Engineering führt die Individuen, die ihre eigenen Modellierungsmethoden entwickeln wollen. Da eine Modellierungsmethode auf einer Seite, die Konzepte für die konzeptionelle Darstellung der Realität in Zusammenhang mit der angegebenen Anwendungsdomäne breitstellen müssen, auf der anderen die Funktionen, die Informationen Wertschöpfung aus konzeptuellen Modelle ermöglichen, bieten müssen, ist die Entwicklung eines solchen Modellierungsmethode hoch komplex. Diese Masterarbeit bietet einen konzeptionellen Framework auf generische Ebene und entsprechende Matching Mechanismus auf konkreter Ebene, die die Method Ingenieuren leiten, damit folgende Herausforderungen überwinden zu können; (1) Komplexität der Entwicklungsprozess von Modellierungsmethoden und (2 ) die Anreicherung der einfachen Modell -Editoren , um vollwertigen Modellierungswerkzeuge, die von Funktionalitäten in Form von Mechanismus und Algorithmen, die Informationswert schafft durch die Verarbeitung von konzeptionellen Modells bieten zu entwickeln. Daraus ergibt sich die Struktur dieser Masterarbeit und ist mit folgenden Ideen ausgerichtet: zunächst bezieht sie sich auf den Method-Engineering-Ansatz, wie er in der "Generic Modelling Methode Spezification Framework" definiert ist, auf den Realisierungsansatz wie bei ADOxx ® Framework definiert ist und untersucht Studien innerhalb dieser Rahmen. Zweitens als Ergebnis der Literaturrecherche sind drei Petri-Netze Modellierungssprachen und Mechanismus - Algorithmen ausgewählt worden und wurde mit Erkenntnissen aus der oben genannten Untersuchung spezifiziert und formaliziert, somit ein Anwendungsszenario erhalten , welches den Konzepte des Framework zu beweisen dient. Drittens, ein State-of- the Art Analyse, die die zeitgemäße Lösungen und Technologien in der semantischen Beschreibung der Dienste herausgibt ist durchgeführt, diese Ergebnisse der Analyse führten diese Arbeit zur Entwicklung des Ansatzes zur semantischen Beschreibung von Mechanismen und Algorithmen. Viertens, passende Dimensionen werden in der Führung der Anwendungsszenarien identifiziert und formale Beschreibung als Ansatz zur Beschreibung von Mechanismen und Algorithmen vorgeschlagen und angewendet, um zuvor ausgewählte Mechanismus & Algorithmen beschreiben zu können. Zudem ein Petri-Netze Ontologie, die mit ADOxx® spezifische Konzepte angepasst ist, und für die semantische Anreicherung der Beschreibung der Mechanismen und Algorithmen zu nutzen ist, vorgeschlagen. Fünftens, basierend auf den oben genannten Erkenntnissen ist der Matching -Mechanismus konzeptionell und technisch spezifiziert. Den Benutzer sind zwei verschiede Komponenten zur Verfügung gestellt; (1) Semantic enriched Mechanism Description ( SeMD ) Modellierung Editor und (2) die Matching-Engine. Und ein Prototyp des Matching -Mechanismus mit begrenzten Funktionalitäten der Community zu Testzwecken zur Verfügung gestellt.
Abstract (eng)
The modelling methods comply with the specific requirements and consist of concepts for specific application domain and functionality to create information value. The method engineering guides the individuals, who endeavour to conceptualize their own modelling methods. Since a modelling method on the one side shall provide concepts for the conceptual representation of reality in the context of a given application domain on the other side shall provide functionality that enables information value creation from conceptual models, development of such a modelling method is a highly complex process. This master thesis proposes a conceptual framework on the generic level and a matching mechanism on the concrete level, which enable semantic matching between concepts defined in a modelling language and concepts in mechanism & algorithms, and the introduction of appropriate mechanisms & algorithms for the modelling language. The framework and the matching mechanism endeavour to guide method engineers to overcome the challenge caused by (1) complexity of the development process of modelling methods and (2) enrichment of simple model editors in order to develop full-fledged modelling tools, which consist of functionalities in the form of mechanism & algorithms. Hence, this master thesis is aligned to the following ideas: First, investigate of method engineering approach as it is defined in the “Generic Modelling Method Specification Framework”, realization approach with following ADOxx® Framework, and studies that made within these scope. Second, selection of Petri Nets modelling languages, and mechanism & algorithms. Next specification and formalization of those modelling languages and mechanism & algorithms with using conclusions obtained from the investigation of method engineering, so we can create application scenario which serves to prove concepts of the framework. Third, to analyze state-of-the-art in semantic service discovery that marks contemporary solutions and technologies in semantic description of service, which shall guide this work for developing approach for semantic description of mechanisms & algorithms. Forth, definition of formal description approach for mechanisms & algorithms, identification of matching dimensions in the light of application scenarios, and the formal description approach. Application of the formal description approach to mechanisms & algorithms which are afore selected. Moreover, investigation of a Petri Nets ontology and adaptation of this ontology with ADOxx® specific concepts. This ontology will be utilized for semantic enrichment of description of mechanisms & algorithms. Fifth, based on findings of previous investigations and mechanisms & algorithms description approach, the Matching Mechanism will be conceptually and technically specified. Two different components will be offered to users, which will constitute the matching mechanism, namely; (1) Semantic enriched Mechanism Description (SeMD) Modelling Editor and (2) the Matching Engine. Usage of those components will be introduced. A prototype of the Matching Mechanism with limited functionalities will be made available to the community for test purpose.
Keywords (eng)
Method EngineeringMetamodellingMetamodelling PlatformsADOxxSemantic Service DescriptionSemantic Service DiscoverySemantic Mechanism and Algorithm Description
Keywords (deu)
Method Engineering MetamodellierungMetamodellierung PlattformenADOxxSemantic Service-BeschreibungSemantic Service EntdeckungSemantic-Mechanismus und Algorithmus Beschreibung
Subject (deu)
Informatik: Allgemeines
Subject (deu)
Software engineering
Subject (deu)
Anwendungssoftware
Type (deu)
Masterarbeit
Persistent identifier
https://phaidra.univie.ac.at/o:1307836
Number of pages
143
Association (deu)
Fakultät für Informatik
License
All rights reserved
Download