Automatic combination of (business) processes. Institute of Applied Informatics and Formal Description Methods, University of Karlsruhe
|
|
- Wilfred Prosper Banks
- 8 years ago
- Views:
Transcription
1 Automatic combination of (business) processes Institute of Applied Informatics and Formal Description Methods, University of Karlsruhe Workshop Semantic Help, Sixth International EGOV Conference 2007
2 Agenda Motivation Petri nets Ontology Petri net Ontology Composition Algorithm Example Summary & Future Prospects 2
3 Motivation Semantic Help emerge from: Support of the user by finding of the correct processes respectively parts of processes (proactive) support of the user by the combination of processes Semantic is necessary to find the appropriate processes 3
4 Petri nets Petri net were invented in 1962 by Carl Adam Petri A Petri net is one of several mathematical representations of discrete distributed systems As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite graph with annotations It can also be formally represented A Petri net consist of: place nodes transition nodes direct arcs (connecting places with 4
5 Ontology O = { C, H, R, rel, A } c o C is a set of concepts H c is a concept-hierarchy R is the set of relations rel describes the function A 0 is the set of axioms 5
6 Petri Net Ontology I Definition of Petri net elements as OWL concepts: C = {PetriNet, Place, Transition, FromPlace, ToPlace} Order of this concept in a taxonomy (hierachy): H C = {(PetriNet,Place),PetriNet,Transition), (PetriNet,FromPlace),(PetriNet, ToPlace)} Relations (properties): R = {, hasarc, hasmarking, placeref, transref} 6
7 Petri Net Ontology II Domain and the values range of the relations rel = {(PetriNet,Place), (PetriNet, Transition), hasarc(petrinet, FromPlace), hasarc(petrinet, ToPlace), hasmarking(place), placeref(transition, Place), transref(place, Transition)} Axiom A o = {(PetriNet 1.(Transition Place) ㄇ hasarc.(fromplace ToPlace) Transition PlaceRef.Place Place TransRef.Transition ㄇ = 1hasMarking FromPlace 1.Place ToPlace 1.Transition} 7
8 8 disjunkt placeref transref Place Transition hasvalue Value Attribute FromPlace Insert Delete ToPlace hasref hascondition hasoperation hasinscription hasinscription hasmarking haslogicalconcept hasarc hasarc IndividualDataItem Logical_Concept Operation function:xsd:string Condition forall:xsd:string exists:xsd:string and:xsd:string PetriNet SubClassOf disjunkt placeref transref Place Transition hasvalue Value Attribute FromPlace Insert Delete ToPlace hasref hascondition hasoperation hasinscription hasinscription hasmarking haslogicalconcept hasarc hasarc IndividualDataItem Logical_Concept Operation function:xsd:string Condition forall:xsd:string exists:xsd:string and:xsd:string PetriNet SubClassOf Petri Net Ontology III
9 Approach to combine Petri Net Ontologies 1. Import of the Ontology in a tool, which detects similarities 2. Finding of semantically corresponding elements 3. Combination of the Ontologies O 1 & O 2 O 3 checking of the consistency, coherence, redundancy of O 3 O 1 Importieren Ähnlichkeiten Finding similarities finden verschmelzen Combination der of the Ontologien Ontology O 3 O 2 9
10 Algorithm to combine Petri Net Ontologies I 1. Create the head of an Ontology 2. Conflict test 3. As long as instances of nodes are identically a. Joined instances of nodes b. Disjoined instances of nodes 4. The instances of attributes and the instances of values which are synonyms are getting joined together and get a common name 5. Create an Input-node in which the values from both Ontologies will be defined, also this attributes that do not occur in this site but their values are aligned with the object property hasref 10
11 Algorithm to combine Petri Net Ontologies II Concerning point 5: Relation of the attributes and values that should be merged a. All attributes and values are identically b. All attributes but not (all) values are identically c. All values are identically, but there exist one (or several) additional values d. Neither all values nor all attributes are identically 11
12 Algorithm to combine Petri Net Ontologies III 6. If a transition is to be joined, decide how the conditions should be joined together 7. Create new instances of node(s) from the merging instances of nodes of the Ontology Copy the remaining nodes and their reference in the Ontology Create an instance of the class PetriNet and associate the notes and the arcs hasarc 10. Check the consistency, coherence, redundancy of O 3 12
13 Example: 2 Petri nets Titel Title Speed Potter limit Deviation Bibel Bestand Stock 10 2 Eingabe Inpute Eingabe Input _prüfen _test Bestand_ Stock_ok ok B>0 S>0 <T, B S > <T, B S > Titel Title Speed Potter limit Deviation Bibel Road Illuminati works Bestand Stock Titel Title Anfragen Request Käufer Lender Speed Potterlimit Deviation Bibel 3 1 Müller Meier Anfrage Request <T, R, A, K L > Anfrage Request _prüfen Anfrage Request _geprüft _proofed B-A>=0 <T, B S > <T, B, S, R, K, L A > List of Stock Titel Title Bestand Stock Titel Title Bestand Stock Käufer Lender Speed Potter limit 11 Speed Potter limit 11 Müller Deviation Bibel 4 Deviation Bibel 4 Meier 13
14 Example: Petri Net Ontology O 1` Eingabe Input Bestand_ Stock_ok ok Anfrage_prüfen Request_test hasmarking haslogicalconcept R_Eingabe R_Input Titel Title R_Bestand_ R_Stock_ok_ Bestand Stock Log_ ConRequest ConAnfrage ok _prüfen _test hascondition B>0 hasvalue Speed Potter limit 10 Deviation Bibel 2 Illuminati Road works hasref 0 hasmarking hasvalue hasref 14
15 Example: Petri Net Ontology O 2` Anfrage Request Bestandsliste ListofStock Request proof Request _test hasmarking haslogicalconcept R_Anfrage R_Request R_Bestandsliste R_ListofStock R_Request_proof Log_ConAnfrage Log_ConRequest _prüfen _proof hascondition Käufer Lender Anzahl Number Titel Title Bestand Stock B-A>=0 hasvalue Müller Speed Potter limit 3 4 hasref Meier Deviation Bibel 1 11 hasmarking hasvalue hasref 15
16 Example: Combined Petri net Titel Title Bestand Stock Speed Potter limit Deviation Bibel 21 6 Road Illuminati works 0 Titel Title Speed Potter limit Deviation Bibel Bestand Stock 21 6 Input Eingabe Eingabe Input _prüfen _test Bestand_ok Stock_ B>0 <T, B> BS > <T, B> S > Anfrage Request Anfrage Request _prüfen _test Anfrage Request _geprüft _proofed B-A>=0 <T, R, A, K> S > <T, B, S, L, K, R> A> Titel Title Anfragen Request Käufer Lender Titel Title Bestand Stock Käufer Lender Anfragen Request Speed Potter limit 3 Müller Speed Potter limit 21 Müller 3 Deviation Bibel 1 Meier Deviation Bibel 6 Meier 1 16
17 Example: Petri Net Ontology O 3` Anfrage Request Eingabe Input Bestand_ok Stock_ok Anfrage_geprüft Request_proofed Anfrage_prüfen Request_test Eingabe_prüfen Input_test hasmarking haslogicalconcept haslogicalconcept R_Anfrage R_Eingabe R_Input R_Bestand_ok R_Stock_ok R_Anfrage_geprüft R_Request_proofed LogConAnfrage LogConRequest _prüfen _test LogConEingabe LogConInput _prüfen _test hascondition Käufer Lender Anzahl Number Titel Title Bestand Stock B-A>=0 B>0 hasvalue Müller Speed Potter limit 3 21 Meier Deviation Bibel 1 6 Road Illuminati works 0 hasmarking hasvalue hasref 17
18 Summary and future prospects Summary: The procedure of the combination can be automated User interaction is necessary because a 100% match of the instances of the ontology is not present Further questions: Level of abstraction of the processes Change management Data protection 18
19 Contact Institut AIFB Universität Karlsruhe (TH) Karlsruhe Homepage: Stefanie Betz Telefon: 0721 /
BIS 3106: Business Process Management. Lecture Two: Modelling the Control-flow Perspective
BIS 3106: Business Process Management Lecture Two: Modelling the Control-flow Perspective Makerere University School of Computing and Informatics Technology Department of Computer Science SEM I 2015/2016
More informationMeasuring Similarity between Semantic Business Process Models
Measuring Similarity between Semantic Business Process Models Marc Ehrig Agnes Koschmider Andreas Oberweis Institute of Applied Informatics and Formal Description Methods Universität Karlsruhe (TH), 76187
More informationSemantics and Ontology of Logistic Cloud Services*
Semantics and Ontology of Logistic Cloud s* Dr. Sudhir Agarwal Karlsruhe Institute of Technology (KIT), Germany * Joint work with Julia Hoxha, Andreas Scheuermann, Jörg Leukel Usage Tasks Query Execution
More informationA HUMAN RESOURCE ONTOLOGY FOR RECRUITMENT PROCESS
A HUMAN RESOURCE ONTOLOGY FOR RECRUITMENT PROCESS Ionela MANIU Lucian Blaga University Sibiu, Romania Faculty of Sciences mocanionela@yahoo.com George MANIU Spiru Haret University Bucharest, Romania Faculty
More informationConsistent Decision Process and Algorithm for Train Dispatching
Consistent Decision Process and Algorithm for Train Dispatching Yong Cui / Teresa Krohn / Ullrich Martin / Stefan Tritschler Networks for Mobility Stuttgart Dr.-Ing. Yong Cui 28.September.2012 Introduction
More informationA Framework for Change Impact Analysis of Ontology-Driven Content-Based Systems
A Framework for Change Impact Analysis of Ontology-Driven Content-Based Systems Yalemisew M. Abgaz, Muhammad Javed, and Claus Pahl Centre for Next Generation Localization (CNGL), School of Computing, Dublin
More informationModelling Workflow with Petri Nets. CA4 BPM PetriNets
Modelling Workflow with Petri Nets 1 Workflow Management Issues Georgakopoulos,Hornick, Sheth Process Workflow specification Workflow Implementation =workflow application Business Process Modelling/ Reengineering
More informationA Test Case Generator for the Validation of High-Level Petri Nets
A Test Case Generator for the Validation of High-Level Petri Nets Jörg Desel Institut AIFB Universität Karlsruhe D 76128 Karlsruhe Germany E-mail: desel@aifb.uni-karlsruhe.de Andreas Oberweis, Torsten
More informationProfessional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008
Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report
More informationProcess Modelling from Insurance Event Log
Process Modelling from Insurance Event Log P.V. Kumaraguru Research scholar, Dr.M.G.R Educational and Research Institute University Chennai- 600 095 India Dr. S.P. Rajagopalan Professor Emeritus, Dr. M.G.R
More informationPolicy Modeling and Compliance Verification in Enterprise Software Systems: a Survey
Policy Modeling and Compliance Verification in Enterprise Software Systems: a Survey George Chatzikonstantinou, Kostas Kontogiannis National Technical University of Athens September 24, 2012 MESOCA 12,
More information... Chair of Mobile Business & Multilateral Security. Lecture 13 Business Informatics 2 (PWIN) Business Process Reengineering (BPR) SS 2015
Lecture 13 Business Informatics 2 (PWIN) Business Process Reengineering (BPR) SS 2015 Prof. Dr. Kai Rannenberg www.m-chair.de Chair of Mobile Business & Multilateral Security Jenser (Flickr.com) Business
More informationDesign and Implementation of an Automatic Semantic Annotation Service
Diploma Thesis Alina Kopp Oberseminar str. 1 76131 Karlsruhe Alina.Kopp@iitb.fraunhofer.de 27.02.2007 Saarbrücken Risk and Crisis Management Issues Common terminology Interoperability of data, information
More informationDefining Equity and Debt using REA Claim Semantics
Defining Equity and Debt using REA Claim Semantics Mike Bennett Enterprise Data Management Council, London, England mbennett@edmcouncil.org Abstract. The Financial Industry Business Ontology (FIBO) includes
More informationWoPeD - An Educational Tool for Workflow Nets
WoPeD - An Educational Tool for Workflow Nets Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany freytag@dhbw-karlsruhe.de Martin Sänger, 1&1 Internet AG, Karlsruhe, Germany m.saenger09@web.de
More informationService Road Map for ANDS Core Infrastructure and Applications Programs
Service Road Map for ANDS Core and Applications Programs Version 1.0 public exposure draft 31-March 2010 Document Target Audience This is a high level reference guide designed to communicate to ANDS external
More informationRequirements Ontology and Multi representation Strategy for Database Schema Evolution 1
Requirements Ontology and Multi representation Strategy for Database Schema Evolution 1 Hassina Bounif, Stefano Spaccapietra, Rachel Pottinger Database Laboratory, EPFL, School of Computer and Communication
More informationDiagram Models in Continuous Business Process Improvement
JOURNAL OF APPLIED COMPUTER SCIENCE Vol. 22 No. 2 (2014), pp. 118-133 Diagram Models in Continuous Business Process Improvement Mateusz Wibig 1 1 CGI Polska Energy and Resources 39 Sienna Street, Warszawa
More informationOverview of major concepts in the service oriented extended OeBTO
Modelling business policies and behaviour based on extended Open edi Business Transaction Ontology (OeBTO) Introduction Model Driven Development (MDD) provides a basis for the alignment between business
More informationEmerging Web Services Technologies WiSe 2009/2010. Tools for Semantic Web Services
Emerging Web Services Technologies WiSe 2009/2010 Tools for Semantic Web Services Agenda 2 Short introduction of Semantic Web Services Ontologies Lifecycle of Semantic Web Services Service descriptions
More informationAn Infrastructure for Searching, Reusing and Evolving Distributed Ontologies
An Infrastructure for Searching, Reusing and Evolving Distributed Ontologies A. Maedche and B. Motik and L. Stojanovic and R. Studer and R. Volz FZI Research Center for Information Technologies at the
More informationOntology based Recruitment Process
Ontology based Recruitment Process Malgorzata Mochol Radoslaw Oldakowski Institut für Informatik AG Netzbasierte Informationssysteme Freie Universität Berlin Takustr. 9, 14195 Berlin, Germany mochol@inf.fu-berlin.de
More informationSemantic Search in Portals using Ontologies
Semantic Search in Portals using Ontologies Wallace Anacleto Pinheiro Ana Maria de C. Moura Military Institute of Engineering - IME/RJ Department of Computer Engineering - Rio de Janeiro - Brazil [awallace,anamoura]@de9.ime.eb.br
More informationEastern Washington University Department of Computer Science. Questionnaire for Prospective Masters in Computer Science Students
Eastern Washington University Department of Computer Science Questionnaire for Prospective Masters in Computer Science Students I. Personal Information Name: Last First M.I. Mailing Address: Permanent
More informationUser Profile Refinement using explicit User Interest Modeling
User Profile Refinement using explicit User Interest Modeling Gerald Stermsek, Mark Strembeck, Gustaf Neumann Institute of Information Systems and New Media Vienna University of Economics and BA Austria
More informationManaging and Tracing the Traversal of Process Clouds with Templates, Agendas and Artifacts
Managing and Tracing the Traversal of Process Clouds with Templates, Agendas and Artifacts Marian Benner, Matthias Book, Tobias Brückmann, Volker Gruhn, Thomas Richter, Sema Seyhan paluno The Ruhr Institute
More informationTransformation of OWL Ontology Sources into Data Warehouse
Transformation of OWL Ontology Sources into Data Warehouse M. Gulić Faculty of Maritime Studies, Rijeka, Croatia marko.gulic@pfri.hr Abstract - The Semantic Web, as the extension of the traditional Web,
More informationReverse Engineering of Relational Databases to Ontologies: An Approach Based on an Analysis of HTML Forms
Reverse Engineering of Relational Databases to Ontologies: An Approach Based on an Analysis of HTML Forms Irina Astrova 1, Bela Stantic 2 1 Tallinn University of Technology, Ehitajate tee 5, 19086 Tallinn,
More informationOntology and automatic code generation on modeling and simulation
Ontology and automatic code generation on modeling and simulation Youcef Gheraibia Computing Department University Md Messadia Souk Ahras, 41000, Algeria youcef.gheraibia@gmail.com Abdelhabib Bourouis
More informationFaculty of Science and Technology MASTER S THESIS. Writer: Artur Latifov
Faculty of Science and Technology MASTER S THESIS Study program/ Specialization: Computer science Spring semester, 2012 Open Writer: Artur Latifov Faculty supervisor: (Artur Latifov) Chunming Rong External
More information1-Oct 2015, Bilbao, Spain. Towards Semantic Network Models via Graph Databases for SDN Applications
1-Oct 2015, Bilbao, Spain Towards Semantic Network Models via Graph Databases for SDN Applications Agenda Introduction Goals Related Work Proposal Experimental Evaluation and Results Conclusions and Future
More informationSemantic Variability Modeling for Multi-staged Service Composition
Semantic Variability Modeling for Multi-staged Service Composition Bardia Mohabbati 1, Nima Kaviani 2, Dragan Gašević 3 1 Simon Fraser University, 2 University of British Columbia, 3 Athabasca University,
More informationResearch on Semantic Web Service Composition Based on Binary Tree
, pp.133-142 http://dx.doi.org/10.14257/ijgdc.2015.8.2.13 Research on Semantic Web Service Composition Based on Binary Tree Shengli Mao, Hui Zang and Bo Ni Computer School, Hubei Polytechnic University,
More informationSome Research Challenges for Big Data Analytics of Intelligent Security
Some Research Challenges for Big Data Analytics of Intelligent Security Yuh-Jong Hu hu at cs.nccu.edu.tw Emerging Network Technology (ENT) Lab. Department of Computer Science National Chengchi University,
More informationAdvanced Topics in Software Engineering (02265) The project(s) Ekkart Kindler
Advanced Topics in Software Engineering (02265) The project(s) Projects Part of this course is a project (ca. 2 ECTS points) The evaluation of this course is based on the result of this project The project
More informationAddressing Self-Management in Cloud Platforms: a Semantic Sensor Web Approach
Addressing Self-Management in Cloud Platforms: a Semantic Sensor Web Approach Rustem Dautov Iraklis Paraskakis Dimitrios Kourtesis South-East European Research Centre International Faculty, The University
More informationTri-Credit Reporting Company - Modeling Data Design White Paper
Tri-Credit Reporting Company - Modeling Data Design White Paper May 2006 Overview Traditional multi-credit reporting company (CRC) model developments have involved one of two scenarios: a. Extracting distinct
More informationA STUDY IN USER-CENTRIC DATA INTEGRATION
A STUDY IN USER-CENTRIC DATA INTEGRATION Heiner Stuckenschmidt 1 2, Jan Noessner 1, and Faraz Fallahi 3 1 School of Business Informatics and Mathematics, University of Mannheim. 68159 Mannheim. Germany
More informationSWAP: ONTOLOGY-BASED KNOWLEDGE MANAGEMENT WITH PEER-TO-PEER TECHNOLOGY
SWAP: ONTOLOGY-BASED KNOWLEDGE MANAGEMENT WITH PEER-TO-PEER TECHNOLOGY M. EHRIG, C. TEMPICH AND S. STAAB Institute AIFB University of Karlsruhe 76128 Karlsruhe, Germany E-mail: {meh,cte,sst}@aifb.uni-karlsruhe.de
More informationProcess Mining Using BPMN: Relating Event Logs and Process Models
Noname manuscript No. (will be inserted by the editor) Process Mining Using BPMN: Relating Event Logs and Process Models Anna A. Kalenkova W. M. P. van der Aalst Irina A. Lomazova Vladimir A. Rubin Received:
More informationA Meta-model of Business Interaction for Assisting Intelligent Workflow Systems
A Meta-model of Business Interaction for Assisting Intelligent Workflow Systems Areti Manataki and Yun-Heh Chen-Burger Centre for Intelligent Systems and their Applications, School of Informatics, The
More informationOntology Content Patterns - A Quick Overview
Ontology Content Patterns as Bridge for the Semantic Representation of Clinical Information Catalina Martínez Costa 1, Stefan Schulz 1,2 1 Institute for Medical Informatics, Statistics and Documentation,
More informationHigh-level Petri Nets
High-level Petri Nets Model-based system development Aarhus University, Denmark Presentation at the Carl Adam Petri Memorial Symposium, Berlin, February 4, 2011 1 Concurrent systems are very important
More informationComparing Instances of the Ontological Concepts
Comparing Instances of the Ontological Concepts Anton Andrejko and Mária Bieliková Faculty of Informatics and Information Technologies, Slovak University of Technology, Ilkovičova 3, 842 16 Bratislava,
More informationONTOLOGY FOR MOBILE PHONE OPERATING SYSTEMS
ONTOLOGY FOR MOBILE PHONE OPERATING SYSTEMS Hasni Neji and Ridha Bouallegue Innov COM Lab, Higher School of Communications of Tunis, Sup Com University of Carthage, Tunis, Tunisia. Email: hasni.neji63@laposte.net;
More informationAdd page numbers and headers and footers by using the gallery, or create a custom page number, header, or footer.
Add page numbers and headers and footers by using the gallery, or create a custom page number, header, or footer. For best results, decide first whether you want only a page number or whether you want
More informationScalable Semantic Web Service Discovery for Goal-driven Service-Oriented Architectures
Universität Innsbruck Scalable Semantic Web Service Discovery for Goal-driven Service-Oriented Architectures Michael Stollberg PhD Thesis University of Innsbruck Semantic Technology Institute March 2008
More informationSEMANTIC WEB BASED INFERENCE MODEL FOR LARGE SCALE ONTOLOGIES FROM BIG DATA
SEMANTIC WEB BASED INFERENCE MODEL FOR LARGE SCALE ONTOLOGIES FROM BIG DATA J.RAVI RAJESH PG Scholar Rajalakshmi engineering college Thandalam, Chennai. ravirajesh.j.2013.mecse@rajalakshmi.edu.in Mrs.
More informationPragmatic Web 4.0. Towards an active and interactive Semantic Media Web. Fachtagung Semantische Technologien 26.-27. September 2013 HU Berlin
Pragmatic Web 4.0 Towards an active and interactive Semantic Media Web Prof. Dr. Adrian Paschke Arbeitsgruppe Corporate Semantic Web (AG-CSW) Institut für Informatik, Freie Universität Berlin paschke@inf.fu-berlin
More informationLearners will develop skills in planning and managing information to produce an interactive website.
Unit IT9: Website Design Level: 1 Unit type: IT Guided learning: 40 hours Unit in brief Learners will develop skills in planning and managing information to produce an interactive website. Unit introduction
More informationBusiness Process Management Using. BPM Using Process Algebra and Relational Database Model
Business Process Management Using Process Algebra and Relational Database Model 1 João Eduardo Ferreira (jef@ime.usp.br) 1 Calton Pu (calton@cc.gatech.edu) 2 1 Department of Computer Science Institute
More informationChapter 6 Basics of Data Integration. Fundamentals of Business Analytics RN Prasad and Seema Acharya
Chapter 6 Basics of Data Integration Fundamentals of Business Analytics Learning Objectives and Learning Outcomes Learning Objectives 1. Concepts of data integration 2. Needs and advantages of using data
More informationModeling Agile Manufacturing Cell using Object-Oriented Timed Petri net
Modeling Agile Manufacturing Cell using Object-Oriented Timed Petri net Peigen Li, Ke Shi, Jie Zhang Intelligent Manufacturing Lab School of Mechanical Science and Engineering Huazhong University of Science
More informationPSG College of Technology, Coimbatore-641 004 Department of Computer & Information Sciences BSc (CT) G1 & G2 Sixth Semester PROJECT DETAILS.
PSG College of Technology, Coimbatore-641 004 Department of Computer & Information Sciences BSc (CT) G1 & G2 Sixth Semester PROJECT DETAILS Project Project Title Area of Abstract No Specialization 1. Software
More informationFund Finder: A case study of database-to-ontology mapping
Fund Finder: A case study of database-to-ontology mapping Jesús Barrasa, Oscar Corcho, Asunción Gómez-Pérez (Ontology Group, Departamento de Inteligencia Artificial, Facultad de Informática, Universidad
More informationNumber of hours in the semester L Ex. Lab. Projects SEMESTER I 1. Economy 45 18 27. 2. Philosophy 18 18. 4. Mathematical Analysis 45 18 27 Exam
Year 1 Lp. Course name Number of hours in the semester L Ex. Lab. Projects SEMESTER I 1. Economy 45 18 7. Philosophy 18 18 3. Linear Algebra 45 18 7 Exam 4. Mathematical Analysis 45 18 7 Exam 5. Economical
More informationFIPA agent based network distributed control system
FIPA agent based network distributed control system V.Gyurjyan, D. Abbott, G. Heyes, E. Jastrzembski, C. Timmer, E. Wolin TJNAF, Newport News, VA 23606, USA A control system with the capabilities to combine
More informationHow To Use Networked Ontology In E Health
A practical approach to create ontology networks in e-health: The NeOn take Tomás Pariente Lobo 1, *, Germán Herrero Cárcel 1, 1 A TOS Research and Innovation, ATOS Origin SAE, 28037 Madrid, Spain. Abstract.
More informationA Framework for Collaborative Project Planning Using Semantic Web Technology
A Framework for Collaborative Project Planning Using Semantic Web Technology Lijun Shen 1 and David K.H. Chua 2 Abstract Semantic web technology has become an enabling technology for machines to automatically
More informationA Pattern-based Framework of Change Operators for Ontology Evolution
A Pattern-based Framework of Change Operators for Ontology Evolution Muhammad Javed 1, Yalemisew M. Abgaz 2, Claus Pahl 3 Centre for Next Generation Localization (CNGL), School of Computing, Dublin City
More informationAn Efficient and Scalable Management of Ontology
An Efficient and Scalable Management of Ontology Myung-Jae Park 1, Jihyun Lee 1, Chun-Hee Lee 1, Jiexi Lin 1, Olivier Serres 2, and Chin-Wan Chung 1 1 Korea Advanced Institute of Science and Technology,
More informationWeb of Things Use Cases and Solutions at FZI
Web of Things Use Cases and Solutions at FZI Speaker: Benedikt Kämpgen (FZI) Location: W3C Web of Things Workshop, Munich Date: 20.04.2015 FZI FORSCHUNGSZENTRUM INFORMATIK Semantic Web vs Web of Things
More informationONTOLOGIES A short tutorial with references to YAGO Cosmina CROITORU
ONTOLOGIES p. 1/40 ONTOLOGIES A short tutorial with references to YAGO Cosmina CROITORU Unlocking the Secrets of the Past: Text Mining for Historical Documents Blockseminar, 21.2.-11.3.2011 ONTOLOGIES
More informationEnabling Business Experts to Discover Web Services for Business Process Automation. Emerging Web Service Technologies
Enabling Business Experts to Discover Web Services for Business Process Automation Emerging Web Service Technologies Jan-Felix Schwarz 3 December 2009 Agenda 2 Problem & Background Approach Evaluation
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationI. INTRODUCTION NOESIS ONTOLOGIES SEMANTICS AND ANNOTATION
Noesis: A Semantic Search Engine and Resource Aggregator for Atmospheric Science Sunil Movva, Rahul Ramachandran, Xiang Li, Phani Cherukuri, Sara Graves Information Technology and Systems Center University
More informationDeveloping a Distributed Reasoner for the Semantic Web
Developing a Distributed Reasoner for the Semantic Web Raghava Mutharaju, Prabhaker Mateti, and Pascal Hitzler Wright State University, OH, USA. {mutharaju.2, prabhaker.mateti, pascal.hitzler}@wright.edu
More informationIMPROVING BUSINESS PROCESS MODELING USING RECOMMENDATION METHOD
Journal homepage: www.mjret.in ISSN:2348-6953 IMPROVING BUSINESS PROCESS MODELING USING RECOMMENDATION METHOD Deepak Ramchandara Lad 1, Soumitra S. Das 2 Computer Dept. 12 Dr. D. Y. Patil School of Engineering,(Affiliated
More informationONLINE-SEARCH IN THE DIGIBIB-PORTAL OF DANUBE UNIVERSITY LIBRARY KREMS
ONLINE-SEARCH IN THE DIGIBIB-PORTAL OF DANUBE UNIVERSITY LIBRARY KREMS Search in Library Catalogues..2 Search in Journal Databases.....8 Databases... 16 Help...21 1/22 SEARCH IN LIBRARY CATALOGUES You
More informationEXPRESSIVE REASONING ABOUT CULTURAL HERITAGE KNOWLEDGE USING WEB ONTOLOGIES
EXPRESSIVE REASONING ABOU CULURAL HERIAGE KNOWLEGE USING WEB ONOLOGIES imitrios A. Koutsomitropoulos and heodore S. Papatheodorou High Performance Information Systems Laboratory, Computer Engineering and
More informationEXPLOITING FOLKSONOMIES AND ONTOLOGIES IN AN E-BUSINESS APPLICATION
EXPLOITING FOLKSONOMIES AND ONTOLOGIES IN AN E-BUSINESS APPLICATION Anna Goy and Diego Magro Dipartimento di Informatica, Università di Torino C. Svizzera, 185, I-10149 Italy ABSTRACT This paper proposes
More informationOntology-Based Discovery of Workflow Activity Patterns
Ontology-Based Discovery of Workflow Activity Patterns Diogo R. Ferreira 1, Susana Alves 1, Lucinéia H. Thom 2 1 IST Technical University of Lisbon, Portugal {diogo.ferreira,susana.alves}@ist.utl.pt 2
More informationBusiness Process Modeling
Business Process Concepts Process Mining Kelly Rosa Braghetto Instituto de Matemática e Estatística Universidade de São Paulo kellyrb@ime.usp.br January 30, 2009 1 / 41 Business Process Concepts Process
More informationSpringer SUPPLY CHAIN CONFIGURATION CONCEPTS, SOLUTIONS, AND APPLICATIONS. Cham Chandra University of Michigan - Dearborn Dearborn, Michigan, USA
SUPPLY CHAIN CONFIGURATION CONCEPTS, SOLUTIONS, AND APPLICATIONS Cham Chandra University of Michigan - Dearborn Dearborn, Michigan, USA Jänis Grabis Riga Technical University Riga, Latvia Springer Contents
More informationKrishna Institute of Engineering & Technology, Ghaziabad Department of Computer Application MCA-213 : DATA STRUCTURES USING C
Tutorial#1 Q 1:- Explain the terms data, elementary item, entity, primary key, domain, attribute and information? Also give examples in support of your answer? Q 2:- What is a Data Type? Differentiate
More informationJustClust User Manual
JustClust User Manual Contents 1. Installing JustClust 2. Running JustClust 3. Basic Usage of JustClust 3.1. Creating a Network 3.2. Clustering a Network 3.3. Applying a Layout 3.4. Saving and Loading
More informationMathematics Online Instructional Materials Correlation to the 2009 Algebra I Standards of Learning and Curriculum Framework
Provider York County School Division Course Syllabus URL http://yorkcountyschools.org/virtuallearning/coursecatalog.aspx Course Title Algebra I AB Last Updated 2010 - A.1 The student will represent verbal
More information> Semantic Web Use Cases and Case Studies
> Semantic Web Use Cases and Case Studies Case Study: Applied Semantic Knowledgebase for Detection of Patients at Risk of Organ Failure through Immune Rejection Robert Stanley 1, Bruce McManus 2, Raymond
More informationKirsten Sinclair SyntheSys Systems Engineers
Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Spicing-up IBM s Enterprise Architecture tools with Petri Nets On Today s Menu Appetiser: Background Starter: Use
More informationSafety verification of software using structured Petri nets
Safety verification of software using structured Petri nets Krzysztof Sacha Warsaw University of Technology, Institute of Control and Computation Engineering, ul. Nowowiejska 15/19, 00-665 Warszawa, Poland
More informationAnatomy of Cyber Threats, Vulnerabilities, and Attacks
Anatomy of Cyber Threats, Vulnerabilities, and Attacks ACTIONABLE THREAT INTELLIGENCE FROM ONTOLOGY-BASED ANALYTICS 1 Anatomy of Cyber Threats, Vulnerabilities, and Attacks Copyright 2015 Recorded Future,
More informationX On record with the USOE.
Textbook Alignment to the Utah Core Algebra 2 Name of Company and Individual Conducting Alignment: Chris McHugh, McHugh Inc. A Credential Sheet has been completed on the above company/evaluator and is
More informationAcknowledgements References 5. Conclusion and Future Works Sung Wan Kim
Hybrid Storage Scheme for RDF Data Management in Semantic Web Sung Wan Kim Department of Computer Information, Sahmyook College Chungryang P.O. Box118, Seoul 139-742, Korea swkim@syu.ac.kr ABSTRACT: With
More informationSEMI AUTOMATIC DATA CLEANING FROM MULTISOURCES BASED ON SEMANTIC HETEROGENOUS
SEMI AUTOMATIC DATA CLEANING FROM MULTISOURCES BASED ON SEMANTIC HETEROGENOUS Irwan Bastian, Lily Wulandari, I Wayan Simri Wicaksana {bastian, lily, wayan}@staff.gunadarma.ac.id Program Doktor Teknologi
More informationDataFoundry Data Warehousing and Integration for Scientific Data Management
UCRL-ID-127593 DataFoundry Data Warehousing and Integration for Scientific Data Management R. Musick, T. Critchlow, M. Ganesh, K. Fidelis, A. Zemla and T. Slezak U.S. Department of Energy Livermore National
More informationDocument Management for Hypermedia Design
Piet A. M. Kommers Alcindo F. Ferreira Alex W. Kwak Document Management for Hypermedia Design With 122 Figures and 5 Tables Springer Table of Contents Parti Hypermedia Enterprises 1 Hypermedia Production
More informationSEMANTIC-BASED AUTHORING OF TECHNICAL DOCUMENTATION
SEMANTIC-BASED AUTHORING OF TECHNICAL DOCUMENTATION R Setchi, Cardiff University, UK, Setchi@cf.ac.uk N Lagos, Cardiff University, UK, LagosN@cf.ac.uk ABSTRACT Authoring of technical documentation is a
More informationBinary Search Trees. A Generic Tree. Binary Trees. Nodes in a binary search tree ( B-S-T) are of the form. P parent. Key. Satellite data L R
Binary Search Trees A Generic Tree Nodes in a binary search tree ( B-S-T) are of the form P parent Key A Satellite data L R B C D E F G H I J The B-S-T has a root node which is the only node whose parent
More informationFigure 1. Basic Petri net Elements
ABCM Symposium Series in Mechatronics - Vol. 3 - pp.653-658 Copyright c 2008 by ABCM A REAL OBJECT CONTROL SYSTEM FOR USE IN MANUFACTURING TELEPRESENCE ENVIRONMENTS. Claiton de Oliveira Department of Mechanical
More informationKnowledge Systems Institute Graduate School Computer and Information Sciences Major Checklist
CIS503 Theory of Computation 3 CIS510 Software Project Management 3 Required Area Courses (3) BA501 Management Information Systems 3 CIS520 Advanced Computer Networks & Security 3 CIS522 Computer Security
More informationSelecting a Taxonomy Management Tool. Wendi Pohs InfoClear Consulting #SLATaxo
Selecting a Taxonomy Management Tool Wendi Pohs InfoClear Consulting #SLATaxo InfoClear Consulting What do we do? Content Analytics Strategy and Implementation, including: Taxonomy/Ontology development
More informationAn Ontology-Based Information Management System for Pharmaceutical Product Development
An Ontology-Based Information Management System for Pharmaceutical Product Development Leaelaf Hailemariam 1, Chunhua Zhao 2, Girish Joglekar 1, David Whittinghill 3, Ankur Jain 1, Venkat Venkatasubramanian
More informationSemantic Reference- and Business Process Modeling enables an Automatic Synthesis
Semantic Reference- and Business Process Modeling enables an Automatic Synthesis Florian Lautenbacher, Bernhard Bauer Programming of Distributed Systems Institute of Computer Science, University of Augsburg,
More informationGoals of the Unit. spm - 2014 adolfo villafiorita - introduction to software project management
Project Scheduling Goals of the Unit Making the WBS into a schedule Understanding dependencies between activities Learning the Critical Path technique Learning how to level resources!2 Initiate Plan Execute
More informationBRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS
International Journal of Cooperative Information Systems c World Scientific Publishing Company BRIDGING THE GAP BETWEEN BUSINESS MODELS WORKFLOW SPECIFICATIONS JULIANE DEHNERT Fraunhofer ISST, Mollstr.
More informationAn ARIS-based Transformation Approach to Semantic Web Service Development
An ARIS-based Transformation Approach to Semantic Web Development Cheng-Leong Ang ϕ, Yuan Gu, Olga Sourina, and Robert Kheng Leng Gay Nanyang Technological University, Singapore eclang@ntu.edu.sg ϕ Abstract
More informationESKIBS2 Bespoke or specialist software
Overview This is the ability to select and use a suitable specialist or bespoke software application to carry out an appropriate data processing task. It includes understanding the capabilities of the
More informationSupporting the Workflow Management System Development Process with YAWL
Supporting the Workflow Management System Development Process with YAWL R.S. Mans 1, W.M.P. van der Aalst 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. ox 513,
More informationEnd-to-End Security Policy Auditing and Enforcement in Service Oriented Architecture. Progress Report: January 2014 and Related Research
End-to-End Security Policy Auditing and Enforcement in Service Oriented Architecture Progress Report: January 2014 and Related Research Agenda Motivation REST/SOA Monitoring Framework Demo Future Work
More informationA Multi-layered Domain-specific Language for Stencil Computations
A Multi-layered Domain-specific Language for Stencil Computations Christian Schmitt, Frank Hannig, Jürgen Teich Hardware/Software Co-Design, University of Erlangen-Nuremberg Workshop ExaStencils 2014,
More information