A main source of failures in systems projects (including systems pharmacology) is poor communication level and different expectations among the stakeholders. A common and not ambiguous language that is naturally comprehensible by all the involved players is a boost to success. We present bStyle, a modeling tool that adopts a graphical language close enough to cartoons to be a common media to ex...

This paper is a further step towards application of the Model-Based Systems Engineering (MBSE) paradigm, using standardized, graphical, and executable system modeling languages. It presents further development of Modelica graphical Modeling Language (ModelicaML), a UML Profile for Modelica, which enables an integrated modeling and simulation of system requirements and design (for systems includ...

In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, but do not consider the second dimension which is concerned with domain engineering. In this paper we join the concerns of language engineering and domain engineering towards a new comprehensive approach of domain-specific develop...

BPMN is a leading visual notation for modeling Business Processes. Although it can be efficiently used for modeling workflow structures, it is not suitable for modeling the low-level logic of particular tasks in the process. Recently, Business Rules have been used for this purpose. Such rules are often specified in natural language and in an informal way. In this paper, we consider an approach ...

Clooca is a development environment that allows us to build up domain-specific modeling languages, or DSMLs, and their code generators. DSMLs are widely used to improve productivity and quality of developing software to raise the level of abstraction and to generate a fully functional software codes. Currently some tools to develop software are provided as web services. We can use the tool with...

In programming and modeling we strive to express structures and behaviors as formally as possible to support tool-based processing. However, some aspects of systems cannot be described in a way that is suitable for tool-based consistency checking and analysis. Examples include code comments, requirements and software design documents. Because they can only be analyzed manually, they are often o...

In this paper we present an architecture to develop editors for user-defined visual languages that supports OMG modeling standards. We will present a visual language editor architecture based on generic, configurable components integrated with a model repository. This architecture has a strong separation of abstract and concrete syntax and uses change propagation mechanisms to propagate changes...

The Extend simulation environment provides an integrated structure for building simulation models and developing new simulation tools. This environment supports simulation modelers on a wide range of levels. Model builders can use Extend’s pre-built modeling components to quickly build and analyze systems without programming. Simulation tool developers can use Extend’s built-in, compiled langua...

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., Java 5 has yet to be fully supported. This paper presents JML4, our proposal for an Integrated Verification Environment (IVE) for JML that builds upon Eclipse’s support for Java, enhanc...