Sciweavers

417 search results - page 18 / 84
» Extending UML for Model Composition
Sort
View
139
Voted
APSEC
2005
IEEE
15 years 9 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
120
Voted
SIMUTOOLS
2008
15 years 5 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone
133
Voted
UML
2004
Springer
15 years 9 months ago
Modeling Business Processes in Web Applications with ArgoUWE
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...
Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Mar...
133
Voted
VLDB
2002
ACM
110views Database» more  VLDB 2002»
15 years 3 months ago
Extending an ORDBMS: The StateMachine Module
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
Wolfgang Mahnke, Christian Mathis, Hans-Peter Stei...
139
Voted
CORR
2006
Springer
193views Education» more  CORR 2006»
15 years 3 months ago
On the Design of Agent-Based Systems using UML and Extensions
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
Mihaela Dinsoreanu, Ioan Salomie, Kalman Pusztai