Timed CCP compositionally embeds Argos and Lustre
We prove that both the synchronous data-flow language Lustre restricted to types with finite values and the synchronous state-oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint Programming (tccp). In fact, for each of the two languages we provide a tccp lang...
Gespeichert in:
| Veröffentlicht in: | Formal aspects of computing Jg. 16; H. 3; S. 292 - 312 |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
London
Association for Computing Machinery
01.08.2004
|
| ISSN: | 0934-5043, 1433-299X |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | We prove that both the synchronous data-flow language Lustre restricted to types with finite values and the synchronous state-oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint Programming (tccp). In fact, for each of the two languages we provide a tccp language encoding it compositionally with respect to the syntax of programs and linearly with respect to the size of programs. Besides giving results of expressiveness for tccp, our encodings permit us to obtain a language tailored for programming reactive systems where both control handling aspects and data processing aspects are relevant. |
|---|---|
| AbstractList | We prove that both the synchronous data-flow language Lustre restricted to types with finite values and the synchronous state-oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint Programming (tccp). In fact, for each of the two languages we provide a tccp language encoding it compositionally with respect to the syntax of programs and linearly with respect to the size of programs. Besides giving results of expressiveness for tccp, our encodings permit us to obtain a language tailored for programming reactive systems where both control handling aspects and data processing aspects are relevant. |
| Author | Tini, Simone |
| Author_xml | – sequence: 1 givenname: Simone surname: Tini fullname: Tini, Simone organization: Dipartimento di Scienze Chimiche, Fisiche e Matematiche, Università dell’Insubria, Via Valleggio 11, 22100, Como, Italy |
| BookMark | eNotkM1qwzAQBkVJoUnaB-jN9K52V5Jl6xhM_8DQHlLoTciSXBxsK5UcSN6-Dulh2MuwfMyKLMYwekLuER4RoHhKAChzCiDOID1ekSUKzilT6ntBlqC4oDkIfkNWKe1mO1eIS4LbbvAuq6rPzIZhH1I3dWE0fX_K_NB4l7JN_AkpM6PL6kOaor8l163pk7_7v2vy9fK8rd5o_fH6Xm1qapksJsqFaaSztkSHyhXGy6IRIKx3TWmE49YoacpCOlAovci9QdYKVhjGzLyT8TV5uPzdx_B78GnSu3CI87SkGfC8nOGzhBfJxpBS9K3ex24w8aQR9DmMvoTRc5QzqI_8D_A_Vus |
| CODEN | FACME5 |
| Cites_doi | 10.1016/0167-6423(92)90005-V 10.1006/jsco.1996.0064 10.1145/360248.360251 10.1016/0167-6423(87)90035-9 10.1109/JPROC.2002.805826 10.1006/inco.1994.1004 10.1016/S0096-0551(01)00016-9 |
| ContentType | Journal Article |
| Copyright | Copyright Springer-Verlag 2004 |
| Copyright_xml | – notice: Copyright Springer-Verlag 2004 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1007/s00165-004-0041-x |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1433-299X |
| EndPage | 312 |
| ExternalDocumentID | 682304361 10_1007_s00165_004_0041_x |
| GroupedDBID | -Y2 .86 .DC .VR 06D 0VY 1N0 1SB 203 28- 29H 2J2 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8TC 95- 95. 95~ 96X AABHQ AAHNG AAIAL AAJKR AAKMM AALFJ AAOBN AARHV AARTL AATVU AAWCG AAYIU AAYQN AAYTO AAYXX ABBBX ABBXA ABDPE ABDZT ABECU ABFSG ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABLJU ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTHY ABTMW ABUWG ABXPI ACBXY ACGFS ACHXU ACIHN ACKNC ACM ACMLO ACOKC ACOMO ACREN ACSNA ACSTC ADBSK ADHHG ADHIR ADHKG ADIMF ADKNI ADKPE ADRFC ADURQ ADYFF ADYOE ADZKW AEAQA AEBTG AEFIE AEGAL AEGNC AEJHL AEJOY AEJRE AEKMD AENEX AEOHA AEPYU AETLH AEXYK AEZWR AFBBN AFEXP AFFHD AFGCZ AFHIU AFKRA AFLOW AFQWF AFWTZ AFWXC AFYQB AFZKB AGAYW AGDGC AGGDS AGJBK AGQMX AGQPQ AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHWEU AHYZX AIIXL AILAN AITGF AIXLP AJBLW AJRNO AJZVZ AKRVB ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMYQR AOCGG ARAPS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BBWZM BDATZ BENPR BGLVJ BGNMA BPHCQ CAG CCPQU CITATION COF CS3 CSCUP DL5 DNIVK DU5 DWQXO EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FINBP FNLPD FRRFC FSGXE FWDCC GGRSB GJIRD GNUQQ GNWQR GQ7 GQ8 GUFHI GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- ITM IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX K6V K7- KDC KOV KOW LAS LHSKQ M4Y MA- N2Q N9A NB0 NDZJH NQJWS NU0 O9- O93 O9G O9I O9J OAM OK1 P19 P62 P9O PF0 PHGZM PHGZT PQGLB PQQKQ PROAC PT5 Q2X QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZK S16 S1Z S26 S27 S28 S3B SAP SCO SDH SDM SHX SISQX SNPRN SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W48 WK8 YLTOR Z45 ZMTXR ZY4 ~EX 3V. 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D M0N PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c267t-34ab6dcc81d19d7ae67b404cedb8a4d3ca96a876d0916e45ea12f427a22a50423 |
| IEDL.DBID | P5Z |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000227177200007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0934-5043 |
| IngestDate | Mon Nov 24 00:34:21 EST 2025 Sat Nov 29 01:39:30 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c267t-34ab6dcc81d19d7ae67b404cedb8a4d3ca96a876d0916e45ea12f427a22a50423 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 content type line 14 |
| OpenAccessLink | https://dl.acm.org/doi/pdf/10.1007/s00165-004-0041-x |
| PQID | 203580353 |
| PQPubID | 43690 |
| PageCount | 21 |
| ParticipantIDs | proquest_journals_203580353 crossref_primary_10_1007_s00165_004_0041_x |
| PublicationCentury | 2000 |
| PublicationDate | 2004-08-00 20040801 |
| PublicationDateYYYYMMDD | 2004-08-01 |
| PublicationDate_xml | – month: 08 year: 2004 text: 2004-08-00 |
| PublicationDecade | 2000 |
| PublicationPlace | London |
| PublicationPlace_xml | – name: London |
| PublicationTitle | Formal aspects of computing |
| PublicationYear | 2004 |
| Publisher | Association for Computing Machinery |
| Publisher_xml | – name: Association for Computing Machinery |
| References | Har D (p_16) 1987; 8 Syn A-SYNCHRON (p_36) 1995 Tin S (p_37) 1999 Rey JC (p_29) 1981 Sha EY (p_34) 1992 Benveniste A (p_3) 2003; 91 Saraswat VA (p_32) 1996; 11 Lan PJ (p_20) 1966; 3 Gupta V (p_13) 1995 Sar VA (p_30) 1993 Hal N (p_15) 1993 Ma F (p_24) 2001; 27 And C (p_1) 1996 Ber G (p_4) 1993 Ha D (p_17) 1985 Ma F (p_23) 1996 Fr MPJ (p_11) 1995 Caspi P (p_6) 1987 Pa MS (p_26) 1970 Plo G (p_27) 1981 Fel M (p_9) 1990 Gu V (p_14) 1995 Gupta V (p_12) 1996 Be A (p_2) 1991; 79 Mar F (p_22) 1992 Rey JC (p_28) 1970; 5 Kel R (p_19) 1976; 19 Pa C (p_25) 2001 Saraswat VA (p_31) 1994 Jourdan M (p_18) 1994 Ch AK (p_7) 1976; 1 Sha EY (p_33) 1989; 21 De FS (p_8) 1994; 108 Fr MPJ (p_10) 1995 Be G (p_5) 1992; 19 |
| References_xml | – volume-title: Proceedings of internatinal workshop on expressiveness in concurrency, Electronic notes in theoretical computer science, Vol 27 year: 1999 ident: p_37 – volume-title: Synchron project year: 1995 ident: p_36 – start-page: 134 volume-title: Proceedings of the european symposium on programming, lecture notes in computer science, Vol 432 year: 1990 ident: p_9 – volume: 5 start-page: 308 year: 1970 ident: p_28 article-title: GEDANKEN, A simple typeless language based on the principle of completeness and the reference publication-title: Concept Commun ACM – start-page: 486 volume-title: Proceedings of internatinal conference on concurrency theory, Lecture notes in computer science, Vol 630 year: 1992 ident: p_34 – start-page: 19 volume-title: Proceedings of IEEE-SMC conference on computational engineering in systems applications year: 1996 ident: p_1 – start-page: 66 volume-title: Proceedings of the international conference on concurrency theory, Lecture notes in computer science, Vol 1119 year: 1996 ident: p_12 – start-page: 345 volume-title: North Holland year: 1981 ident: p_29 – start-page: 477 volume-title: NATO, ASI-13 year: 1985 ident: p_17 – start-page: 72 volume-title: Proceedings of international symposium on formal techniques in real-time and fault tolerant systems, Lecture notes in computer science, Vol 761 year: 1993 ident: p_4 – start-page: 550 volume-title: Proceedings of the international conference on concurrency theory, Lecture notes in computer science, Vol 630 year: 1992 ident: p_22 – volume: 19 start-page: 87 year: 1992 ident: p_5 article-title: The Esterel synchronous programming language: design, semantics, implementation publication-title: Sci Comput Program doi: 10.1016/0167-6423(92)90005-V – volume-title: Proceedings of workshop on engineering problems for qualitative reasoning year: 1995 ident: p_13 – start-page: 63 volume-title: Proceedings of international conference on practical application of constraint methodologies year: 1995 ident: p_11 – volume-title: Concurrent constraint programming year: 1993 ident: p_30 – volume-title: NATO, ASI-131 year: 1994 ident: p_31 – volume-title: Synchronous programming of reactive systems year: 1993 ident: p_15 – volume: 1 start-page: 219 year: 1976 ident: p_7 article-title: On the power of programming features publication-title: Comput Lang – start-page: 235 volume-title: Proceedings of the international symbosium conference on formal techniques in real-time and fault tolerant systems, Lecture notes in computer science, Vol 1135 year: 1996 ident: p_23 – volume-title: A structural approach to operational semantics. Technical report DAIMI FN-19 year: 1981 ident: p_27 – volume: 11 start-page: 475 year: 1996 ident: p_32 article-title: Timed default concurrent constraint programming publication-title: J Symbolic Comput doi: 10.1006/jsco.1996.0064 – volume: 19 start-page: 371 year: 1976 ident: p_19 article-title: Formal verification of parallel programs publication-title: Commun ACM doi: 10.1145/360248.360251 – volume: 8 start-page: 231 year: 1987 ident: p_16 article-title: Statecharts: a visual formalism for complex systems publication-title: Sci Comput Program doi: 10.1016/0167-6423(87)90035-9 – start-page: 629 volume-title: Proceedings of the international conference on principles and practice of constraint programming, Lecture notes in computer science, Vol 976 year: 1995 ident: p_10 – volume-title: Proceedings of the workshop on qualitative reasoning year: 1995 ident: p_14 – start-page: 178 volume-title: Proceedings of the ACM symposium on principles of programming languages, ACM Press year: 1987 ident: p_6 – start-page: 119 volume-title: Proceedings of the ACM conference on concurrent systems and parallel computation, ACM press year: 1970 ident: p_26 – volume: 79 start-page: 1268 year: 1991 ident: p_2 article-title: Another look at real-time systems. In publication-title: Proceedings IEEE – volume: 3 start-page: 157 year: 1966 ident: p_20 article-title: The next 700 programming languages publication-title: Commun ACM – volume: 91 start-page: 64 year: 2003 ident: p_3 article-title: The synchronous languages 12 years later. In publication-title: Proceedings IEEE doi: 10.1109/JPROC.2002.805826 – volume: 21 start-page: 412 year: 1989 ident: p_33 article-title: The family of concurrent logic programming languages publication-title: ACM Comput Surv – start-page: 302 volume-title: Proceedings of the international conference on principles and practice of constraint programming, Lecture notes in computer science, Vol 2239 year: 2001 ident: p_25 – volume: 108 start-page: 128 year: 1994 ident: p_8 article-title: Embedding as a tool for language comparison publication-title: Inf Comput doi: 10.1006/inco.1994.1004 – volume-title: Proceedings of IEEE international conference on computer languages, IEEE Press, Los Alamitos year: 1994 ident: p_18 – volume: 27 start-page: 61 year: 2001 ident: p_24 article-title: Argos: an automaton-based synchronous language publication-title: Comput Lang doi: 10.1016/S0096-0551(01)00016-9 |
| SSID | ssj0015911 |
| Score | 1.6115417 |
| Snippet | We prove that both the synchronous data-flow language Lustre restricted to types with finite values and the synchronous state-oriented language Argos are... |
| SourceID | proquest crossref |
| SourceType | Aggregation Database Index Database |
| StartPage | 292 |
| Title | Timed CCP compositionally embeds Argos and Lustre |
| URI | https://www.proquest.com/docview/203580353 |
| Volume | 16 |
| WOSCitedRecordID | wos000227177200007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1433-299X dateEnd: 20190131 omitProxy: false ssIdentifier: ssj0015911 issn: 0934-5043 databaseCode: P5Z dateStart: 20020501 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-299X dateEnd: 20190131 omitProxy: false ssIdentifier: ssj0015911 issn: 0934-5043 databaseCode: K7- dateStart: 20020501 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1433-299X dateEnd: 20190131 omitProxy: false ssIdentifier: ssj0015911 issn: 0934-5043 databaseCode: BENPR dateStart: 20020501 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1433-299X dateEnd: 20211231 omitProxy: false ssIdentifier: ssj0015911 issn: 0934-5043 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3LSsNAFL3Y1oUb6xNrtczClTDQJPNIVqKlRbCUULUUN2FeEaGmtalS_96ZNCm4ceMi2YSEcJn7mnvmHICrILU5KuAcp6HPMWFaYqGpxNImb2ELBEmKU--TIR-Nwuk0iktsTl7CKquYWARqPVduj9w26W5gF9DgZvGBnWiUG66WCho1aDiSBKfcENOX7RCBRoX8ru3ZCXZEXdVQs1twiHqM4gKF0SUeXv9OS7-jcpFqBs1__uQB7Jc1JrrdLIpD2DHZETQr_QZUuvMxeO78h0a9XowcsryEb4nZ7BuZd2l0bj_xOs-RyDQauj0RcwLPg_5T7x6XEgpY-YyvcECEZFopW5V6kebCMC5JlyijZSiIDpSImLABUduygRlCjfD8lPhc-L6gDjJzCvVsnpkzQJEnbOvonF6EhCgmuS-4J4nkhqS-oi24riyYLDZMGcmWE7kwd2JfdpeXrFvQrgyYlE6TJ1vrnf_5tA17G_iMQ-FdQH21_DSXsKu-Vm_5sgONu_4oHneg9sBxp1gQ9j5-nPwAtKy6SA |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT8JAEJ4gmuhFfEbExx70YrIJ3W677cEYgxoISDig4Vb3VWOCgBQVfpT_0d3SknDxxsFDT003TWf6fbM738wAXLix4SiXMRwHhGHqK4G58gQWhry5CRAETaven1us3Q56vbBTgJ-8FsbKKnNMTIFaDaU9IzebdJuwcz33ZvSB7dAom1zNJ2jMvaKpZ99mx5ZcN-6MeS8Jebjv1uo4GyqAJfHZBLuUC19JaeI0J1SMa58JWqVSKxFwqlzJQ58biFCGSH1NPc0dElPCOCHcsyISs-4arFM3YPa3ajK8SFp4YTrutxq6FNvGYHkStZr2LHV8D6eqjyp18HSZBpdZIKW2h9I_-yg7sJ3F0Oh27vS7UNCDPSjl8ylQBlf74Nj6FoVqtQ6yyvlMnsb7_RnS70KrxCzxOkwQHyjUsmc--gCeVvLih1AcDAf6CFDocLM1tqDGA0qlLxjhzBFUME1jIr0yXOUWi0bzTiDRoudzat7IPGwvJ5qWoZIbLMpAIYkW1jr-8-45bNa7j62o1Wg3K7A1lwpZxeEJFCfjT30KG_Jr8paMz1L3Q_CyatP-AgbBFA0 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Timed+CCP+compositionally+embeds+Argos+and+Lustre&rft.jtitle=Formal+aspects+of+computing&rft.au=Tini%2C+Simone&rft.date=2004-08-01&rft.issn=0934-5043&rft.eissn=1433-299X&rft.volume=16&rft.issue=3&rft.spage=292&rft.epage=312&rft_id=info:doi/10.1007%2Fs00165-004-0041-x&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s00165_004_0041_x |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0934-5043&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0934-5043&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0934-5043&client=summon |