Model transformations for integrating and validating web application models

dc.contributor.author	Knapp, Alexander
dc.contributor.author	Zhang, Gefei
dc.contributor.editor	Mayr, Heinrich C.
dc.contributor.editor	Breu, Ruth
dc.date.accessioned	2019-08-12T13:25:17Z
dc.date.available	2019-08-12T13:25:17Z
dc.date.issued	2006
dc.description.abstract	While most current Web Engineering methodologies model the separate aspects, content, navigation, business logic, and presentation, of Web systems in separate models, integration of the different models and in particular the validation of their interaction is not yet sufficiently supported. We propose a systematic approach of building a UML state machine that integrates the separate concerns content, navigation, and business logic of a Web system into a big picture, which can then be validated formally for consistency and behavioural properties.	en
dc.identifier.isbn	3-88579-175-7
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/24248
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Modellierung 2006
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-82
dc.title	Model transformations for integrating and validating web application models	en
dc.type	Text/Conference Paper
gi.citation.endPage	128
gi.citation.publisherPlace	Bonn
gi.citation.startPage	115
gi.conference.date	22.-24. März 2006
gi.conference.location	Innsbruck, Austria
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1