Acknowledgements
This master thesis is the result of a collaboration project between theDepartment of Informatics, at the University of Oslo, and StatoilHydro.Many people have helped us to prepare this thesis. First we would like tothank Trond Lilleng (Integrated Operations coordinator at StatoilHydro)who was the initiator of this project, Torhild Rio (Hydro IS Partner)who gave us an initial introduction to APOS, and Espen Halvorsen, ourmain contact person in StatoilHydro. Secondly, we thank Jon HenrikForssell, Magne Valen-Sendstad, and P˚al Rylandsholm from Det NorskeVeritas (DNV), especially for the ISO 15926-workshop, and the PRODML-presentation held by Jan Ingvar Riveland (Tietoenator). We would alsolike to thank Fr´ed´eric Verhelst and B˚ard Henning Tvedt from Epsis for thetwo-day seminar that gave an excellent introduction to oil reservoir andoil production. Kjetil Torvanger (Technical Manager in Cronus AutomationWest) also deserves our acknowledgement for the introduction to the ProcessData Portal. Thanks to the people at the IRC-channels ##logic, #swig,and #jena on Freenode for always giving quick and helpful answers to ourquestions. We appreciate and thank Olaf Owe (professor, UiO/IfI) forthe time he spent answering our questions about Pi calculus and Maude.Fredrik would like to thank Computas for the summer job in 2007 that gavehim a good insight in ontologies and workflow systems for the oil and gasindustry. From Computas we would especially like to thank David Norheimfor answering questions about OWL and Steinar Carlsen for the introductionto BPMN and access to the BPMN 1.1 specification. We would also like tothank Rolf Schwitter at Macquarie University, Sydney for introducing usto the exciting field of Semantic Web. Last we thank our advisors ArildWaaler (professor, UiO/IfI), especially for helping us with issues regardingthe ontologies and establishing the contact with Epsis and DNV, and RoarFjellheim (Computas and professor II, UiO/IfI) for creating the problemdescription, establishing the contact with Hydro, proofreading, and givingus general feedback during the work with this thesis.