Executable UML – UML2

Executable UML – UML2 The Need for xUML With Acknowledgement to Kennedy-Carter: http:// www.kc.com Moh Ibrahim, Alex Fedorec & Keith Rennolls The University of Greenwich

Why is the UML 1.x… not executable ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Action Terminate Action DestroyAction Uninterpreted Action CreateAction CallAction ReturnAction SendAction

Action Specifications in UML 1.x ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Why is the current UML not executable ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],I have absolutely no idea because that combination of behaviour is undefined! Transaction in Progress Transaction Complete entry/ log transaction Transaction Completed/ if is_aborted then return

Actions and the UML ,[object Object],[object Object],[object Object]

What is xUML? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],UML V1.x xUML = Semantically Weak Elements - Precisely Defined Action Semantics +

Why an Executable UML ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],This supports iterative and incremental development An executable model can be developed and tested even if it supports only a single use case Groups of classes at the collaboration, subsystem, package or domain level can be modelled and executed Admit In Patient User Interface U log incident Patient Admin Statements Resource Alloc 1:dialogue ok hit 2:admit in patient 3:assign bed 4:bed assigned 5:confirm admission 6:display dialogue 8:reject admission 9:display dialogue 1:op selects admit in patient 2: 3:find a suitable bed 4:if bed available then 5: confirm admission 6: display “success” dialogue 7: log admission details 8:else reject admission 9: display “failure” dialogue

Why an Executable UML ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Does this identify the correct runway to deallocate ? Aircraft clearedRunway() Runway deallocate() 0..1 is_ allocated_to R9 0..1 # obtain an instance handle for # the runway we just landed on theRunway = this -> R9.”is_allocated_to” # remove the association unlink this R9 theRunway # tell the runway that aircraft has landed [] = deallocate[] on theRunway

Why an Executable UML ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],GenericContainer HashTable LinkedList BoundedArray GenericClass 0..* 1 <TypicalClass>

Why an Executable UML ? ,[object Object],[object Object],[object Object],Round-trip Software Engineering - Quality Assurance Problem / Requirement Solution / Implementation Can miss the solution to the problem?

Executable UML – UML2

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

En vedette

En vedette (7)

Similaire à Executable UML – UML2

Similaire à Executable UML – UML2 (20)

Plus de elliando dias

Plus de elliando dias (20)

Dernier

Dernier (20)

Executable UML – UML2