Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop on

31-31 March 2007

Filter Results

Displaying Results 1 - 19 of 19
  • Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Cover

    Publication Year: 2007, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (76 KB)
    Freely Available from IEEE
  • Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Title

    Publication Year: 2007, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (39 KB)
    Freely Available from IEEE
  • Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Copyright

    Publication Year: 2007, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (39 KB)
    Freely Available from IEEE
  • Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Table of contents

    Publication Year: 2007, Page(s):v - vi
    Request permission for commercial reuse | PDF file iconPDF (37 KB)
    Freely Available from IEEE
  • Message from the Organizers

    Publication Year: 2007, Page(s): vii
    Request permission for commercial reuse | PDF file iconPDF (26 KB)
    Freely Available from IEEE
  • MOMPES 2007 Committees

    Publication Year: 2007, Page(s): viii
    Request permission for commercial reuse | PDF file iconPDF (23 KB)
    Freely Available from IEEE
  • On the Applicability Scope of Model Driven Engineering

    Publication Year: 2007, Page(s):3 - 7
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (145 KB) | HTML iconHTML

    Model driven engineering (MDE) is frequently presented as an important change in software development practices. However behind this new trend, one may recognize a lot of different objectives and solutions. This paper studies the multiple facets of MDE and its evolution in the recent period. It concludes by emphasizing the broad potential application scope of MDE and suggests some new areas of usa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Executable Use Cases: a Supplement to Model-Driven Development?

    Publication Year: 2007, Page(s):8 - 15
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (178 KB) | HTML iconHTML

    Executable use cases (EUCs) is a model-based approach to requirements engineering. In the introduction to this paper, we briefly discuss how EUCs may be used as a supplement to model-driven development (MDD). Then we present the EUC approach in more detail. An EUC can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not alway... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case Study

    Publication Year: 2007, Page(s):21 - 32
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (545 KB) | HTML iconHTML

    Context-awareness is an essential characteristic for pervasive applications to enhance their flexibility and adaptability to changing conditions and dynamic environments. Using ontologies to model context information and reason about context at a semantic level has attracted a lot of interest in the research community. However, adopting ontologies in the development process of pervasive services i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool Support for Model Driven Development of Pervasive Systems

    Publication Year: 2007, Page(s):33 - 44
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1315 KB) | HTML iconHTML

    This work presents the PervML Generative Tool (PervGT) that supports a model driven method for the development of pervasive services in ubiquitous environments. The tool, which is based on the Eclipse platform, provides facilities for the graphical description of pervasive systems using PervML, a UML-like modeling language. Once the pervasive system is specified, the PervML model is used as input ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Generic Execution Framework for Models of Computation

    Publication Year: 2007, Page(s):45 - 54
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (272 KB) | HTML iconHTML

    The model driven engineering approach has had an important impact on the methods used for the conception of systems. However, some important difficult points remain in this domain. In this paper, we focus on problems related to the heterogeneity of the computation models (and therefore of the modeling techniques) used for the different aspects of a system and to the validation and the execution of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • XIS-UML Profile for eXtreme Modeling Interactive Systems

    Publication Year: 2007, Page(s):55 - 66
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (393 KB) | HTML iconHTML

    The first version of the XIS profile addressed the development of interactive systems by defining models oriented only towards how the system should perform tasks. However, issues such as user-interface layouts, or the capture of interaction patterns, were not addressed by the profile, but only by the source-code generation process. This originated systems that, although functional, were considere... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ModES: Embedded Systems Design Methodology and Tools based on MDE

    Publication Year: 2007, Page(s):67 - 76
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (510 KB) | HTML iconHTML

    MDE-based approaches have been proposed as a solution to cope with the inefficiency of current design methods. In this context, our work defines meta-models for application, capturing functionality by means of processes communicating by ports and channels; platform, indicating available hardware/software resources; mapping from application into platform; and implementation, oriented to code genera... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing a Unified Process for Embedded Systems

    Publication Year: 2007, Page(s):77 - 90
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (431 KB) | HTML iconHTML

    In the embedded systems and SoC (system-on-chip) area, we defined a model-driven design methodology based on UML 2.0, UML profiles and SystemC. In this paper, we present the development process UPES (unified process for embedded systems) that we define to foster our methodology in a systematic and seamless manner according to the platform-based design principles View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines

    Publication Year: 2007, Page(s):91 - 101
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (285 KB) | HTML iconHTML

    The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. The 4SRS (Four Step Rule Set) is a UML based model driven method for single system development which provides support to the software architect in this task. This paper presents an evolution of the 4SRS method aimed at prod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-driven development of Particle System Families

    Publication Year: 2007, Page(s):102 - 114
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (402 KB) | HTML iconHTML

    Ambient-intelligence systems are characterized by a shift away from desktop computers to a variety of devices, which are unobtrusively embedded in the user environment. The usage of small computing nodes (particles) is one of the most efficient ways of their implementation. Such nodes are often installed in different appliances within an Ambient-intelligence system. In each case there is a joint p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Driven Consistency Checking of Behavioural Specifications

    Publication Year: 2007, Page(s):115 - 126
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (477 KB) | HTML iconHTML

    For the development of software intensive systems different types of behavioural specifications are used. Although such specifications should be consistent with respect to each other, this is not always the case in practice. Maintainability problems are the result. In this paper we propose a technique for assessing the consistency of two types behavioural specifications: scenarios and state machin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Challenges when using Model Driven Architecture in the development of Safety Critical Software

    Publication Year: 2007, Page(s):127 - 136
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (224 KB) | HTML iconHTML

    The model driven architecture (MDA) is an approach to software engineering in which models are systematically developed and transformed into code. This paper discusses some of the issues which would need to be overcome when attempting to certify a safety critical design or software developed with the MDA approach, partially based on our experience with an avionics software case study. We particula... View full abstract»

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

    Publication Year: 2007, Page(s): 137
    Request permission for commercial reuse | PDF file iconPDF (26 KB)
    Freely Available from IEEE