Bücher- und Zeitschriftenquellen:
[Aal00] W.M.P. van der Aalst: Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques, in: Business Process Management:
Models, Techniques, and Empirical Studies, Volume 1806 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000, S. 161-183.
[ADL10] A. Awad, G. Decker, and N. Lohmann: Diagnosing and Repairing Data Anomalies in Process Models, in: Business Process Management Workshops, Lecture Notes in Business Information Processing, Volume 43, Part 1, 2010, S. 5-16.
[AH04] W. van der Aalst, K. van Hee: Workflow Management, Models, Methods, and Systems, MIT Press, 2004.
[Aki03] Klaus Akin: Qualitätssicherung in diagnostischen Wissensbasen, Diplomarbeit, University of Würzburg, Würzburg 2003.
[Bau10] Joachim Baumeister: Continuous Knowledge Engineering with Semantic Wikis (Habilitation Summary), Universität Würzburg, Würzburg 2010.
[BRP09] J. Baumeister, J. Reutelshoefer, F. Puppe: KnowWE: A Semantic Wiki for Knowledge Engineering, in: Applied Intelligence 2010, S. 1-22.
[BS10] J. Baumeister, D. Seipel: Anomalies in ontologies with rules, in: Web Semantics:
Science, Services and Agents on the World Wide Web, 2010, 8(1): S.
55–68.
[BZ03] Henry H. Bi, J. Leon Zhao: A Formal Classification of Process Anomalies for Workflow Verification, in: Proceedings of the Thirteenth Workshop on Information Technologies and Systems (WITS 2003), Seattle, WA, USA, 2003, S. 207-212.
[DM01] G. Duftschmid, S. Miksch: Knowledge-based verification of clinical guidelines by detection of anomalies, in: Artificial Intelligence in Medicine 22, 2001.
[Doy79] Jon Doyle: A truth maintenance system, in: Artificial Intelligence, Volume 12, Issue 3, 1979, S. 231-272.
[Fow99] Martin Fowler: Refactoring. Improving the design of existing code, Addison-Wesley, 1999.
[Gal97] Jürgen Galler: Vom Geschäftsprozessmodell zum Workflow-Modell, Gabler Verlag Wiesbaden, 1997.
[HA10] Arthur ter Hofstede, Michael Adams: YAWL – User Manual, Version 2.1beta, The YAWL Foundation, 2010.
[Hab02] Lothar Haberstock: Kostenrechnung I, Erich Schmidt Verlag, Berlin, 2002, S.
125.
[HBB09] R. Hatko, V. Belli, J. Baumeister: Modelling Diagnostic Flows in Wikis, in:
LWA-2009 Special Track on Knowledge Management, Darmstadt, 2009.
[HBBP11] Reinhard Hatko, Joachim Baumeister, Volker Belli, Frank Puppe: DiaFlux: A Graphical Language for Computer-Interpretable Guidelines, erscheint im Rahmen der Knowledge Representation for Health Care (KR4HC-2011) (in conjunction with AIME-(KR4HC-2011), 2011.
[HBJ09] R. Hatko, V. Belli, J. Baumeister: DiaFlux: Diagnostic flows in wikis, in:
FGWM’09: Proceedings of German Workshop of Knowledge and Experience Management (at LWA’09), 2009.
[HRBP10] R. Hatko, J. Reutelshoefer, J. Baumeister, F. Puppe: Modelling of diagnostic guideline knowledge in semantic wikis, in: Proceedings of the Workshop on Open Knowledge Models (OKM-2010) at the 17th International Conference on Knowledge Engineering and Knowledge Management (EKAW), 2010.
[LC08] Uwe Lämmel, Jürgen Cleve: Künstliche Intelligenz, Hanser Verlag, 2008.
[MD04] Mersmann, S., Dojat, M.: SmartCaretm - automated clinical guidelines in critical care, in: ECAI’04/PAIS’04: Proceedings of the 16th European
Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, Valencia, Spain, IOS Press, 2004, S. 745–749.
[Mül05] Joachim Müller: Workflow-based Integration – Grundlagen, Technologien, Management, Springer-Verlag, Berlin, 2005, S. 7-34.
[Och10] M.-O. Ochlast: Continuous integration in knowledge engineering, Master Thesis, Universität Würzburg, Würzburg 2010.
[PGCR98] A. D. Preece, C. Grossner, P. G. Chander, T. Radhakrishnan: Structure-based validation of rule-based systems, in: Journal Data & Knowledge Engineering, 1998, 26(2): S. 161-189.
[Pre94] A. Preece: Validation of Knowledge-Based Systems: The State-of-the-Art in North America, in: Journal of Communication and Cognition - Artificial
Intelligence, 1994, 11(4): S. 381-413.
[Pre98] A. Preece: Building the right system right, in: Evaluating V&V Methods in Knowledge Engineering, Verification and Validation of Knowledge-Based Systems: Papers from the AAAI-98 Workshop, AAAI Press, 1998, S. 38–45.
[PS94] A. Preece, R. Shinghal: Foundation and application of knowledge base
verification, in: International Journal of Intelligent Systems, Volume 9, 1994, S. 683–702.
[SBBK07] Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wiki, in: Informatik-Spektrum, Volume 30, Number 6, 2007, S. 434-439.
[SOSF04] S. Sadiq, M. Orlowska, W. Sadiq, C. Foulger: Data Flow and Validation in Workflow Modelling, in: ADC '04: Proceedings of the 15th Australasian database conference, Volume 27, 2004. S. 207-214.
[Spe01] Mario C. Speck: Geschäftsprozessorientierte Datenmodellierung – ein Referenz-Vorgehensmodell zur fachkonzeptionellen Modellierung von
Informationsstrukturen, Logos Verlag, Berlin, 2001.
[SVOK11] Frank Schönthaler, Gottfried Vossen, Andreas Oberweis, Thomas Karle:
Geschäftsprozesse für Business Communities – Modellierungssprachen, Methoden, Werkzeuge, Oldenbourg Wissenschaftsverlag, München, 2011.
[SZN05] Sherry X. Sun, J. Leon Zhao, Jay F. Nunamaker, Jr.: On The Theoretical Foundation for Data Flow Analysis in Workflow Management, in:
AMCIS 2005 Proceedings, Paper 188, 2005.
[TAS09] N. Trcka, W.M.P. van der Aalst, N. Sidorova: Data-Flow Anti-Patterns:
Discovering Data-Flow Errors in Workflows, in: Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), Volume 5565 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2009, S. 425-439.
[Wes07] Mathias Weske: Business Process Management: Concepts, Languages, Architectures, Springer-Verlag, Berlin, 2007.
Wikipedia: Auto
Groovy: dynamische Sprache für Java Plattformen http://groovy.codehaus.org/
Universität Würzburg: KnowWE CI PlugIn
http://3webwiki.informatik.uni-wuerzburg.de/Wiki.jsp?page=HowToContinuousIntegrationPlugin, 25.04.2011, 11:49 Uhr
8 Ehrenwörtliche Erklärung
Ehrenwörtliche Erklärung
Ich erkläre hiermit ehrenwörtlich, dass ich die vorliegende Arbeit selbstständig angefertigt habe. Die aus fremden Quellen direkt oder indirekt übernommenen Gedanken sind als solche kenntlich gemacht. Es wurden keine anderen als die angegebenen Quellen und Hinweise verwandt.
Die vorliegende Arbeit wurde bisher keiner anderen Prüfungsbehörde vorgelegt und auch noch nicht veröffentlicht.
Wismar, _________________ _______________________
Unterschrift
9 Anlagenverzeichnis
Inhalte der beiliegenden CD
• Abbildungen
- Beinhaltet Abbildungen der Master Thesis (u.a. DiaFlux Flussdiagramme)
• Arbeitsunterlagen
- Gliederungsentwurf, Notizen
• Expose
• Implementierung
- Java-Klassen der prototypischen Anomalie-Detektionsalgorithmen
• KnowWE
- KnowWE Umgebung und Inhalt des erstellten Wikis
• Paper
- Eingereichtes Paper über die Master Thesis
• Quellen
- Literatur (Buchkapitel, Paper, Internetquellen)
• Verteidigung
- Präsentation und Handzettel
• YAWL
- YAWL-Spezifikationen und –Abbildungen
• GMeinke_103186_Thesis.doc / GMeinke_103186_Thesis.pdf
10 Anlage A
10.1 DiaFlux Flussdiagramm
Abbildung 72: DiaFlux Flussdiagramm Quelle: eigene Darstellung
10.2 Algorithmus zur Erkennung der Anomalie „Knoten ohne eingehende oder ausgehende Kanten“
/*
* Copyright (C) 2011 Chair of Artificial Intelligence and Applied Informatics
* Computer Science VI, University of Wuerzburg
*
* This is free software; you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation; either version 3 of
* the License, or (at your option) any later version.
*
* This software is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this software; if not, write to the Free
* Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
* 02110-1301 USA, or see the FSF site: http://www.fsf.org.
*/
* Anomaly detection: test for unconnected nodes *
* @author Gritje Meinke * @created 17.04.2011 */
public class AnomalyUnconnectedNode extends AbstractCITest {
@Override
public CITestResult call() throws Exception {
CITestResult res = new CITestResult(TestResultType.SUCCESSFUL, ": No unconnected nodes detected.");
Integer numberOfUnconnectedNodes = 0;
StringBuffer buf = new StringBuffer();
// get the first parameter = article whose KB should be searched // for anomaly
String articleName = getParameter(0);
// get the KB of this article KnowledgeBase kb =
D3webModule.getAD3webKnowledgeServiceInTopic(
KnowWEEnvironment.DEFAULT_WEB, articleName);
if (kb != null) {
List<Node> nodes = flow.getNodes();
for (Node n : nodes) {
if (n.getIncomingEdges().isEmpty()) { if (n.getOutgoingEdges().isEmpty()) {
buf.append("FLOWCHART: " + flow.getName() + " NODE: " + n.getName() + "\n");
numberOfUnconnectedNodes++;
} // end if
} // end if
} // end for each node } // end for each flowchart } // end if KB
if (numberOfUnconnectedNodes > 0) { res = new
CITestResult(TestResultType.FAILED, ": Anomaly detected - " + numberOfUnconnectedNodes.toString() +
" unconnected node(s) found: \n" + buf.toString());
}
return res;
} }