Abstract
In this paper we introduce CONESP, a concurrent system built according to the SMoLCS methodology to provide an abstract model of the coordination language Extended Shared Prolog (ESP). ESP is based on the integration of the blackboard paradigm with Logic Programming. CONESP is a hierarchy of entities, each consisting of a passive blackboard tree and a collection of active components including parallel agents and dynamic (sub) entities. An implementation relation between two hierarchies is defined, which is shown to be compositional.
ESP is being used in the Oikos environment for software process modeling. The results of this paper are the base for the formal verification of the correctness of the software process models built by stepwise-refinements in Oikos.
This work has been partially founded by Progetto Finalizzatto Sistemi Informatici e Calcolo Parallelo, Sotto Progetto 6 under contract 91.00920.PF69.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
V. Ambriola, P. Ciancarini, and C. Montangero. Software process enactment in Oikos. In R. N. Taylor, editor, Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.
E. Astesiano and G. Reggio. Direct semantics of concurrent languages in the SMoLCS approach. IBM Journal of Research and Development, 31(5), Sep 1987.
E. Astesiano and G. Reggio. SMoLCS-Driven concurrent calculi. In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer Science (249): Proc. of TAPSOFT'87, Springer-Verlag, 1987.
A. Brogi and P. Ciancarini. The concurrent language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1):99–123, Jan. 1991.
M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18, 1982.
A. Bucci, P. Ciancarini, and C. Montangero. A distributed logic language based on multiple tuple spaces. In Proc. of Logic Programming Conference, Tokyo, July 1991 (to appear in LNCS).
X. J. Chen. A Formalism Towards Software Process Modelling. PhD thesis, Scuola Normale Superiore, Pisa, Italy (in preparation).
W. Deiters and V. Gruhn. Managing software processes in the environment Melmac. In R. N. Taylor, editor, Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.
G. E. Kaiser, P. H. Feller, and S. S. Popovich. Intelligent assistence for software development and maintenance. In IEEE Software, 1988.
R. Milner. A calculus for communicating systems. In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer Science (92), Springer-Verlag, 1980.
N. H. Minsky and D. Rozenshtein. Configuration management by consensus: an application of Law-Governed systems. In R. N. Taylor, editor, Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.
G. Plotkin. A Structural Approach to Operational Semantics. Technical Report, Computer Science Deot. Aarhus Univ. Denmark, 1981. DAIMI-FN-19.
G. Reggio. Una Metodologia per la Specifica di Sistemi e Linguaggi Concurrenti. PhD thesis, Dept. of Maths, Univ. of Genova, Italy, 1986.
R. N. Taylor. Arcadia: a software development environment research project. In P. Henderson, editor, Proc. of ACM SIGSOFT '88, ACM Soft. Eng. Notes 13(5), Nov. 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, X.J., Montangero, C. (1992). Compositional refinements in multiple blackboard systems. In: Krieg-Brückner, B. (eds) ESOP '92. ESOP 1992. Lecture Notes in Computer Science, vol 582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55253-7_6
Download citation
DOI: https://doi.org/10.1007/3-540-55253-7_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55253-6
Online ISBN: 978-3-540-46803-5
eBook Packages: Springer Book Archive