Modelling languages and algorithms

Diese Modellierungsmethoden sollen Domain spezifischen Anforderungen erfullen und daher Konzepte fur konkrete Anwendungsdomane und Funktionalitat, die fur Information Wert aus konzeptuellen Modellen schopfen, breitstellen. Das Method Engineering fuhrt die Individuen, die ihre eigenen Modellierungsmethoden entwickeln wollen. Da eine Modellierungsmethode auf einer Seite, die Konzepte fur die konzeptionelle Darstellung der Realitat in Zusammenhang mit der angegebenen Anwendungsdomane breitstellen mussen, auf der anderen die Funktionen, die Informationen Wertschopfung aus konzeptuellen Modelle ermoglichen, bieten mussen, 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 uberwinden zu konnen; (1) Komplexitat der Entwicklungsprozess von Modellierungsmethoden und (2 ) die Anreicherung der einfachen Modell -Editoren , um vollwertigen Modellierungswerkzeuge, die von Funktionalitaten 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: zunachst 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 ausgewahlt 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 zeitgemase Losungen und Technologien in der semantischen Beschreibung der Dienste herausgibt ist durchgefuhrt, diese Ergebnisse der Analyse fuhrten diese Arbeit zur Entwicklung des Ansatzes zur semantischen Beschreibung von Mechanismen und Algorithmen. Viertens, passende Dimensionen werden in der Fuhrung der Anwendungsszenarien identifiziert und formale Beschreibung als Ansatz zur Beschreibung von Mechanismen und Algorithmen vorgeschlagen und angewendet, um zuvor ausgewahlte Mechanismus & Algorithmen beschreiben zu konnen. Zudem ein Petri-Netze Ontologie, die mit ADOxx® spezifische Konzepte angepasst ist, und fur die semantische Anreicherung der Beschreibung der Mechanismen und Algorithmen zu nutzen ist, vorgeschlagen. Funftens, basierend auf den oben genannten Erkenntnissen ist der Matching -Mechanismus konzeptionell und technisch spezifiziert. Den Benutzer sind zwei verschiede Komponenten zur Verfugung gestellt; (1) Semantic enriched Mechanism Description ( SeMD ) Modellierung Editor und (2) die Matching-Engine. Und ein Prototyp des Matching -Mechanismus mit begrenzten Funktionalitaten der Community zu Testzwecken zur Verfugung gestellt.