http://dl.gi.de/handle/20.500.12116/11896 Sat, 25 Jul 2026 03:23:27 GMT 2026-07-25T03:23:27Z http://dl.gi.de/handle/20.500.12116/12911 WI – In eigener Sache Prof. Dr. Hans Ulrich Buhl Thu, 01 Jan 2009 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/12911 2009-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/12917 Semantische Prozessmodellierung – Konzeption und informationstechnische Unterstützung einer ontologiebasierten Repräsentation von Geschäftsprozessen Thomas, Oliver; Fellmann M.A., Michael Eine Erweiterung von Prozessmodellierungssprachen wird entworfen, mit deren Hilfe die in natürlicher Sprache formulierte Semantik der Bezeichner von Prozessmodellelementen durch formale Begriffe einer Ontologie repräsentiert werden kann. Diese Verknüpfung von semiformalen Modellen einerseits und formalen Ontologien andererseits wird als Semantische Prozessmodellierung charakterisiert. Das Konzept wird beispielhaft anhand der Sprachen EPK (Ereignisgesteuerte Prozesskette), BPMN (Business Process Modeling Notation) und OWL (Web Ontology Language) eingeführt und in Form eines Informationsmodells generalisiert. Durch die Formalisierung der modellelementbezogenen Semantik im Zusammenspiel mit der Nutzung von Inferenzmaschinen können die Suche in Modellen verbessert und neue Möglichkeiten der inhaltlichen Validierung erschlossen werden. Mithilfe einer Systemarchitektur und eines Prototyps wird die Einbettung des Ansatzes in bestehende IT-gestützte Arbeitsumgebungen von Modellierern demonstriert. Es wird deutlich, dass durch Modellierungs-Tools, die um semantische Technologien angereichert sind, Vorteile in den Bereichen verteilte Modellierung, Modellmanagement, IT-Business-Alignment und Compliance erzielbar sind.AbstractAn extension of process modeling languages is designed which allows representing the semantics of model element labels which are formulated in natural language by using concepts of a formal ontology. This combination of semiformal models with formal ontologies will be characterized as semantic process modeling. The approach is exemplarily applied to the languages EPC (Event-driven Process Chain), BPMN (Business Process Modeling Notation) and OWL (Web Ontology Language) and is generalized by means of an information model. The proposed formalization of the semantics of individual model elements in conjunction with the usage of inference engines allows the improvement of query functionalities in modeling tools and enables new possibilities of model validation. The integration of the approach in the IT-based work environments of modelers is demonstrated by a system architecture and a prototypical implementation. Evidently, advantages in the areas of modeling, model management, business/IT alignment, and compliance can be achieved by the application of modeling tools augmented with semantic technologies. Thu, 01 Jan 2009 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/12917 2009-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/12914 Patterns in der Wirtschaftsinformatik Winter, Robert; Jan vom Brocke, Peter Fettke, Peter Loos, Stefan Junginger, Christoph Moser, Wolfgang Keller, Florian Matthes, Alexander Ernst Thu, 01 Jan 2009 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/12914 2009-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/12916 Verifikation von Webservicekompositionen: Röglinger, Maximilian Webservicekompositionen koordinieren Webservices verschiedener Unternehmen. Es wird erwartet, dass sie die Grundlage serviceorientierter Architekturen bilden, Geschäftsprozesse verbessern sowie zur Förderung intra- und interorganisatorischer Integration beitragen. Vor allem in interorganisatorischen Kontexten stellen die Dienstqualität bezogen auf nichtfunktionale Anforderungen und die Konformität mit funktionalen Anforderungen zunehmend wichtige Merkmale dar. Da Webservicekompositionen asynchrone und verteilte Systeme sind, kann die zweite – auch als Korrektheit bezeichnete – Eigenschaft am besten mittels Verifikation nachgewiesen werden. Dieser Beitrag untersucht aus systemtheoretischer Perspektive, wie der Korrektheitsbegriff für Webservicekompositionen konkretisiert werden kann. Außerdem wird ein Anforderungsframework für serviceorientierte Modellierungsansätze vorgeschlagen, sodass Korrektheit durch Verifikation gezeigt werden kann und Webservicekompositionen intuitiv modelliert werden können. Um die prinzipielle Anwendbarkeit des Frameworks zu demonstrieren, wird ein beispielhafter Ansatz in Bezug auf die Anforderungen des Frameworks analysiert.AbstractWeb service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intra- and inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirements are becoming vital properties. With Web service compositions being asynchronous and distributed systems, the latter property – which is also called correctness – can be shown best by verification. This paper examines from a system-theoretic perspective how correctness can be operationalized for Web service compositions. It also proposes a requirements framework for service-oriented modeling techniques so that correctness can be shown by verification and Web service compositions can be modeled intuitively. In order to show the framework’s principle applicability, an example approach is analyzed with respect to the corresponding requirements. Thu, 01 Jan 2009 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/12916 2009-01-01T00:00:00Z