[CSUSB]
>> [CNS]
>> [Comp Sci]
>> [R J Botting]
>>
newb1109
[Index]
|| [Blog]
|| [Research]
Mon Nov 10 12:31:17 PST 2003
Contents
Balsters03
- 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
Formulae and Definitions in Alphabetical Order