99,089 research outputs found

    On the Notion of Abstract Platform in MDA Development

    Get PDF
    Although platform-independence is a central property in MDA models, the study of platform-independence has been largely overlooked in MDA. As a consequence, there is a lack of guidelines to select abstraction criteria and modelling concepts for platform-independent design. In addition, there is little methodological support to distinguish between platform-independent and platform-specific concerns, which could be detrimental to the beneficial exploitation of the PIM-PSM separation-of-concerns adopted by MDA. This work is an attempt towards clarifying the notion of platform-independent modelling in MDA development. We argue that each level of platform-independence must be accompanied by the identification of an abstract platform. An abstract platform is determined by the platform characteristics that are relevant for applications at a certain level of platform-independence, and must be established by balancing various design goals. We present some methodological principles for abstract platform design, which forms a basis for defining requirements for design languages intended to support platform-independent design. Since our methodological framework is based on the notion of abstract platform, we pay particular attention to the definition of abstract platforms and the language requirements to specify abstract platforms. We discuss how the concept of abstract platform relates to UML

    Exposing the myth: object-relational impedance mismatch is a wicked problem

    Get PDF
    Addressing a problem of software integration is a fact of life for those involved in software development. The popularity of both object and relational technologies means that they will inevitably be used together. However, the combination of these two technologies introduces problems. These problems are referred to collectively as the object-relational impedance mismatch. A mismatch is addressed using one or more mapping strategies, typically embodied in a pattern. A strategy is concerned with correspondence between the schema of a relational database and an object-oriented program. Such strategies are employed in mapping tools such as Hibernate and TopLink, and reinforce the received wisdom that the problem of object-relational impedance mismatch has been solved. In this paper, we observe that it is not clear whether each strategy, as one possible solution, addresses the cause or a symptom of a mismatch. We argue that the problem is not tame and easily resolved; rather it is complex and wicked. We introduce a catalogue of problem themes that demonstrate the complex nature of the problem and provide a way both to talk about the problem and to understand its complexity. In the future, as software systems become more complex and more connected, it will be important to learn from past endeavours. Our catalogue of problem themes represents a shift, in thinking about the problem of object-relational impedance mismatch, from issues of implementation towards an analysis of cause and effect. Such a shift has implications for those involved in the design of current and future software architectures. Because we have questioned the received wisdom, we are now in a position to work toward an appropriate solution to the problem of object-relational impedance mismatch

    The Methodology of Political Theory

    Get PDF
    This article examines the methodology of a core branch of contemporary political theory or philosophy: ā€œanalyticā€ political theory. After distinguishing political theory from related fields, such as political science, moral philosophy, and legal theory, the article discusses the analysis of political concepts. It then turns to the notions of principles and theories, as distinct from concepts, and reviews the methods of assessing such principles and theories, for the purpose of justifying or criticizing them. Finally, it looks at a recent debate on how abstract and idealized political theory should be, and assesses the significance of disagreement in political theory. The discussion is carried out from an angle inspired by the philosophy of science

    Refinement for user interface designs

    Get PDF
    Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs

    Impact of European Water Framework Directive Article 7 on Drinking Water Directive compliance for pesticides: challenges of a prevention-led approach

    Get PDF
    Article 7 of the European Water Framework Directive (WFD) promotes a prevention-led approach to European Drinking Water Directive (DWD) compliance for those parameters that derive from anthropogenic influences on raw water quality. However, the efficacy of pollution prevention interventions is currently uncertain and likely to be variable, which makes absolute compliance with the drinking water standard a significant challenge. Member State governments, the WFD competent authority, the DWD competent authority, water suppliers and agriculture are all affected by and have a different perspective on the nature of this challenge. This paper presents a discussion of these perspectives applicable to stakeholders in all European Member States; the analysis is supported with examples from England and Wales. Improved understanding of the challenges faced by each group is needed if these groups are to achieve the shared goals of WFD Article 7 compliance and DWD compliance without a disproportionately negative impact on agricultural productivity. In addition, the European Commission needs to be aware of and address a potential incompatibility between WFD Article 7 and the DWD. With this in mind, targeted recommendations for action are presented for each stakeholder group

    Algorithms Applied to Global Optimisation ā€“ Visual Evaluation

    Get PDF
    Evaluation and assessment of various search and optimisation algorithms is subject of large research efforts. Particular interest of this study is global optimisation and presented approach is based on observation and visual evaluation of Real-Coded Genetic Algorithm, Particle Swarm Optimisation, Differential Evolution and Free Search, which are briefly described and used for experiments. 3D graphical views, generated by visualisation tool VOTASA, illustrate essential aspects of global search process such as divergence, convergence, dependence on initialisation and utilisation of accidental events. Discussion on potential benefits of visual analysis, supported with numerical results, which could be used for comparative assessment of other methods and directions for further research conclude presented study
    • ā€¦
    corecore