[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Ileana Ober, Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics. PhD thesis, Institut National Polytechnique de Toulouse, April 2001. |
---|---|
Summary: | Extensions to SDL and UML, each inspired by the other language, are defined and analyzed. The UML extensions, concerning a generic behavior description mechanism based on UML actions, are given formal semantics by ASMs. |
Subjects: | UML |
Download: | See Ileana Ober's thesis page. |
Notes: |