158 search results - page 15 / 32 » Modelling Recursive Calls with UML State Diagrams |
SAC
2004
ACM
14 years 29 days ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
CAISE
2000
Springer
13 years 12 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
ECMDAFA
2010
Springer
13 years 11 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
GG
2008
Springer
13 years 8 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...