Beta 1


Title Domain Modelling and Formal Specification of a Generic OPC Alarm Collector
Author Henriksen, Nicolai
Supervisor Nyborg, Mads (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2005
Abstract An alarm generally indicates that something has gone wrong and needs immediate attention. Such alarms are very important and should be handled carefully. This paper documents the development of an OPC 1 Alarm Collector using UML 2 and OCL 3 to model the domain and the RAISE 4 Specification Language to formally describe critical areas of the domain. The result of the developments include: a generic framework for creating Windows Services (specifically designed for Zonith A/S), a generic model for collecting alarms from various OPC Servers, as well as a new product in Zonith A/S's product line.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Pages 356
Keywords RAISE; OCL; UML; OPC; C5; .NET 6; XML 7 /SOAP 8
Fulltext
Original PDF imm4123.pdf (3.01 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-17    Source: dtu    ID: 185900    Original MXD