Domain Modelling and Formal Specification of a Generic OPC Alarm Collector | Nicolai Henriksen
| | 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. | | Keywords | RAISE, OCL, UML, OPC, C#5 , .NET 6 , XML 7 /SOAP 8 | | Type | Master's thesis [Industrial collaboration] | | Year | 2005 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Series | IMM-Thesis-2005-97 | | Note | Supervised by Mads Nyborg, IMM. | | Electronic version(s) | [pdf] | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|