@MASTERSTHESIS\{IMM2005-04123,
    author       = "N. Henriksen",
    title        = "Domain Modelling and Formal Specification of a Generic {OPC} Alarm Collector",
    year         = "2005",
    keywords     = "{RAISE,} {OCL,} {UML,} {OPC,} C\#5 , .{NET} 6 , {XML} 7 /{SOAP} 8",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Supervised by Mads Nyborg, {IMM}.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4123-full.html",
    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."
}