DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for di...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 110 |
|---|---|
| container_issue | |
| container_start_page | 96 |
| container_title | |
| container_volume | |
| creator | Dell’Amico, Matteo Cerioli, Maura |
| description | We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to solve a generalization of the frame problem while using observers. The constructs we propose make the resulting specifications more readable, concise and maintainable. The semantics of our extension is given by reduction to standard Casl-Ltl, which is, in turn, reducible to standard Casl whenever temporal logic is not used. A small prototype of the pre-processor from DO-Casl to Casl-Ltl has been implemented as well. |
| doi_str_mv | 10.1007/11784180_10 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_19911357</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19911357</sourcerecordid><originalsourceid>FETCH-LOGICAL-p219t-dae158eedefc3a9919774ef023ada22fb87aea82c6a111f1686a8f62946980af3</originalsourceid><addsrcrecordid>eNpVkDtPwzAUhc1Loiqd-ANZGBgMvr6JH2ylKQ-pUgdgjm4TGwXaJLIrRP89rsoAdznS_T6d4TB2CeIGhNC3ANrkYEQF4ohNrDZY5AILhQqP2QgUAEfM7ck_hvKUjQQKya3O8ZxNYvwQ6TD5uRixslzyGcX1XTbtsuUquvDlAr-n6Jps_8_m31vXxbbvMt-HrNx1tGnr7GVwdevbmraJxAt25mkd3eQ3x-ztYf46e-KL5ePzbLrggwS75Q05KIxzjfM1krVgtc6dFxKpISn9ymhyZGStCAA8KKPIeCVtrqwR5HHMrg69A8Wa1j5QV7exGkK7obCrIFUCFjp51wcvJtS9u1Ct-v4zpuGq_ZLVnyXxB0u8XrY</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications</title><source>Springer Books</source><creator>Dell’Amico, Matteo ; Cerioli, Maura</creator><contributor>Johnson, Michael ; Vene, Varmo</contributor><creatorcontrib>Dell’Amico, Matteo ; Cerioli, Maura ; Johnson, Michael ; Vene, Varmo</creatorcontrib><description>We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to solve a generalization of the frame problem while using observers. The constructs we propose make the resulting specifications more readable, concise and maintainable. The semantics of our extension is given by reduction to standard Casl-Ltl, which is, in turn, reducible to standard Casl whenever temporal logic is not used. A small prototype of the pre-processor from DO-Casl to Casl-Ltl has been implemented as well.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540356332</identifier><identifier>ISBN: 3540356339</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540356363</identifier><identifier>EISBN: 3540356363</identifier><identifier>DOI: 10.1007/11784180_10</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Concrete Syntax ; Exact sciences and technology ; Frame Problem ; Label Transition System ; Observational Approach ; Software ; Software engineering ; Temporal Logic</subject><ispartof>Algebraic Methodology and Software Technology, 2006, p.96-110</ispartof><rights>Springer-Verlag Berlin Heidelberg 2006</rights><rights>2008 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11784180_10$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11784180_10$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4050,4051,27925,38255,41442,42511</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19911357$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Johnson, Michael</contributor><contributor>Vene, Varmo</contributor><creatorcontrib>Dell’Amico, Matteo</creatorcontrib><creatorcontrib>Cerioli, Maura</creatorcontrib><title>DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications</title><title>Algebraic Methodology and Software Technology</title><description>We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to solve a generalization of the frame problem while using observers. The constructs we propose make the resulting specifications more readable, concise and maintainable. The semantics of our extension is given by reduction to standard Casl-Ltl, which is, in turn, reducible to standard Casl whenever temporal logic is not used. A small prototype of the pre-processor from DO-Casl to Casl-Ltl has been implemented as well.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Concrete Syntax</subject><subject>Exact sciences and technology</subject><subject>Frame Problem</subject><subject>Label Transition System</subject><subject>Observational Approach</subject><subject>Software</subject><subject>Software engineering</subject><subject>Temporal Logic</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540356332</isbn><isbn>3540356339</isbn><isbn>9783540356363</isbn><isbn>3540356363</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpVkDtPwzAUhc1Loiqd-ANZGBgMvr6JH2ylKQ-pUgdgjm4TGwXaJLIrRP89rsoAdznS_T6d4TB2CeIGhNC3ANrkYEQF4ohNrDZY5AILhQqP2QgUAEfM7ck_hvKUjQQKya3O8ZxNYvwQ6TD5uRixslzyGcX1XTbtsuUquvDlAr-n6Jps_8_m31vXxbbvMt-HrNx1tGnr7GVwdevbmraJxAt25mkd3eQ3x-ztYf46e-KL5ePzbLrggwS75Q05KIxzjfM1krVgtc6dFxKpISn9ymhyZGStCAA8KKPIeCVtrqwR5HHMrg69A8Wa1j5QV7exGkK7obCrIFUCFjp51wcvJtS9u1Ct-v4zpuGq_ZLVnyXxB0u8XrY</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Dell’Amico, Matteo</creator><creator>Cerioli, Maura</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications</title><author>Dell’Amico, Matteo ; Cerioli, Maura</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p219t-dae158eedefc3a9919774ef023ada22fb87aea82c6a111f1686a8f62946980af3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Concrete Syntax</topic><topic>Exact sciences and technology</topic><topic>Frame Problem</topic><topic>Label Transition System</topic><topic>Observational Approach</topic><topic>Software</topic><topic>Software engineering</topic><topic>Temporal Logic</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dell’Amico, Matteo</creatorcontrib><creatorcontrib>Cerioli, Maura</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Dell’Amico, Matteo</au><au>Cerioli, Maura</au><au>Johnson, Michael</au><au>Vene, Varmo</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications</atitle><btitle>Algebraic Methodology and Software Technology</btitle><date>2006</date><risdate>2006</risdate><spage>96</spage><epage>110</epage><pages>96-110</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540356332</isbn><isbn>3540356339</isbn><eisbn>9783540356363</eisbn><eisbn>3540356363</eisbn><abstract>We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to solve a generalization of the frame problem while using observers. The constructs we propose make the resulting specifications more readable, concise and maintainable. The semantics of our extension is given by reduction to standard Casl-Ltl, which is, in turn, reducible to standard Casl whenever temporal logic is not used. A small prototype of the pre-processor from DO-Casl to Casl-Ltl has been implemented as well.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11784180_10</doi><tpages>15</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Algebraic Methodology and Software Technology, 2006, p.96-110 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_19911357 |
| source | Springer Books |
| subjects | Applied sciences Computer science control theory systems Concrete Syntax Exact sciences and technology Frame Problem Label Transition System Observational Approach Software Software engineering Temporal Logic |
| title | DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T01%3A07%3A39IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=DO-Casl:%20An%20Observer-Based%20Casl%20Extension%20for%20Dynamic%20Specifications&rft.btitle=Algebraic%20Methodology%20and%20Software%20Technology&rft.au=Dell%E2%80%99Amico,%20Matteo&rft.date=2006&rft.spage=96&rft.epage=110&rft.pages=96-110&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540356332&rft.isbn_list=3540356339&rft_id=info:doi/10.1007/11784180_10&rft_dat=%3Cpascalfrancis_sprin%3E19911357%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540356363&rft.eisbn_list=3540356363&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |