Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for...
详细信息
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and programming languages, focussing on binary (two-party) sessions. This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centred applications. Presented as a typed calculus for mobile processes, the theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. Global types retain a friendly type syntax of binary session types while capturing complex causal chains of multiparty asynchronous interactions. A global type plays the role of a shared agreement among communication peers, and is used as a basis of efficient type checking through its projection onto individual peers. The fundamental properties of the session type discipline such as communication safety, progress and session fidelity are established for general n-party asynchronous interactions.
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in agent programming. We argue that modules...
详细信息
ISBN:
(纸本)9783540790426
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in agent programming. We argue that modules can be viewed as structures similar to that of policy-based intentions [2]. Modules perceived in this way are components within an agent that are triggered in a particular situation and combine the knowledge and skills to adequately pursue the goals of the agent in that situation. The context that triggers the activation of a module defines the interface of the module, which can be specified declaratively, in contrast to the usual functional interpretations of such interfaces. A feature that differentiates our notion of a module from plans is that modules provide an agent with a means to focus its attention on the relevant resources it needs to handle a situation. As a result, modules can be used to control or reduce the underspecification and inherent non-determinism that is typical of agent programs. In the paper, the proposed module concept is incorporated into the agent language GOAL and illustrated by means of a simple example.
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for...
详细信息
ISBN:
(纸本)9781595936899
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and programming languages, focussing on binary (two-party) sessions. This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centred applications. Presented as a typed calculus for mobile processes. the theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario. Global types retain a friendly type syntax of binary session types while capturing complex causal chains of multiparty asynchronous interactions. A global type plays the role of a shared agreement among communication peers, and is used as a basis of efficient type checking through its projection onto individual peers. The fundamental properties of the session type discipline such as communication safety, progress and session fidelity are established for general n-party asynchronous interactions.
The article discusses the similarity of software architecture and musical architecture in terms of patterns. It is stated that a well-structured software-intensive systems is full of patterns. Architectural patterns h...
详细信息
The article discusses the similarity of software architecture and musical architecture in terms of patterns. It is stated that a well-structured software-intensive systems is full of patterns. Architectural patterns have the same character as song structure, design patterns and musical motifs are at the same level of abstraction, programmatic idioms and musical rhythms and scales are isomorphic. By comparing musical and software patterns, the author elaborates the purposes and forms of patterns. He cites that architectural and design patterns make software-intensive systems easier to understand and adapt to because of their regularity and simplicity.
The article discusses the management of problems related to old software. The author says that software development is a fluid field where the comparative effectiveness and expectation from a particular application ch...
详细信息
The article discusses the management of problems related to old software. The author says that software development is a fluid field where the comparative effectiveness and expectation from a particular application changes with time. He suggests that any code he developed 10 years ago would look full of technical deficiencies today. It is suggested that scrapping the software and rebuilding it from the scratch is the most feasible option in such a case. He thinks that they should make clients understand that rebuilding the software is an easier option with the help of new technology like structured programming etc. This would save the skins of designers and satisfy clients as well.
By making use of the HTML frame facility, Web applications can display a lot of information in one Web page at a time and show it to users. This paper presents a method that makes it possible to visually design and pr...
详细信息
By making use of the HTML frame facility, Web applications can display a lot of information in one Web page at a time and show it to users. This paper presents a method that makes it possible to visually design and program Web applications that use frame facilities. The BioPro system that implements this method newly provides Frameset design pages with which we can design Web pages that represent a frameset consisting of several frames and other framesets. We design the contents of ordinary Web pages using Web design pages. Each frame of a Frameset design page has a link to the Web page that is displayed in the frame. The system generates Web application program code from these Frameset design pages and the Web design pages linked to them. Frameset design pages provide several editing facilities such as adding, deleting, changing, and nesting of framesets to make it easier to develop Web applications that use frame facilities.
Dynamic slicing helps to identify the program statements that affect a given criterion-point. Existing precise slicing algorithms, like the Limited-Preprocessing (LP) algorithm by Zhang et al. (ICSE 2003), operate on ...
详细信息
ISBN:
(纸本)1595934804;9781595934802
Dynamic slicing helps to identify the program statements that affect a given criterion-point. Existing precise slicing algorithms, like the Limited-Preprocessing (LP) algorithm by Zhang et al. (ICSE 2003), operate on stored execution trace, requires much time and space if the trace is large even if the source program is small. In this paper we present a forward dynamic slicing algorithm for structured programs that reduces the overhead of slicing in the long run. For long running programs that iterates heavily on some loop, our algorithm is expected to perform faster by re-using the already computed dependences in the loop. Copyright 2007 ACM.
Topology optimization problem, which involves many design variables, is commonly solved by finite element method, a method must recalculate structure-stiffness matrix each time of analysis. OC method is a good way to ...
详细信息
ISBN:
(纸本)9783540723943
Topology optimization problem, which involves many design variables, is commonly solved by finite element method, a method must recalculate structure-stiffness matrix each time of analysis. OC method is a good way to solve topology optimization problem, nevertheless, it can not solve multiobjective topology optimization problems. This paper introduces an effective solution to Multi-objective topology optimization problems by using Neural Network algorithms to improve the traditional OC method. Specifically, in each iteration, calculate the new neural network link weight vector by using the previous link weight vector in the last iteration and the compliance vector in the last time of optimization, then work out the impact factor of each optimization objective on the overall objective of the optimization in order to determine the optimal direction of each design variable.
Database search for images containing icons with specific mutual spatial relationships can he facilitated by an appropriately structured index. For the case of images containing subsets each of which consist of three ...
详细信息
We introduce a novel method of indexing graph databases in order to facilitate subgraph isomorphism and similarity queries. The index is comprised of two major data structures. The primary structure is a directed acyc...
详细信息
暂无评论