Article

A delta-driven execution model for semantic computing

Authors:

György KochAuthors Info & Claims

OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 63 - 71

https://doi.org/10.1145/1094855.1094871

Published: 16 October 2005 Publication History

Abstract

We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platform is intended as a delivery vehicle for semantically integrated software, and thus lends itself to the semantic web, domain-driven development, and next-generation software development environments. Execution is transparent, versioned, and persistent. This technology - still at an early stage - is called domain/object.

Supplementary Material

Low Resolution (p63-perera_56k.mp4)

Download
31.77 MB

High Resolution (p63-perera_768k.mp4)

Download
177.02 MB

References

[1]

Acar, U., Blelloch, G. and Harper, R. (2002). Adaptive Functional Programming. POPL '02.]]

Digital Library

[2]

Acar, U., Blelloch, G. and Harper, R. (2004). Adaptive memoisation. Carnegie Mellon Technical Report.]]

[3]

Atwood, J., Burnett, M., Walpole, R., Wilcox E. and Yang, S. Steering Programs via Time Travel. (1996). In IEEE Symposium of VIsual Languages, Boulder, Colarado USA.]]

Digital Library

[4]

Bothner, P. (2003). Kawa, the Java-based Scheme system. http://www.gnu.org/software/kawa/.]]

[5]

Burnett, M., Atwood, J., Djang, R., Gottfried, H., Reichwein, J. and Yang, S. (2001). Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm. In Journal of Functional Programming 11(2), pp. 155--206.]]

Digital Library

[6]

Cousot, P. Types as Abstract Interpretations. (1997). In Conference Record of the 24th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Programming Languages, pp. 316--33. ACM Press, New York.]]

Digital Library

[7]

Czarnecki, K., and Eisenecker, U. (2000). Generative Programming - Methods, Tools, and Applications. Addison-Wesley.]]

Digital Library

[8]

Driscoll, J. R., Sarnak, N., Sleator, D. D. and Tarjan, R. E. (1989). Making Data Structures Persistent. In Journal of Computer and System Sciences, vol. 38, no. 1. Academic Press.]]

Digital Library

[9]

Edwards, J. (2005). Structure-Oriented Programming. http://alarmingdevelopment.org/index.php?p=9.]]

[10]

Edwards, J. (2005). Subtext: Uncovering the Simplicity of Programming. OOPSLA 2005 (forthcoming).]]

Digital Library

[11]

Gamma, E., Helm, R., Johnson, R. and Vlissides, J. (1995). Design Patterns. Addison-Wesley.]]

[12]

Giraud-Carrier, C. (1994). A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages. In ACM Sigplan Notices, vol. 29, no. 9.]]

Digital Library

[13]

Gosling, J., Joy, W., Steele. G. and Bracha, G. (2005). The Java Language Specification (3rd Edition). Addison-Wesley Professional.]]

Digital Library

[14]

Graham, P. (1993). On Lisp. Prentice Hall, New Jersey.]]

[15]

Gurd, J. R., Kirkham, C. C. and Watson, I. (1985). The Manchester Prototype Dataflow Computer. In Communications of the ACM, vol. 28, no. 1. Association for Computing Machinery.]]

Digital Library

[16]

Harel D. and Pnueli A. (1985). On the Development of Reactive Systems. NATO ASI Series F, vol. 13. Springer-Verlag.]]

Digital Library

[17]

Harmonia Research Project. http://harmonia.cs.berkeley. edu/harmonia/index.html.]]

[18]

Hughes, J. Lazy memo-functions. (1985). In Jouannaud, J. (ed), Functional Programming Languages and Computer Architecture, no. 201 in Lecture Notes in Computer Science, pp. 129--146. Springer-Verlag.]]

Digital Library

[19]

Ingalls, D., Kaehler, T., Maloney, J., Wallace, S. and Kay, Alan. (1997). Back to the future: the story of Squeak, a practical Smalltalk written in itself. In Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. Association for Computing Machinery, New York.]]

Digital Library

[20]

Karpinski, R. (2002). IBM's New Tools Complete Web Services Plunge. Infoweek.]]

[21]

Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J. and Irwin, J. (1997). Aspect-oriented programming. In Ak?it, M. and Matsuoka, S. (eds), ECOOP '97 --- Object-Oriented Programming 11th European Conference, vol. 1241, pp. 220--242. Springer-Verlag.]]

