In this ACG presentation we will show how we applied XML transformation techniques to models. There will be example models from Enterprise Architectures and from UML.
First we will show a transformation technique developed at CWI: the Rule Markup Language (RML) and its tools.
After that there will be 2 …
read moreXML is a "syntax franca" in the computer industry, like English and mathematics are a "lingua franca" in publications in the field of computing science. Theories, formulas and logic rules can be stated in a suitable XML vocabulary. But such an XML encoding is only for the syntax, it is …
read moreStating formalisms in XML adds the interoperability benefit of XML to them. Existing tools for formal methods are based on a particular implementation of the semantics of the computational model in a tool-specific format. This complicates interoperability. Instead we propose to use XML also for representing the semantics and even …
read moreWe introduce a formal model of components as developed in the IST project OMEGA sponsored by the European Commission. The aim of this project is the definition of a development methodology in UML for embedded and real-time systems based on formal techniques.
The rationale of our component model is to …
read moreCWI defined a formal model of components in terms of the basic object-oriented concepts of the OMEGA kernel language. More specifically, the CWI developed a representation in the OMEGA kernel model of both the internal and the external view of a component. With the external or blackbox view of a …
read moreThis Master's thesis project has been conducted at the ALP group of LIACS, the Leiden Institute of Advanced Computer Science. The supervisors have been drs. J. I. van Hemert and dr. W. A. Kosters. Jano van Hemert has been doing earlier reasearch on Constraint Satisfaction Problems (CSPs) and Evolutionary Algorithms …
read morePage 1 / 1