loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Agustin Yagüe 1 ; Pedro P. Alarcón 1 ; Juan Garbajosa 1 ; Alexei Lisounkin 2 and Gerhard Schreck 2

Affiliations: 1 Universidad Politécnica de Madrid, OEI. E.U. Informática (UPM), Spain ; 2 Fraunhofer-Institute for Production Systems and Design Technology (IPK), Germany

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.149.213.209

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (ICEIS 2004) - VVEIS; ISBN 972-8865-03-1, SciTePress, pages 44-49. DOI: 10.5220/0002685100440049

@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 (ICEIS 2004) - VVEIS},
year={2004},
pages={44-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002685100440049},
isbn={972-8865-03-1},
}

TY - CONF

JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (ICEIS 2004) - VVEIS
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic