49,845 research outputs found

    The automatic generation and execution of Lean Cuisine+ specifications : a thesis presented in partial fulfilment of the requirements for the degree of Master of Information Science in Computer Science at Massey University

    Get PDF
    Lean Cuisine+ (Phillips, 1995), a semi-formal graphical dialogue notation for describing the behaviour of event based direct manipulation GUIs, was developed at Massey University in the early 1990s. More recently, a software environment, SELCU (Scogings, 2003) has been built for Lean Cuisine+ which permits dialogue models to be manually constructed and edited using a drag and drop approach. The aim of the research presented in this thesis is to develop extensions to SELCU, which include the automatic generation of Lean Cuisine+ diagrams, and their execution. A shortcoming of current prototyping tools and user interface builders is that although they permit the designer to construct a mock up of the look and feel of the interface, they provide no model of the interaction. The Auto-Generation Software is a tool which can automatically generate a Lean Cuisine+ diagram for a graphical user interface developed using Delphi. The generated description is represented as a text file, and in a format compatible with the SELCU system. The Lean Cuisine+ Execution Environment is embedded in the SELCU application. It supports the execution of Lean Cuisine+ specifications, including meneme selection and task action sequence, and also takes account of triggers. The SELCU extensions successfully integrate a graphical dialogue notation (Lean Cuisine+), an object oriented development environment (Delphi), and an existing support environment (SELCU). This offers a more complete environment for the early stages of the design of graphical user interfaces

    Theoretical and practical implications of user interface patterns applied for the development of graphical user interfaces

    Get PDF
    We address current research concerning patterns dedicated to enable higher reusability during the automated development of GUI systems. User interface patterns are promising artifacts for improvements in this regard. Both general models for abstractions of graphical user interfaces and user interface pattern based concepts such as potential notations and model-based processes are considered. On that basis, the present limitations and potentials surrounding user interface patterns are to be investigated. We elaborate what theoretical implications emerge from user interface patterns applied for reuse and automation within user interface transformation steps. For this purpose, formal descriptions of user interface patterns are necessary. We analyze the capabilities of the mature XML-based user interface description languages UIML and UsiXML to express user interface patterns. Additionally, we experimentally investigate and analyze strengths and weaknesses of two general transformation approaches to derive practical implications of user interface patterns. As a result, we develop suggestions on how to apply positive effects of user interface patterns for the development of pattern-based graphical user interfaces

    A teaching and support tool for building formal models of graphical user-interfaces

    Get PDF
    In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes-the teaching of first-order logic and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching first-order logic, namely Tarski's World

    Engineering telecommunication services with SDL

    Get PDF
    If formal techniques are to be more widely accepted then they should evolve as current software engineering approaches evolve. Current techniques in the development of distributed systems use interface definition languages (IDLs) as a basis for the underlying communication and also as an abstraction tool. Object-oriented technologies [6] and the idea of engineering software through frameworks [5] are also widely accepted approaches in developing software. In this paper we show how the formal specification language SDL and associated tool support have been applied in the TOSCA1 project to engineer telecommunication services using these current techniques

    Extension to UML-B Notation and Toolset

    No full text
    The UML-B notation has been created as an attempt to combine the success and ease of use of UML, with the verification and rigorous development capabilities of formal methods. However, the notation currently only supports a basic diagram set. To address this we have, in this project, designed and implemented a set of extensions to the UML-B notation that provide a much fuller software engineering experience, critically making UML-B more appealing to industry partners. These extensions comprise five new diagram types, which are aimed at supplying a broader range of design capabilities, such as conceptual Use-Case design and future integration with the ProB animator tool

    Spud 1.0: generalising and automating the user interfaces of scientific computer models

    No full text
    The interfaces by which users specify the scenarios to be simulated by scientific computer models are frequently primitive, under-documented and ad-hoc text files which make using the model in question difficult and error-prone and significantly increase the development cost of the model. In this paper, we present a model-independent system, Spud, which formalises the specification of model input formats in terms of formal grammars. This is combined with an automated graphical user interface which guides users to create valid model inputs based on the grammar provided, and a generic options reading module, libspud, which minimises the development cost of adding model options. <br><br> Together, this provides a user friendly, well documented, self validating user interface which is applicable to a wide range of scientific models and which minimises the developer input required to maintain and extend the model interface

    ISML: an interface specification meta-language

    Get PDF
    In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed

    Knowledge-based Expressive Technologies within Cloud Computing Environments

    Full text link
    Presented paper describes the development of comprehensive approach for knowledge processing within e-Sceince tasks. Considering the task solving within a simulation-driven approach a set of knowledge-based procedures for task definition and composite application processing can be identified. This procedures could be supported by the use of domain-specific knowledge being formalized and used for automation purpose. Within this work the developed conceptual and technological knowledge-based toolbox for complex multidisciplinary task solv-ing support is proposed. Using CLAVIRE cloud computing environment as a core platform a set of interconnected expressive technologies were developed.Comment: Proceedings of the 8th International Conference on Intelligent Systems and Knowledge Engineering (ISKE2013). 201

    Business-oriented development of telecommunication services

    Get PDF
    The development of software for distributed systems, e.g. telecommunication services, is a complex activity. Numerous issues have to be resolved when developing such systems, examples of which are language/system heterogeneity and remoteness of components. Interface definition languages (IDLs) are used as the basis for addressing some of these issues. IDLs allow for the specification of the syntactic aspects of the interfaces of the components in the system to be made. Whilst lending itself to issues of heterogeneity and location transparency, dealing with IDL as the basis for system development is not without its problems. Two of the main problems with IDL are its lack of behaviour and its lack of abstraction. Thus designers should not be constrained to work within the syntactic notations used to implement their systems, nor should they be unaided in how they might better design their systems. In this paper we show how these issues are being addressed in the TOSCA project in its development of a service creation and validation environment
    • ā€¦
    corecore