Encapsulation and Dynamic Modularity in the Pi-Calculus

We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus intended to capture several important mechanisms related to component-based programming, such as dynamic update, reconfiguration and code migration. In this paper, we are primarily concerned with the possibility to build a distributed implementation of our calculus. Accordingly, we define a low-level calculus, that describes how the high-level constructs are implemented, as well as details of the data structures manipulated at runtime. We also discuss current and future directions of research in relation to our analysis of component-based programming

ADVANTAGES OF USING OBJECT-ORIENTED TECHNOLOGIES IN MODELING COSTS

The project was created with the intention of helping the managers, whose objective is to optimize the use of resources so that they obtain the wanted profit. In the first paragraphs we presented the theoretical concepts that we had in order to make this application. We pointed out the necessity to pass to object oriented programming, underlining the main advantages that made us chose this type of programming. Next, we showed the importance of the production cost in the decisional process and its calculus methods.object oriented technologies, costs management, optimization, linear programming, object -oriented programming

A Minimal OO Calculus for Modelling Biological Systems

In this paper we present a minimal object oriented core calculus for modelling the biological notion of type that arises from biological ontologies in formalisms based on term rewriting. This calculus implements encapsulation, method invocation, subtyping and a simple formof overriding inheritance, and it is applicable to models designed in the most popular term-rewriting formalisms. The classes implemented in a formalism can be used in several models, like programming libraries.Comment: In Proceedings CompMod 2011, arXiv:1109.104

The role of concurrency in an evolutionary view of programming abstractions

In this paper we examine how concurrency has been embodied in mainstream programming languages. In particular, we rely on the evolutionary talking borrowed from biology to discuss major historical landmarks and crucial concepts that shaped the development of programming languages. We examine the general development process, occasionally deepening into some language, trying to uncover evolutionary lineages related to specific programming traits. We mainly focus on concurrency, discussing the different abstraction levels involved in present-day concurrent programming and emphasizing the fact that they correspond to different levels of explanation. We then comment on the role of theoretical research on the quest for suitable programming abstractions, recalling the importance of changing the working framework and the way of looking every so often. This paper is not meant to be a survey of modern mainstream programming languages: it would be very incomplete in that sense. It aims instead at pointing out a number of remarks and connect them under an evolutionary perspective, in order to grasp a unifying, but not simplistic, view of the programming languages development process

Multi-agent framework based on smart sensors/actuators for machine tools control and monitoring

Throughout the history, the evolutions of the requirements for manufacturing equipments have depended on the changes in the customers' demands. Among the present trends in the requirements for new manufacturing equipments, there are more flexible and more reactive machines. In order to satisfy those requirements, this paper proposes a control and monitoring framework for machine tools based on smart sensor, on smart actuator and on agent concepts. The proposed control and monitoring framework achieves machine monitoring, process monitoring and adapting functions that are not usually provided by machine tool control systems. The proposed control and monitoring framework has been evaluated by the means of a simulated operative part of a machine tool. The communication between the agents is achieved thanks to an Ethernet network and CORBA protocol. The experiments (with and without cooperation between agents for accommodating) give encouraging results for implementing the proposed control framework to operational machines. Also, the cooperation between the agents of control and monitoring framework contributes to the improvement of reactivity by adapting cutting parameters to the machine and process states and to increase productivity

08061 Abstracts Collection -- Types, Logics and Semantics for State

From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 ``Types, Logics and Semantics for State\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Modularity in Mathematics

In a wide range of fields, the word "modular" is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure, and explores the ways in which modularity in mathematics is epistemically advantageous

Modularity in Mathematics

In a wide range of fields, the word "modular" is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure, and explores the ways in which modularity in mathematics is epistemically advantageous

Modularity in Mathematics

In a wide range of fields, the word "modular" is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure, and explores the ways in which modularity in mathematics is epistemically advantageous