Industrial communication protocol engineering using UML 2.0: A case study
- 1 May 2008
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The advent of Unified Modeling Language version 2.0 (UML 2.0) along with its UML testing profile in the recent years, promises to be a major break through in the field of formal description techniques. Thus in this paper we evaluate the suitability of UML 2.0 combined with its Testing profile for the engineering of industrial communication protocols using a case study. For our experimental case study we made use of the simple and most commonly known INRES protocol.Keywords
This publication has 7 references indexed in Scilit:
- Formalised specification of a test tool for safety related communicationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- UML-based safety analysis of distributed automation systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Consistency of UML/SPT ModelsLecture Notes in Computer Science, 2007
- Development process for distributed automation systems combining UML and IEC 61499International Journal of Manufacturing Research, 2007
- UML 2.0 implementation of an embedded WLAN protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Model-based testing with UML applied to a roaming algorithm for Bluetooth devicesJournal of Zhejiang University-SCIENCE A, 2004
- Estelle, LOTOS und SDLPublished by Springer Science and Business Media LLC ,1989