• Hermann Balsters
• Modeling database views with derived classes in the UML/OCL-framework
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language Oct 2003, pp295-309
• =IDEA MODEL DATA VIEWS RELATIONAL DB RDB OCL
• Introduces derived classes with names like /Emp2

Isoda03

• Sadahiro Isoda
• A Critique of UML's Definition of the Use-Case Class
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language Oct 2003, pp280-294
• =CRITIQUE UML OOSE USECASE MODEL
• Surveys history and definitions of usecase, includes, extends, and generalization. "an Usecase instance is an execution of a usecase"
• ACU conjecture: An actor calls use cases.
• Proposal. Make an OO Model of how developers use usecases.
• Hence: a usecase is associated with many scenarios that can be created by it! Usecases control and contain information about actors.
• Diagram has a large oval contain the system and actors connected by roles!

SteimannGobnerMuck03

• Friedrich Steimann & Jens Gobner & Thomas Muck
• On the Key Role of Compositioning object-oriented modeling
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language Oct 2003, pp106-120
• =THEORY COMPOSITION vs UML CLASSIFICATION COMPOSITION COMPONENTS PACKAGES

JansenHermansKatoen03

• David N Jansen & Holger Hermans & Joost-Pieter Katoen
• A QoS-Oriented Extension of UML Statecharts
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language Oct 2003, pp76-91
• =EXAMPLE PROBABILISTIC UML STATECHART MODEL QUALITY-of-service TIMING stochastic FSM StoCharts
• StoCharts add probabilities and randomized delays to transitions.

ShankarAsa03

• Subash Shankar & Sinan Asa
• Formal Semantics of UML with Real-Time Constructs
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language Oct 2003, pp60-75
• =THEORY SEMANTICS TIMING UML SEQUENCE STATECHARTS TEMPORAL LOGIC PTL

CabotOliveTeniente03

• Jordi Cabot & Antoni Olive & Ernest Teniente
• Representing Temporal Information in the UML
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language Oct 2003, pp44-59
• =IDEA UML/OCL TEMPORAL ER MODEL TOOL XML XMI XSL
• Ls:=life span of the system.
• E(e,t): =e is an instance of type E at time t.
• R(e1,e2,...,t): =(e1,e2,...) participate in relation R at time t
• Ci(e,E): =all classification intervals of e in E
• Intervals have properties like BelongsTo, endsAt, ...
• Classification by frequency and durability. Therefore temporal stereotypes.
• Historical entities/relations hold the history of entities via <<timestamp>>

AlanenPorres03

• Marcus Alanen & Ivan Porres
• Difference and Union of Models
• LNCS 2863 <<UML>> 2003 -- The Unified Modeling Language, Oct 2003, pp2-17
• =ALGORITHMS on MODEL VERSIONS UML MOF CMS
• If + is merge and - is difference then union of M1 and M2 based on M0 is M0+(M1-M0)+(M2-M0)

Hayes03

• Brian Hayes
• A Lucid Interval
• American Scientist V91n6(Nov-Dec 2003)pp484-488
• =SURVEY INTERVAL ARITHMETIC