UML-based tool for constructing component systems via component behaviour inheritance

Electronic Notes in Theoretical Computer Science

Volumn 80, Issue , 2003, Pages 141-156

  Roubtsova, E E ^a   Roubtsov, S A ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

Author keywords

Inheritance of UML specifications; Process inheritance; Process semantics; Tool support; UML component specification profile

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; INTERFACES (COMPUTER); MATHEMATICAL MODELS; PROCESS CONTROL; PROGRAM DOCUMENTATION; PROGRAM INTERPRETERS; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATIONS;

INHERITANCE UML SPECIFICATIONS; PROCESS INHERITANCE; PROCESS SEMANTICS; TOOL SUPPORT; UML COMPONENT SPECIFICATION PROFILE; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 5144232916     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80815-6     Document Type: Conference Paper

References (13)

1. Basten T., van der Aalst W.M.P. Inheritance of behaviour. The Journal of Logic and Algebraic Programming. 46:2001;47-145
2. D'Souza D.F., Wills A.C. Objects, Components and Frameworks with UML. The CATALYSIS Approach. 1999;Addison-Wesley
3. Gogolla M., P. Ziemann, S. Kuske. Towards an Integrated Graph Based Semantics for UML. In P. Bottoni and M. Minas, editors, Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), volume 72(3) of Electronic Notes in Theoretical Computer Science, 2003.
4. Harel D., Kupferman O. On Object Systems and Behavioural Inheritance. IEEE Transactions On Software Engereering. 28:(9):2002;889-903
5. Lilius J., I.P. Paltor. An Implementation of UML State Machine Semantics for Model Checkings. In Proceedings of the 11th Nordic Workshop on Programming Theory NWPT'99, page 50. Uppsala University, 1999.
6. Mauw S., Reniers M.A. An algebraic semantics of Basic Message Sequence Charts. The computer journal. 37:(4):1995;269-277
7. OMG. MDA Guid. 2003-05-01, http://www.omg.org/docs/omg/03-05-01.pdf.
8. OMG. Unified Modeling Language Specification v.1.3, v.1.4. http://www.omg.org/mda/specs.htm, 2001.
9. Rational Rose 98i. Rose Extensibility Reference 2000. http://www.rational.comwww.se.fh-heilbronn.de/usefulstuff/ Rational Rose 98i Documentation.
10. Roubtsova E., Kuiper R. Process semantics for uml component specifications to assess inheritance. Bottoni P., Minas M. Electronic Notes in Theoretical Computer Science. volume 72:(N.3):2003;. Elsevier Science Publishers
11. Roubtsova E.E., van Gool L.C.M., Kuiper R., Jonkers H.B.M. A Specification Model For Interface Suites. UML'01. LNCS 2185 :2001;457-471
12. Szyperski C. Component Software Beyond Object-Oriented Programming. 1998;Addison-Wesley, New-York
13. Toetenel H., E. Roubtsova, J. van Katwijk. A Timed Automata Semantics for Real-Time UML Specifications. IEEE Symposia on Human-Centric Computing Languages and Environments (HCC'01), Visual Languages and Formal Methods (VLFM'01), IEEE Computer Society Catalog No.PE00474, pages 88-95, 2001.