Process semantics for UML component specifications to assess inheritance

E.E. Roubtsova, R. Kuiper

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Samenvatting

We define a component specification as a process. The starting point is the specification of a component in a UML profile. The process of the component is a derivable feature from the component specification. We define the inheritance of component specifications as inheritance of processes. Process semantics of the UML profile allows to check inheritance of specifications using a process algebra with renaming functions, we have presented.
Originele taal-2Engels
TitelProceedings First International Conference on Graph Transformation and Visual Modeling Techniques (GT-VMT'2002, Barcelona, Spain, October 11-12, 2002)
Pagina's145-159
DOI's
StatusGepubliceerd - 2003

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume72
ISSN van geprinte versie1571-0061

Vingerafdruk

Duik in de onderzoeksthema's van 'Process semantics for UML component specifications to assess inheritance'. Samen vormen ze een unieke vingerafdruk.

Citeer dit