Achermann, F., Lumpe, M., Schneider, J.-G. and Nierstrasz, O. Piccola - A Small Composition Language. in Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Cambridge University Press, New York, NY, 2001, 403-426.  @ NUS  Home/Search   Document Details and Download   Summary   Related Articles   Check

....where openness is characterized by the need for recomposability in the face of changing system requirements. The authors propose the development of a composition language using the # Calculus as a theoretical foundation. This requirements groundwork ultimately results in the publication of [4, 8], which describe the composition language named Piccola. A platform neutral implementation of the Piccola language exists, it is Java based and is named JPiccola. 4 Agentcities Related Research The Agentcities Initiative intends to provide a platform to demonstrate the interoperation of ....

Achermann, F., Lumpe, M., Schneider, J.-G. and Nierstrasz, O. Piccola - A Small Composition Language. in Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Cambridge University Press, New York, NY, 2001, 403-426.

....where openness is characterized by the need for recomposability in the face of changing system requirements. The authors propose the development of a composition language using the # Calculus as a theoretical foundation. This requirements groundwork ultimately results in the publication of [8, 9, 26], which describe the composition language named Piccola. A platform neutral implementation of the Piccola language exists, it is Java based and is named JPiccola. 5. AGENTCITIES RELATED RESEARCH The Agentcities Initiative intends to provide a platform to demonstrate the interoperation of ....

Achermann, F., Lumpe, M., Schneider, J.-G. and Nierstrasz, O. Piccola - A Small Composition Language. in Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Cambridge University Press, New York, NY, 2001, 403426.

....surveyed in [5] where each of them focuses on a particular application domain rather than being a general tool, language, method, or framework for composition. It is interesting to observe that recently proposed approaches to composition follow the paradigm: Applications = Components Scripts [3]. Also our approach follows this paradigm to composition if one considers proofs as scripts. Our approach to automated composition of services is inherently dynamic # the service implementation to be composed must be generated dynamically on a request. Architecture for developing network services ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz. Piccola --- a Small Composition Language. Formal Methods for Distributed Processing, an Object Oriented Approach, Howard Bowman and John Derrick. (Eds.), Cambridge University Press., 2000

....to make them compatible. Hence we expect to use QSoul as an experimental vehicle for looking at several composition approaches, and using them on concrete examples. 5. 2 Piccola: a functional approach Piccola is an experimental language for composing applications from software components [2, 1]. Piccola is defined by a thin layer of syntactic sugar on top of a semantic core based on Milner s pi calculus. Piccola stands for PI Calculus based COmposition LAnguage. Piccola is designed to make it easy to define high level connectors for composing and coordinating software components ....

F. Achermann, M. Lumpe, J.-G. Schneider, and O. Nierstrasz. Piccola -- a small composition language. In H. Bowman and J. Derrick., editors, Formal Methods for Distributed Processing, an Object Oriented Approach. Cambridge University Press., 2001. to appear.

....assumption of coordination by removing (as much as possible) the potential for dependencies between components. The Software Composition Group at the University of Bern has been studying the problem of object oriented software composition [15, 16] In particular, the Piccola composition language [2] identi es some of the same impediments to composition that we address here. However, the SCG group focuses on software development and evolution, and does not address zero code composition and the problems raised by ad hoc and adaptive applications. Many systems have been built to enable ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola - A Small Composition Language, in Formal Methods for Distributed Processing - An Object Oriented Approach, H. Bowman and J. Derrick. (Eds.), Cambridge University Press., 2000. Available at: http://www.iam.unibe.ch/~scg/Research/Piccola/pascl.pdf

....connection in reaction to the data received. The # calculus has been used as a semantic foundation for object oriented languages [28] for cryptographic calculi like the Spi calculus [1] and the Ambient calculus [12] and for several languages for composing components. Examples include Piccola [2], a language for composing components that communicate by passing extensible records, and Darwin [19] a configuration language that models composition of distributed agents in terms of data flows. A CCS like calculus for the Olan configuration language [15] is also based on the same concept, ....

F. Achermann, M. Lumpe, J.-G. Schneider, and O. Nierstrasz. Piccola - a small composition language. Available on line at the URL: http://www.iam.unibe.ch/~scg/Research/Piccola.

