@inproceedings{b90191ff88d64894b567686540224aaf,
title = "Process semantics for UML component specifications to assess inheritance",
abstract = "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.",
author = "E.E. Roubtsova and R. Kuiper",
year = "2003",
doi = "10.1016/S1571-0661(04)80618-2",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "145--159",
booktitle = "Proceedings First International Conference on Graph Transformation and Visual Modeling Techniques (GT-VMT'2002, Barcelona, Spain, October 11-12, 2002)",
}