By Topic

Model-Based Development of Computer-Based Systems and Model-Based Methodologies for Pervasive and Embedded Software, 2006. MBD/MOMPES 2006. Fourth and Third International Workshop on

Date 30-30 March 2006

Filter Results

Displaying Results 1 - 24 of 24
  • Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Cover

    Publication Year: 2006 , Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (58 KB)  
    Freely Available from IEEE
  • Joint Meeting of the Fourth Workshop on Model-Based Development Computer-Based Systems and the Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

    Publication Year: 2006 , Page(s): i - iii
    Save to Project icon | Request Permissions | PDF file iconPDF (64 KB)  
    Freely Available from IEEE
  • Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Copyright

    Publication Year: 2006 , Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (52 KB)  
    Freely Available from IEEE
  • Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Table of contents

    Publication Year: 2006 , Page(s): v - vi
    Save to Project icon | Request Permissions | PDF file iconPDF (54 KB)  
    Freely Available from IEEE
  • Message from the Organizers

    Publication Year: 2006 , Page(s): vii
    Save to Project icon | Request Permissions | PDF file iconPDF (36 KB)  
    Freely Available from IEEE
  • MBD/MOMPES 2006 Committees

    Publication Year: 2006 , Page(s): viii
    Save to Project icon | Request Permissions | PDF file iconPDF (37 KB)  
    Freely Available from IEEE
  • SODA: not just a drink! From an object-centered to a balanced object-process model-based enterprise systems development

    Publication Year: 2006 , Page(s): 12 pp. - 14
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (595 KB) |  | HTML iconHTML  

    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 services as the prime players to cater primarily to behavior. We discuss the new SOA technologies from the extended enterprise and the service network all the way to the atomic service level and show that object-process methodology (OPM), which strikes a unique balance between structure and behavior, is most suitable as the underlying SOA-based lifecycle engineering approach. Using OPCAT, the OPM-supporting systems modeling software environment, we construct the top level diagram of a model of SODA and simulate it using animation in order to show how OPM conveniently serves as an ideal overarching comprehensive methodology that encompasses the entire spectrum of service-oriented enterprise systems development View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based specification and validation of automotive electronics

    Publication Year: 2006 , Page(s): 6 pp. - 24
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (186 KB) |  | HTML iconHTML  

    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 prototypes. These are used for specification purposes and permit validation in early-stage usability and ergonomics analyses View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design method support for domain specific SoC design

    Publication Year: 2006 , Page(s): 8 pp. - 32
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (356 KB) |  | HTML iconHTML  

    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»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-driven development of real-time systems with UML 2.0 and C

    Publication Year: 2006 , Page(s): 10 pp. - 42
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (726 KB) |  | HTML iconHTML  

    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 an acute time frame. Complexity exists both in the modeling task as well as in transforming the models into programming language code. Most real-time systems are embedded systems and because of the memory and execution time constraints, they use procedural programming language like C for their platform environment. On the other hand the MDA, an OMG standard model driven development approach, uses an MOF compliant language like UML for the modeling task and the transformation between UML and C is not straight-forward. In this paper we present how the MDA approach can be applied to the development of real-time systems. UML 2.0 is used for modeling and C is used as the target programming language View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based system development for embedded mobile platforms

    Publication Year: 2006 , Page(s): 10 pp. - 52
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (374 KB) |  | HTML iconHTML  

    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 higher level structures. This paper introduces the problem of the software development for incompatible mobile platforms, moreover, it provides a model-driven architecture (MDA) and Domain Specific Modeling Language (DSML)-based solution. We also discuss the relevance of the model-based approach that facilitates a more efficient software development, because the reuse and the generative techniques are key characteristics of model-based computing. In the presented approach, the platform-independence lies in the graph rewriting-driven visual model transformation. This paper illustrates the creation of model compilers on a metamodeling basis by a software package called Visual Modeling and Transformation System (VMTS), which is an n-layer multipurpose modeling and metamodel-based transformation system. A case study is also presented how model compilers can be used to generate user interface handler code for different mobile platforms from the same platform-independent input models View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based engineering of embedded control software

    Publication Year: 2006 , Page(s): 10 pp. - 62
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (339 KB) |  | HTML iconHTML  

    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 influenced by operation modes. As current embedded systems increasingly require a combination of both aspects, an integrated modeling paradigm is introduced to support a homogeneous development process covering both aspects View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intelligent instrument design with ArchWare ADL

    Publication Year: 2006 , Page(s): 9 pp. - 74
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (373 KB) |  | HTML iconHTML  

    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 and competencies in physics, mechanics and computing sciences. Most of the time, the instrument designer is a domain expert rather than a software expert although strong constraints coming from the instrument hardware are imposed at the software level. In this paper, we present a formal specific design language which was constructed using the ArchWare ADL language family. Using a formal approach, all the needed properties can be specified in a scalable manner in the design phase. In addition the architecture centric vision eases the development process for instrument designer from instruments specification to source code generation View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparison of model-driven architecture and software factories in the context of model-driven development

    Publication Year: 2006 , Page(s): 9 pp. - 83
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (665 KB) |  | HTML iconHTML  

    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 architecture and software factories. The comparison focuses on the development activities and challenges of both. The subsequent analysis covers their purposed modeling languages, expected benefits like higher productivity and higher efficiency, and the main objectives of both approaches View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CMOF-model semantics and language mapping for MOF 2.0 implementations

    Publication Year: 2006 , Page(s): 10 pp. - 93
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (281 KB) |  | HTML iconHTML  

    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 that also includes the possibility to define redefinition, and sub-setting constraints between the properties of meta-model classes. In this paper we extend existing implementation strategies and language mappings to realize these new features in a MOF 2.0 implementation. We propose a Java language mapping for the CMOF-model, based on method overwriting with changing return types and generic collection types that allow reasonable static type safety. Furthermore, we describe the semantics that are needed to implement functionality for adding and removing property values that automatically yields sub-setting constraints View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concepts for abstracting away object reification at the level of platform independent models (PIMs)

    Publication Year: 2006 , Page(s): 9 pp. - 102
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1082 KB) |  | HTML iconHTML  

    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 concepts at the higher levels of abstraction (base PIMs), forcing developers to take, or at least suggest, technical decisions too early in the development process. Reification is a technique often used in the analysis phase to hide this flaw, but suggests the use of objects to represent certain artefacts. We propose an extension of the Unified Modeling Language (UML) and the Object Constraint Language (OCL) to prevent the need of reification in base PIMs to model these artefacts. We further show how these base PIMs can be transformed into different, less abstract PIMs View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards weaving software architecture models

    Publication Year: 2006 , Page(s): 10 pp. - 112
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (443 KB) |  | HTML iconHTML  

    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 is not universally established. Model-driven architecture offers a conceptual framework for defining a set of standards in support of model-driven development, where models are first class entities and play a central role in software development. In this paper, the coexistence and integration of different analysis techniques at the architectural level is reduced to the problem of enriching multi-view descriptions with proper UML elements by means of directed weaving operations View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generic MOF metamodel for aspect-oriented modelling

    Publication Year: 2006 , Page(s): 10 pp. - 124
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (548 KB) |  | HTML iconHTML  

    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 description, design and implementation. Unfortunately each proposal focuses on specific development stages. We propose to use a model-driven software development approach, and specifically, model-driven architecture (MDA), the OMG proposal, for the integration of the different AO approaches defined at each development phase, specifying transformations between proposals. MDA transformations are based on MOF (meta object facility) metamodels of source and target models. This paper presents a generic MOF 2.0 metamodel of AO design languages. The elements of this generic metamodel should serve to make the construction of metamodels of AO design approaches easier, by identifying commonalities and promoting reuse View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From code centric to model centric software engineering: practical case study of MDD infusion in a systems integration company

    Publication Year: 2006 , Page(s): 10 pp. - 134
    Cited by:  Papers (6)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (492 KB) |  | HTML iconHTML  

    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 changes is costly in terms of effort and time. Though model driven development (MDD) promises to have a positive response to these problems, there is little practical evidence of the impact of its infusion. This paper presents a case study conducted in a systems integration company investigating the impact of MDD infusion. We take a practical approach focused on better and more productively meeting customers' requirements. Besides this commercial perspective, our approach takes into account the practical aspects of project activities. One of these aspects is the influence of the motivation and beliefs of actors in the success of a technological change, which we analyse using ActorO Network technological change, which we analyse using actor network theory (ANT). For systems integration companies, the ability to learn is a critical asset and differentiation factor. Knowledge management (KM), as a process through which organizations generate value from their intellectual assets, is another practical aspect we look at. We present preliminary findings of the work completed so far. We look for industrial representativeness of the results, defined here as being "close to real life" experience that industrial actors (project managers, developers, etc.) can relate to, draw conclusions from and translate into action View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An EDOC-based approach for specific middleware services development

    Publication Year: 2006 , Page(s): 9 pp. - 143
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (326 KB) |  | HTML iconHTML  

    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 starts with the definition of a middleware-independent model called PIM. Then, a model named PSM is defined according to the middleware the application will be implemented on. The EDOC profile is one of the OMG UML profile with the goal to present a notation to simplify the development of distributed objects-and-components-based systems. Describing the services through EDOC as a PIM, generic models can be reached, decoupling them from common-services implementations found in the several middleware platforms. Portability is reached once a PIM can be translated into several PSMs and platform-specific code. This paper presents a development process for specific middleware services based on the MDA, using EDOC and RM-ODP concepts, and also presents a model transformation tool, called transforms, to automate the necessary steps of the process View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling and verification of BPEL business processes

    Publication Year: 2006 , Page(s): 5 pp. - 148
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (189 KB) |  | HTML iconHTML  

    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 supporting automatic system verification and validation could be useful. Among the techniques of automatic verification, we choose model checking method, because we applied it efficiently for verification of a single Web service and in this paper we extend the area of application also in business processes. Descriptions of the behavior of a business process are coded using a standard language, BPEL4WS, that has broadly spread because it is able to describe a business process as both an executable process and an abstract process. Therefore, we model a BPEL description of a generic business process with a formal model and we formalize correctness properties about the reliability of the business process design. Also, we build a framework that performs automatic verification of formal models of business processes through NuSMV model checker. If there is a violation of correctness specifications, NuSMV provides counter-examples, so we can locate errors and effect right changes for correcting business process design View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model patterns for model transformations in model driven development

    Publication Year: 2006 , Page(s): 10 pp. - 158
    Cited by:  Papers (1)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (325 KB) |  | HTML iconHTML  

    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 transformation implementation language Mopa (model pattern), which is less expressive but provides more flexibility. Mopa is independent of the chosen modelling techniques, it allows the realization of different transformation approaches, and it is integrated into the Java programming language, hence easy to integrate into existing environments. Mopa is described with formal syntax and semantics, and this paper shows how to use Mopa to implement different existing transformation approaches View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component-oriented modeling of hybrid dynamic systems using the generic modeling environment

    Publication Year: 2006 , Page(s): 10 pp. - 168
    Cited by:  Papers (3)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (516 KB) |  | HTML iconHTML  

    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 modeling language. The advantages of an object-oriented approach to physical system modeling combined with the advanced features of GME for managing model complexity are illustrated by building a library of hydraulic system components. A simulation model can be automatically generated from the physical system model using a model translator. As an example application we use the component library to build the model of a coupled multi-tank system with controlled and autonomous hybrid behaviors, and illustrate this with a simulation example View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 2006 , Page(s): 169
    Save to Project icon | Request Permissions | PDF file iconPDF (26 KB)  
    Freely Available from IEEE