....it is nearly impossible to 38 predict how adaptation and compositional changes to a set of components will impact the application even if the changes are minimal. Piccola is an example of the state of the art in composition languages. It was written completely in Java by Achermann et al. [1] but unlike Java, all language constructs are translated into p calculus which is a variant of p calculus. Piccola is an untyped language that lacks a built in object model but it interoperates with Java since it uses the Java runtime environment. It is a very low level language and therefore it ....

Achermann, F., Lumpe, M., Schneider, J., and Nierstrasz, O., "Piccola - A Small Composition Language", Formal Methods for Distributed Processing - An Object Oriented Approach, H. Bowman and J. Derrick. (Eds.), Cambridge University Press., 2000. Available at: http://www.iam.unibe.ch/~scg/Research/Piccola/pascl.pdf

.... definition of an asynchronous channel with two operations, read and write: def newAsyncChannel = def this.read this.write x = x this Asynchronous channels are the fundamental communication primitive of asynchronous # calculus [8, 23] and languages based on it, e.g. Pict[30] or Piccola[1]. A typical usage scenario of an asynchronous channel would be: val c = newAsyncChannel def producer = var x : 1 while (true) val y : x ; x : x 1 c.write y def consumer = while (true) val y = c.read ; print y producer consumer The producer in the above ....

F. Achermann, M. Lumpe, J.-G. Schneider, and O. Nierstrasz. Piccola - a small composition language. Submitted for Publication, available from http://www.iam.unibe.ch/~scg/Research/Piccola, 1999.

....more accurate than previous work. This work was motivated by the desire to develop a simple foundation for languages that support functional, imperative, and concurrent programming. Current examples of such languages include JoCaml [Fes98] based on original join calculus, Pict [PT97] or Piccola [ALSN99] based on # calculus, as well as CML [Rep91] Facile [GMP89] or Erlang [AVW93] which are based on di#erent, generally more complex foundations. We are currently defining and implementing a kernel programming language which is based on our interpretation of join calculus. ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola - a small composition language. Submitted for Publication, available from http://ww.iam.unibe.ch/~scg/Research/Piccola, 1999.

No context found.

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola -- a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing -- A Survey of Object-Oriented Approaches, pages 403--426. Cambridge University Press, 2001.

No context found.

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola -- a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing -- A Survey of Object-Oriented Approaches, pages 403--426. Cambridge University Press, 2001.

....of software composition mechanisms. The thesis also presents PICCOLA(F) a version of Piccola built on top of the FORM calculus. There are two papers presenting Piccola2 in some detail, Applications = Components Scripts A tour of Piccola [AN01] and Piccola a Small Composition Language [ALSN01]. These papers also introduce the notion of a compositional style, which enables one to express an application as a composition of software components. The conceptual framework supported by Piccola is introduced in the paper Components, Scripts and Glue [SN99] Compositional styles are explored ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola -- a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing -- A Survey of Object-Oriented Approaches, pages 403--426. Cambridge University Press, 2001.

....declarations. Numerous architectural description languages (ADLs) SG96] such as ArchJava [ACN02] and Jiazzi, MFH01] also model components as explicitly providing and requiring services, typically through named ports. The inspiration for this work is the Piccola composition language [AN01] [ALSN01], whose formal semantics are defined in terms of forms, agents and channels. Lumpe s thesis [Lum99] presents the #L calculus a variant of the # calculus based on forms together with its type system. This simple type system, however, is very restrictive, and does not support polymorphism. ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola -- a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing -- A Survey of Object-Oriented Approaches, pages 403--426. Cambridge University Press, 2001.

....In the case of an event driven language, it is important to know what kind of call back mechanisms it supports (e.g. the concept of event listeners in Java) and how closures [45] can be specified. Concurrency. Some scripting languages are inherently concurrent (e.g. Bourne Shell or Piccola [2]) while others provide abstractions for concurrency (e.g. threads, monitors) In both cases, the kind of built in coordination abstractions are of interest. Introspection. Scripting languages generally o#er features for run time introspection or even reflection, although these features often ....