[22]

Knudsen, J. L., Madsen, O. L., Magnusson B. and Lofgren M. (1993). Object-Oriented Software Development Environments: Mjolner Approach. Prentice-Hall.]]

Digital Library

[23]

Koelma, D., van Balen, R. and Smeulders, A. (1992). SCIL-VP: a multi-purpose visual programming environment. In Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, pp. 1188--1109.]]

Digital Library

[24]

Kripke, S. Naming and Necessity. (1980). Harvard University Press.]]

[25]

Liu, Y. A. (1999). Efficient Computation via Incremental Computation. Pacific-Asia Conference on Knowledge Discovery and Data Mining.]]

[26]

Madsen, O. L., Moeller-Pedersen, B. and Nygaard K. (1993). Object-Oriented Programming in the BETA Language. Addison-Wesley.]]

[27]

Michie, D. (1968). "Memo" functions and Machine Learning. Nature, vol. 218.]]

[28]

Object Management Group. (2001). Unified Modelling Language, v1.5. http://www.omg. org/cgi-bin/doc?formal/03-03-01. Object Management Group, Inc., Needham, Massachussetts.]]

[29]

Rapaport, W. J. (1999). Implementation is Semantic Interpretation. In The Monist, no. 82.]]

[30]

Simonyi, C. (1995). The Death of Computer Languages, the Birth of Intentional Programming, The Future of Software. University of Newcastle-upon-Tyne, England, Department of Computing Science.]]

[31]

Stratego: Strategies for Program Transformation. http://www.program-transformation.org/Stratego/WebHome.]]

[32]

Tanimoto, S. L. (1990). VIVA: A Visual Language for Image Processing. In Journal of Visual Languages and Computing, vol. 1, issue 2.]]

Digital Library

[33]

Ungar, D. and Smith, R. B. (1987). Self: The Power of Simplicity. In SIGPLAN Notices, Vol. 22, No. 12. Association for Computing Machinery, New York.]]

Digital Library

[34]

Wadge, W. W. and Ashcroft, A. (1985). Lucid, the Dataflow Programming Language. Academic Press.]]

Digital Library

[35]

Whiting, P. and Pascoe, R. (1994). A History of Data-Flow Languages. In IEEE Annals of the History of Computing, volume: 16, Issue 4, pp. 38--59.]]

Digital Library

[36]

Zhanyong W. and Hudak P. (2000). Functional reactive programming from first principles. In Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pp. 242--252.]]

Digital Library

Cited By

Perera R(2019)Programming Languages For Interactive ComputingElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.04.085203:3(35-52)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1016/j.entcs.2008.04.085
Perera RFreeman RJohnson RGabriel R(2005)Beyond the language workbenchCompanion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/1094855.1094881(96-97)Online publication date: 16-Oct-2005
https://dl.acm.org/doi/10.1145/1094855.1094881

Index Terms

Recommendations

A delta-driven execution model for semantic computing
OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

We demonstrate the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platform is intended as a delivery vehicle for semantically integrated software, and thus lends ...
Investigating Semantic Web Service Execution Environments: A Comparison between WSMX and OWL-S Tools
ICIW '07: Proceedings of the Second International Conference on Internet and Web Applications and Services

The application of semantics in Web Services as Semantic Web Services for dynamic discovery, composition, invocation and monitoring has been very helpful in enabling Enterprise Application Integration and E-Commerce. There are many initiatives that aim ...
Efficient online validation with delta execution
ASPLOS 2009

Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence administrators loathe change, and are willing to delay even critical security ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 2005

406 pages

ISBN:1595931937

DOI:10.1145/1094855

Conference Chair:
Ralph Johnson
University of Illinois, Urbana-Champaign
,
Program Chair:
Richard P. Gabriel
Sun Microsystems Laboratories

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 October 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA05

Sponsor:

OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 16 - 20, 2005

CA, San Diego, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
316
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Perera R(2019)Programming Languages For Interactive ComputingElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.04.085203:3(35-52)Online publication date: 5-Jan-2019
https://dl.acm.org/doi/10.1016/j.entcs.2008.04.085
Perera RFreeman RJohnson RGabriel R(2005)Beyond the language workbenchCompanion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/1094855.1094881(96-97)Online publication date: 16-Oct-2005
https://dl.acm.org/doi/10.1145/1094855.1094881

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents