Jos Warmer

Jos Warmer
Self Employed · n.a.

About

43
Publications
10,769
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
5,408
Citations

Publications

Publications (43)
Article
Full-text available
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and t...
Article
Two innovations are enhancing programming languages' capabilities. First, modularity lets you combine independently developed languages without changing their respective definitions. A language is no longer a fixed quantity; you can extend it with domain-specific constructs as needed. Second, projectional editing lets you build editors and IDEs tha...
Conference Paper
Full-text available
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is still scarce. In this paper, we present a case-study evaluating the applicability of a state-of-the-art MDSD tool, modJ, a suite of domain specific languages (DSLs) for d...
Conference Paper
This paper describes the development of the SMART-Microsoft Software Factory. This factory is a fully model driven factory that makes extensive use of the Microsoft DSL Tools and is bases on the Microsoft Service Oriented Architecture. We describe the process used for developing the factory and share the experience gained in the first projects in w...
Conference Paper
Full-text available
The workshop OCLApps 2006 was organized as a part of MoDELS/UML Conference in Genova, Italy. It continues the series of five OCL (Object Constraint Language) workshops held at previous UML/MoDELS conferences between 2000 - 2005. Similar to its predecessors, the workshop addressed both people from academia and industry. The advent of the MDA (Model...
Conference Paper
Full-text available
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the development activities is shifted from implementation code to more abstract models then software developers need a formalism to provide a complete, unambiguous and consisten...
Conference Paper
Full-text available
Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language with side-effects? At the meta-level (M2), queries, views and transformations are subjects that...
Conference Paper
This paper reports on a workshop held at the 7th UML conference. It describes motivation, objectives, abstracts of the presented papers, questions raised during discussion, and a workshop conclusion.
Article
Praise for The Object Constraint Language, Second Edition“MDA promises a revolution in the way we develop software. This book is essential reading for anyone intending to adopt MDA technology.” ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ -Tony Clark, PhD ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ King's College, London“Through examples, Jos and Anneke demonstrate the p...
Book
From the Book:For many years, the three of us have been developing software using object oriented techniques. We started with object oriented programming languages, like C++, Smalltalk, and Eiffel. Soon we felt the need to describe our software at a higher level of abstraction. Even before the first object oriented analysis and design methods, like...
Conference Paper
Within the Model Driven Architecture (MDA) models and model transformations play a central role. At the model level OCL adds the precision that is lacking in plain UML. A model that combines the use of OCL and UML is perfectly suitable for MDA transformations. At the meta-model level, OCL is used to define validation rules for models. These can be...
Conference Paper
Full-text available
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and t...
Conference Paper
The proposal for the 2.0 version of the UML’s Object Constraint Language provides the modeller of object-oriented systems with a way to express the fact that a signal has been send, or an operation has been called. This type of expression is called an Action Clause. This paper defines the Action Clause based on a model of the values in the semantic...
Conference Paper
This paper describes an extension of the pUML OO meta modelling approach to the re-architecting of the UML with dynamic aspects. It is based on both the MML (Meta Modeling Language) and the Action Semantics, and shows the feasibility of the definition of the concepts in the Action Semantics using the pUML approach. Four packages are defined that ex...
Conference Paper
This paper describes an extension of the pUML OO meta modelling approach to the re-architecting of the UML with dynamic aspects. It is based on both the MML and the Action Semantics, and shows the feasibility of the definition of the concepts in the Action Semantics using the pUML approach. Four packages are defined that extend the packages of MML:...
Technical Report
This paper is a submission in response to the UML~2.0~OCL request for proposals. It proposes syntax and semantics of a new version of the Object Constraint Language~OCL.
Conference Paper
Full-text available
The UML’s Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The constraints which can be expressed in this language, all state requirements on the static aspects of the system. The Object Constraint Language currently lacks a way to express...
Article
With the emergence of the Internet and distributed object technologies, naming and directory services have become key elements in distributed system architectures. A key benefit of naming services is to enable location-independent access to remote objects. ...
Conference Paper
The way the activity diagram in the Unified Modeling Language is currently defined is not object-oriented. Activity diagrams specify data/object flow. We feel that the object-oriented principles should hold for every part of the standard for object-oriented analysis and design. Therefore this paper proposes a few small changes to the UML metamodel...
Conference Paper
Expressions written in Object Constraint Language (OCL) within a UML model assume a context, depending upon where they are written. Currently the exact nature of this context is not fully defined. Furthermore there is no mechanism for defining the context for OCL expressions in extensions to UML. This paper defines the context of OCL expressions, a...
Conference Paper
Full-text available
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating mode...
Conference Paper
Visual modeling languages are appealing because `a picture tells more than a thousand words'. The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different way. For this reason the UML inclu...
Conference Paper
Full-text available
Imagine for a moment you are a software ‘architect’ in the year 2003. You’re working at home as usual, and decide to use your quantum computer to do some system modelling. Imagine also that the UML is ‘still’ the de-facto language for software engineering. As a language it has made some big advances of the last few years. The last three versions (3...
Conference Paper
Within the field of object technology it is becoming recognised that constraints are a good way to produce more precise and formal specifications than with diagrams alone. Evidence of this is that UML incorporates a standard constraint language called OCL (Object Constraint Language). The availability of OCL will encourage UML users to add constrai...
Conference Paper
A simple specification language (OCL) was used to specify and analyze metamodels and metametamodels as part of the OMG OOA&D standardization process. Significant benefits were seen from a small investment in “user-friendly” formality.
Article
Full-text available
SUMMARY SGML (Standard Generalized Markup Language) is an ISO Standard that specifies a language for document representation. The main idea behind SGML is to strictly separate the structure and contents of a document from the processing of that document. This results in application-independent and thus reusable documents. To gain the full benefit o...
Article
Full-text available
SUMMARY The Standard Generalized Markup Language (SGML), is an ISO Standard that specifies a language for document representation. This paper gives a short introduction to SGML and describes the Amsterdam SGML Parser and the problems we encountered in implementing the Standard. These problems include interpretation of the Standard in the places whe...
Article
Full-text available
Software systems need to evolve, and systems built using model-driven approaches are no exception. What compli- cates model-driven engineering is that it requires multiple dimensions of evolution. In regular evolution, the model- ing language is used to make the changes. In meta-model evolution, changes are required to the modeling notation. In pla...
Article
Full-text available
This document describes the background behind the Requests for Proposals for UML 2.0 as being issued by the OMG. This includes both an internal upgrade of the UML structure, and extensions that users find lacking in the current UML. The corresponding presentation will focus mostly on the latest developments in industry what all these changes mean f...
Article
Visual modeling languages are appealing because "a picture tells more than a thousand words". The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different way. For this reason the UML inclu...
Article
Full-text available
This paper describes some experiences in building a software factory by defining multiple small domain specific languages (DSLs) and having multiple small models per DSL. This is in high contrast with traditional approaches using monolithic models, e.g. written in UML. In our approach, models behave like source code to a large extend, leading to an...
Article
La arquitectura basada en modelos (MDA) es una metodología que parte del lenguaje de modelado visual (UML) y otros estándares industriales para la visualización, almacenamiento e intercambio de diseños y modelos de software. En esta obra se presentan las ventajas del MDA y cómo pueden ser alcanzadas, a la vez que se ofrecen ejemplos prácticos que i...

Network

Cited By

Projects

Project (1)