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
    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
    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
    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
    Request Permissions | PDF file iconPDF (54 KB)  
    Freely Available from IEEE
  • Message from the Organizers

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

    Publication Year: 2006 , Page(s): viii
    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)
    Request Permissions | Click to expandAbstract | 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 servi... 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
    Request Permissions | Click to expandAbstract | 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... 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
    Request Permissions | Click to expandAbstract | 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 (3)
    Request Permissions | Click to expandAbstract | 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 ... 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
    Request Permissions | Click to expandAbstract | 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 hi... 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)
    Request Permissions | Click to expandAbstract | 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... 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)
    Request Permissions | Click to expandAbstract | 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 ... 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)
    Request Permissions | Click to expandAbstract | 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 architec... 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)
    Request Permissions | Click to expandAbstract | 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... 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)
    Request Permissions | Click to expandAbstract | 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 con... 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
    Request Permissions | Click to expandAbstract | 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 ... 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)
    Request Permissions | Click to expandAbstract | 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 des... 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 (7)
    Request Permissions | Click to expandAbstract | 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 change... 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)
    Request Permissions | Click to expandAbstract | 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 s... 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 (10)
    Request Permissions | Click to expandAbstract | 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 ... 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)
    Request Permissions | Click to expandAbstract | 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 transforma... 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 (5)
    Request Permissions | Click to expandAbstract | 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 model... 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
    Request Permissions | PDF file iconPDF (26 KB)  
    Freely Available from IEEE