Models and paradigms of interaction
Identifieur interne : 004284 ( Istex/Checkpoint ); précédent : 004283; suivant : 004285Models and paradigms of interaction
Auteurs : Peter Wegner [États-Unis]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1994.
Abstract
Abstract: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.
Url:
DOI: 10.1007/BFb0017531
Affiliations:
Links toward previous steps (curation, corpus...)
Links to Exploration step
ISTEX:B51C26EECC9E88B1F7410389FE25DE645496EC0BLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Models and paradigms of interaction</title><author><name sortKey="Wegner, Peter" sort="Wegner, Peter" uniqKey="Wegner P" first="Peter" last="Wegner">Peter Wegner</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:B51C26EECC9E88B1F7410389FE25DE645496EC0B</idno><date when="1994" year="1994">1994</date><idno type="doi">10.1007/BFb0017531</idno><idno type="url">https://api.istex.fr/document/B51C26EECC9E88B1F7410389FE25DE645496EC0B/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000A06</idno><idno type="wicri:Area/Istex/Curation">000A06</idno><idno type="wicri:Area/Istex/Checkpoint">004284</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Models and paradigms of interaction</title><author><name sortKey="Wegner, Peter" sort="Wegner, Peter" uniqKey="Wegner P" first="Peter" last="Wegner">Peter Wegner</name><affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country><placeName><region type="state">Rhode Island</region></placeName><wicri:cityArea>Brown University, 02912, Providence</wicri:cityArea></affiliation><affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>1994</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">B51C26EECC9E88B1F7410389FE25DE645496EC0B</idno><idno type="DOI">10.1007/BFb0017531</idno><idno type="ChapterID">1</idno><idno type="ChapterID">Chap1</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Objects have inherently greater computation power than functions because they provide clients with continuing services over time. They determine a marriage contract for interactive services that cannot be expressed by a pattern of time-independent sales contracts. Objects express the programming-in-the-large paradigm of software engineering, while functions express the programming-in-the-small paradigm of the analysis of algorithms. Objects have a functional semantics specified by their interface, a serial semantics specified by traces of interface procedures, and a fully abstract semantics that specifies behavior over time for all possible interactions. They assign meaning to the time between the execution of interface procedures as well as to algorithmic effects. Church's thesis that computable functions capture the intuitive notion of effective computation for algorithms cannot be extended to objects. Components are defined by generalizing from accidental to necessary properties of persistent interaction units. Scalability for software problems, defined as “asymptotic openness”, is shown to be the analog of complexity for algorithmic problems. Paradigms of interaction are examined for functions and procedures, objects and processes, APIs and frameworks, databases, GUIs, robots, and virtual-reality systems. Early models of computing stressed computation over interaction for both theoretical reasons (greater tractability) and practical reasons (there were no software components with which to interact). However, scalable software systems, personal computers, and databases require a balance between algorithmic and interactive problem solving. Models of interaction express the behavior of actual software systems and therefore capture the intuitive notion of truly effective computation more completely than mere algorithms.</div></front></TEI><affiliations><list><country><li>États-Unis</li></country><region><li>Rhode Island</li></region></list><tree><country name="États-Unis"><region name="Rhode Island"><name sortKey="Wegner, Peter" sort="Wegner, Peter" uniqKey="Wegner P" first="Peter" last="Wegner">Peter Wegner</name></region><name sortKey="Wegner, Peter" sort="Wegner, Peter" uniqKey="Wegner P" first="Peter" last="Wegner">Peter Wegner</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/HapticV1/Data/Istex/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004284 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd -nk 004284 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= HapticV1
|flux= Istex
|étape= Checkpoint
|type= RBID
|clé= ISTEX:B51C26EECC9E88B1F7410389FE25DE645496EC0B
|texte= Models and paradigms of interaction
}}
| This area was generated with Dilib version V0.6.23. |  |