....components. It is particularly suitable for specifying and implementing reusable, higher level coordination abstractions and protocols as well as for dynamically evolving architectures. Piccola is a simple untyped language and has been designed to be a general purpose composition language [2, 3]. Piccola is primarily used to express how components are composed, i.e. it is used to define the connectors, coordination and glue abstractions needed for an actual composition. Piccola uses the unifying concept of forms (immutable, extensible records) which represent almost everything in ....

[Article contains additional citation context not shown here]

F. Achermann, M. Lumpe, J.-G. Schneider, and O. Nierstrasz. Piccola -- a small composition language. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing: An Object-Oriented Approach, chapter 18. Cambridge University Press, 2000. to appear.

.... Furthermore, Java is not well suited to defining abstractions which are not objects (such as coordination abstractions, generic wrappers, and synchronization policies) We have argued elsewhere that component based software development can be summarized as Applications = Components Scripts [1][3][14] In this view, conventional programming languages will be used to implement basic services and components, but a composition language will be more suitable for the task of composing, or scripting components. Furthermore, a composition language must pay special attention to the problems of ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, "Piccola - a Small Composition Language," Formal Methods for Distributed Processing, an Object Oriented Approach, Howard Bowman and John Derrick. (Eds.), Cambridge University Press., 2000, to appear.

....to be implemented in Piccola that would require more heavyweight approaches such as metaprogramming or compiler extensions in other languages. Finally, the last two sections present related and future work. 2 Piccola Piccola is designed to be a general purpose composition language [1][2]. That is, it is designed as a language for composing software components which may be written in a separate implementation language. Piccola s job is to express how components are configured, and to provide the connectors, coordination abstractions and glue abstractions needed to configure ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, "Piccola - a Small Composition Language," Formal Methods for Distributed Processing, an Object Oriented Approach, Howard Bowman and John Derrick. (Ed.), Cambridge University Press., 2000, to appear.

....push and pull streams. The glue code consists of a coordinator and a pipe. The proceeding push stream then writes into the pipe where the data elements can be fetched by the pull stream filter. The responsibility of the coordinator is to terminate the pull stream when the push stream gets closed [2]. 4.1 Bridging Event and Actor Style Assume we need a visual interface for our voting application. It would be a nightmare to entangle all the actors with statements to create and layout visual components and Figure 4 Implementation of the RC style on top of the GA style actor . policy bus ....

Franz Achermann, Markus Lumpe, Jean-Guy Schneider and Oscar Nierstrasz, "Piccola --- a Small Composition Language," Formal Methods for Distributed Processing, an Object Oriented Approach, Howard Bowman and John Derrick. (Eds.), Cambridge University Press., 2000, to appear. 16.

No context found.

Achermann, F., Lumpe, M., Schneider, J.-G. and Nierstrasz, O. Piccola - A Small Composition Language. in Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, Cambridge University Press, New York, NY, 2001, 403-426.

No context found.

Franz Achermann, Markus Lumpe, JeanGuy Schneider, and Oscar Nierstrasz. PICCOLA---A small composition language. In H. Bowman and J. Derrick, editors, Formal methods for distributed processing: a survey of object-oriented approaches, pages 403--426. Cambridge University Press, Cambridge, UK, 2001.

No context found.

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola -- a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing -- A Survey of Object-Oriented Approaches, pages 403--426. Cambridge University Press, 2001.

No context found.

Achermann, F., Lumpe, M., Schneider, J., Nierstrasz, O.: Piccola -- a Small Composition Language. In Bowman, H., Derrick, J., eds.: Formal Methods for Distributed Processing--A Survey of Object-Oriented Approaches. Cambridge University Press, Cambridge, UK (2002) 403--426

No context found.

Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola -- a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing -- A Survey of Object-Oriented Approaches, pages 403--426. Cambridge University Press, 2001.

No context found.

Achermann, F., Lumpe M., Schneider J. and Nierstrasz, O. Piccola - A Small Composition Language (1999).

No context found.

Achermann F., Lumpe M., et al., Piccola - a Small Composition Language, in Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, pp. 403426, Cambridge University Press, 2001.

No context found.

Achermann, F., et al., Piccola - a Small Composition Language, in Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, H. Bowman and J. Derrick, Editors. 2001, Cambridge University Press. p. 403--426.

Online articles have much greater impact   More about CiteSeer.IST at NUS   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.