25 search results - page 4 / 5 » Formal Foundations of Object-Oriented Modeling Notations |
ROOM
2000
13 years 7 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
ISAS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
ER
2007
Springer
14 years 13 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
TFM
2009
Springer
14 years 26 days ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...