×

Extension of an OCL-based executable UML components action language. (English) Zbl 1182.68050

Summary: Executable models allow precise description of software systems at a higher level of abstraction and independently of a platform or a programming language. We explore the use of a procedural action language based on OCL to specify executable UML components and we propose an extension that will include array types and corresponding operations.

MSC:

68N99 Theory of software
PDFBibTeX XMLCite