Construction of Verified Models for Systems Represented as Networks

Agustin Yagüe, Pedro P. Alarcón, Juan Garbajosa, Alexei Lisounkin, Gerhard Schreck

Abstract

This paper presents both a language and process for producing verified models for systems that can be described as network structures. Analysing technical systems with interrelated components, a common data model for technical networks was elaborated and represented formally by UML. The UML model was transformed to XML and specified by means of XML Schema. The developed set of XML Schema documents for modelling of network structures is denoted as the XNetMod language. Use of XML-based language allows to profit from available XML tools and CAD with XML export. Moreover, XML-Schema-based specification supports model validation from early phase of modelling, and tools for the XML-Schema-based validation are available. Additionally, model structure verification was provided by algebraic and pattern-based methods. The design technique was successfully applied to different application domains, which were described in terms of network structures.

References

  1. Broy, M.: Object-oriented programming and software development - critical assessment. In Programming Methodology. Springer-Verlag. Berlin Heidelberg New York (2003) 211-222
  2. Fritzson P. Principles of Object-Oriented Modelling and Simulation with Modelica 2.1 Wiley-IEEE Press (2004)
  3. Abdullah M.S, Benest I., Evans A., And Kimble C.: Knowledge Modelling Techniques for Developing Knowledge Management Systems. In Proceedings of the 3rd European Conference on Knowledge Management. Dublin, Ireland, September 2002 (2002) 15-25
  4. Stefanescu G.: Network Algebra. Springer-Verlag. Berlin Heidelberg New York (2000)
Download


Paper Citation


in Harvard Style

Yagüe A., P. Alarcón P., Garbajosa J., Lisounkin A. and Schreck G. (2004). Construction of Verified Models for Systems Represented as Networks . In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004) ISBN 972-8865-03-1, pages 44-49. DOI: 10.5220/0002685100440049


in Bibtex Style

@conference{vveis04,
author={Agustin Yagüe and Pedro P. Alarcón and Juan Garbajosa and Alexei Lisounkin and Gerhard Schreck},
title={Construction of Verified Models for Systems Represented as Networks},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)},
year={2004},
pages={44-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002685100440049},
isbn={972-8865-03-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)
TI - Construction of Verified Models for Systems Represented as Networks
SN - 972-8865-03-1
AU - Yagüe A.
AU - P. Alarcón P.
AU - Garbajosa J.
AU - Lisounkin A.
AU - Schreck G.
PY - 2004
SP - 44
EP - 49
DO - 10.5220/0002685100440049