Fatma Dhaou

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The imprecision of the definitions of UML2.0 sequence diagrams, given by the Object Management Group (OMG), does not allow the obtention of all the possible valid behaviours for a given distributed system, when communicating objects are independent. We choose the causal semantics, which is suitable for this kind of systems; we propose its extension to(More)
  • 1