Forms - A Flexible Notion for Software Composition∗
نویسندگان
چکیده
The development of flexible and reusable programming abstractions has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have been working on the definition of a general-purpose composition language based on a variant of the π-calculus as formal semantics, in which agents communicate by passing immutable extensible records, called forms, rather than tuples. Using this approach, we are able to define compositional abstractions in a more natural and robust way. In this position paper, we will extend the notion of forms and illustrate that forms may serve as a unifying concept for component-based software development.
منابع مشابه
Form-based Software Composition
The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have defined forms, immutable extensible records, that allow for the specification of compositional abstractions in a language-neutral and robust way. In this paper, w...
متن کاملSeparation of Concerns through Unif ication of Concepts1
Separation of concerns is a principle we apply to reduce complexity. This principle is especially important when it is used to separate stable from flexible parts of software systems to reduce the complexity of software evolution. We encapsulate the stable parts as components and the flexible parts as scripts. But there is a large range of requirements and consequent techniques available to ach...
متن کاملA tour of Piccola
Piccola is a language for composing applications from software components. It has a small syntax and a minimal set of features needed for specifying different styles of software composition. The core features of Piccola are communicating agents, which perform computations, and forms, which are the communicated values. Forms are a special notion of extensible, immutable records. Forms and agents...
متن کاملA π-Calculus Based Approach for Software Composition
Present-day applications are increasingly required to be flexible, or “open” in a variety of ways. By flexibility we mean that these applications have to be portable (to different hardware and software platforms), interoperable (with other applications), extendible (to new functionality), configurable (to individual users’ or clients’ needs), and maintainable. These kinds of flexibility are cur...
متن کاملComparison of the performances of neural networks specification, the Translog and the Fourier flexible forms when different production technologies are used
This paper investigates the performances of artificial neural networks approximation, the Translog and the Fourier flexible functional forms for the cost function, when different production technologies are used. Using simulated data bases, the author provides a comparison in terms of capability to reproduce input demands and in terms of the corresponding input elasticities of substitution esti...
متن کامل