software engineering has matured from heuristic practice to an engineering discipline. Over the years software technology developed into a key qualification for mastering complex technical systems. Nowadays software e...
详细信息
ISBN:
(纸本)0769522963
software engineering has matured from heuristic practice to an engineering discipline. Over the years software technology developed into a key qualification for mastering complex technical systems. Nowadays software engineers can benefit from a solid stock of basic research addressing the specification, modelling, design and implementation of sequential, concurrent, distributed and real time systems. The talk surveys the scientific foundations of modern software technology concentrating on components, interfaces and behaviours. We present a unifying approach relating different system views manifesting themselves as data model, communication model, state transition model, and process model.
The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits mess...
详细信息
ISBN:
(纸本)0769524656
The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt. a previous input history. The history abstraction extracts the components' control state and data state from the input history.
We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured...
详细信息
We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured modules processing the input digits in parallel. The design is systematically specialized to iterative networks processing the input sequentially from the least resp. from the highest significant positions. Throughout the paper, we explicate functional methods for the transformational design of combinational circuits. We illustrate the approach with a parity generator module, a comparator module, and a priority resolution module.
A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. This paper presents a formal method how to transform the signature of an algebraic ...
详细信息
ISBN:
(纸本)0769524656
A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. This paper presents a formal method how to transform the signature of an algebraic specification into a collection of object-oriented class signatures in a systematic way. We explore the possible design decisions and manifest them in design functions. The transformation of the signature forms the syntactic basis for relating algebraic specifications with object-oriented modeling in a profound way. The approach bridges the gap between functional specification concepts and object-oriented modeling techniques. An important area of application comprises the top-down development of information storing components. All transformation procedures including the mechanization of the design choices have been implemented in a transformation tool.
Unified Modeling Language (UML 2.0) is the upcoming standard of the Object Management Group for specifying object-oriented software systems. In this paper, we will show how UML 2.0 can be applied for the specification...
详细信息
Unified Modeling Language (UML 2.0) is the upcoming standard of the Object Management Group for specifying object-oriented software systems. In this paper, we will show how UML 2.0 can be applied for the specification of agent-based systems. Moreover, we will give a short overview on existing agent methodologies to have a reference what has to be specified in such systems. The paper concludes with some outlook for further research and open issues for specifying agents with UML 2.0. (c) 2004 Elsevier Ltd. All rights reserved.
The black-box view of an interactive component in a distributed system concentrates on the input/output behaviour based on communication histories. The glass-box view discloses the component's internal state with ...
详细信息
ISBN:
(纸本)3540321330
The black-box view of an interactive component in a distributed system concentrates on the input/output behaviour based on communication histories. The glass-box view discloses the component's internal state with inputs effecting an update of the state. The black-box view is modelled by a stream processing function, the glass-box view by a state transition machine. We present a formal method for transforming a stream processing function into a state transition machine with input and output. We introduce states as abstractions of the input history and derive the machine's transition functions using history abstractions. The state refinement is illustrated with three applications, viz. an iterator component, a scan component, and an interactive stack.
We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured...
详细信息
ISBN:
(纸本)0769522971
We present a framework for the unifying high-level synthesis of tree-structured and iterative combinational networks. Based on the theory of list homomorphisms, we develop a standard implementation for tree-structured modules processing the input digits in parallel. The design is systematically specialized to iterative networks processing the input sequentially from the least resp. from the highest significant positions. Throughout the paper we explicate functional methods for the transformational design of combinational circuits. We illustrate the approach with a parity generator module, a comparator module, and a priority resolution module.
We model a software component for an interactive frequency table in the setting of history functions. The component's internal state is systematically in-troduced as an abstraction of the input history. We explore...
详细信息
ISBN:
(纸本)9781604234558
We model a software component for an interactive frequency table in the setting of history functions. The component's internal state is systematically in-troduced as an abstraction of the input history. We explore different history abstractions and describe the corresponding models by state transition machines with input and output. The case study exemplifies a formal method how to transform a behavioural speci-fication into a state-based implementation.
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ranging from 3KSLOC to 1300KSLOC) confirm...
详细信息
The paper studies the systematic top-down design of a ternary asynchronous multiplexer refining its communication-oriented input/output behaviour into a state-based implementation. The formal design exploits two impor...
详细信息
ISBN:
(纸本)9781604234558
The paper studies the systematic top-down design of a ternary asynchronous multiplexer refining its communication-oriented input/output behaviour into a state-based implementation. The formal design exploits two important transformations: differentiation localizes the effect of single inputs wrt. an input history, abstraction extracts the component's control state and data state from the previous input history.
暂无评论