Sciweavers

1148 search results - page 14 / 230
» WebML modelling in UML
Sort
View
RWEB
2005
Springer
14 years 4 months ago
Rule Modeling and Markup
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...
Gerd Wagner
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
14 years 5 months ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar
JUCS
2000
119views more  JUCS 2000»
13 years 10 months ago
Use of E-LOTOS in Adding Formality to UML
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
Robert G. Clark, Ana M. D. Moreira
FM
2005
Springer
125views Formal Methods» more  FM 2005»
14 years 4 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
UML
2001
Springer
14 years 3 months ago
A UML-integrated Test Description Language for Component Testing
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...