Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06)

Two software system lifecycle development paradigms have been competing on the minds and hearts of software developers and executives: The traditional object-oriented approach and the emerging service-oriented architecture (SOA) or SO development of application (SODA). While OO puts objects and their encapsulated behavior at the center stage, emphasizing primarily rigid structure, SODA hails servi... View full abstract»

RAVENNA is a model-based specification system for electronic components in the field of bodywork and infotainment. Powerful tools are used to systematically record requirements and then supplement these with symbolic UML specifications. Executable models, simple integration of off-the-shelf displays, haptic control elements and speech dialog systems all facilitate the efficient construction of GUI... View full abstract»

In this paper we introduce the idea of methodware (i.e., combination of language definitions and model transformations) as a framework for defining design methods. The approach should allow us to facilitate building of customized tools for domain specific problems. We apply our approach to the MICAS architecture, a novel SoC architecture for mobile peripherals View full abstract»

In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and military applications. Model-driven development of real-time systems has been a task requiring great effort because of the system complexities arising from dealing with quite a huge number of input and output streams within ... View full abstract»

With the introduction and popularity of wireless devices, the diversity of the platforms has also been increased. There are different platforms and tools from different vendors such as Microsoft, Sun, Nokia, SonyEricsson and many more. Because of the relatively low-level programming interface, software development for Symbian platform is a tiresome and error prone task, whereas .NET CF contains hi... View full abstract»

In the domain of embedded software systems, two different modeling paradigms are common: data flow-oriented approaches as used in control engineering, and interaction-oriented approaches as used in software engineering. While the former are traditionally applied to describe complex algorithms to control (physical) processes, the latter are generally applied to describe complex interaction patterns... View full abstract»

This paper presents a concrete application case of an architecture-centric development process to the design of the intelligent instruments software. Intelligent instruments are sensors, actuators or controllers able to deliver complex services such as diagnostic, validation, communication, and learning, in order to jointly control a physical system. The design of such instruments requires skills ... View full abstract»

Model-driven development aims to leverage models to generate the specified software system. Two currently dominant approaches to model-driven development are model-driven architecture and software factories. The goal of this paper is to analyze the advantages, disadvantages and the applicability of these two approaches. A basis for the analysis provides a case study comparing model-driven architec... View full abstract»

Meta-modelling programming frameworks enable engineers to deal with models, defined through object-oriented meta-models, in the environment of programming languages. Existing frameworks use redefinition relationships between meta-model classes to encourage reusable meta-model design. In contrast to existing platforms the upcoming MOF 2.0 OMG recommendation proposes the meta-modelling language CMOF... View full abstract»

The object-oriented software development process is composed of a number of subprocesses, namely analysis, design, implementation and verification. In model driven architecture (MDA) the result of analysis are platform independent models (PIM). Platform specific models (PSM) are derived from the PIMs via transformations, representing the design phase. We observe a lack of expressiveness of the con... View full abstract»

Increasingly, UML metamodels and profiles are adopted to specify software architectures from different angles in order to cope with analysis specific modeling needs. In particular, whenever two or more analysis techniques are required over the same architectural model, different modeling tools and notations are required, and feedback from one model to the other is not propagated since integration ... View full abstract»

Aspect-oriented software development (AOSD) has emerged as a new technology addressing separation of concerns. However, this technology has not been widely adopted in real life scenarios mainly due to the lack of a clear AOSD methodology/process, covering all stages of software life-cycle. There are several aspect-oriented (AO) proposals for aspect-oriented requirements analysis, architectural des... View full abstract»

Integration projects are typically faced with a proliferation of standards, technologies, platforms and tools. Bespoke solutions are frequently used for what are often generic problems generating work with no discernable business value. Business requirements naturally evolve during the development process. Because of the complexity of code centric be-spoke solutions, the reactivity to these change... View full abstract»

Several approaches for software development are being proposed to capture a domain and to reuse in future developments. Specific middleware services are an approach to facilitate the development of specific distributed applications. The modeling of the stable aspects of the domain is an important and fundamental feature of this approach. The construction of a distributed application based on MDA s... View full abstract»

A business process is a complex Web service with functions provided by different Web services, which are already existing in Web and are dynamically integrated for granting a more complex business task. For this reason, business processes have become more and more diffuse in B2B and B2C domains, so that the importance of their activities asks for a high-level of reliability. Methods and tools for ... View full abstract»

Model driven development is a popular approach to master the complexity of computer based systems, but it is still missing well-established technologies for model transformations. A lot of research has been done to address this subject, most of it tends towards highly expressive and highly specialized transformation languages. This paper takes a contra point to this trend, proposing the transforma... View full abstract»

This paper presents a component oriented modeling environment for building hybrid dynamic models of physical system. The modeling environment is created using the generic modeling environment (GME), a meta programmable visual modeling application developed at the Institute for Software Integrated Systems (ISIS). The core of the modeling language itself is a hybrid extension of the bond graph model... View full abstract»