Other presentations

  1. Applications of XML transformations

    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 more
  2. XML+RML

    XML 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 more
  3. Integrating Formal Methods with XML

    Stating 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 more
  4. The OMEGA Component Model - part 1

    We 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 more
  5. The OMEGA Component Model - part 2

    CWI 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 more

Page 1 / 1

hosted by