An approach to modeling and developing teleo-reactive systems considering timing constraints
TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to impl...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Sánchez, Pedro [verfasserIn] |
|---|
| Format: |
Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
2016 |
|---|
| Rechteinformationen: |
Nutzungsrecht: © Elsevier Inc. |
|---|
| Schlagwörter: |
|---|
| Übergeordnetes Werk: |
Enthalten in: The journal of systems and software - New York, NY : Elsevier : North-Holland, 1979, 117(2016), Seite 317-333 |
|---|---|
| Übergeordnetes Werk: |
volume:117 ; year:2016 ; pages:317-333 |
| Links: |
|---|
| DOI / URN: |
10.1016/j.jss.2016.03.064 |
|---|
| Katalog-ID: |
OLC1979114781 |
|---|
| LEADER | 01000caa a2200265 4500 | ||
|---|---|---|---|
| 001 | OLC1979114781 | ||
| 003 | DE-627 | ||
| 005 | 20220220184627.0 | ||
| 007 | tu | ||
| 008 | 160720s2016 xx ||||| 00| ||eng c | ||
| 024 | 7 | |a 10.1016/j.jss.2016.03.064 |2 doi | |
| 028 | 5 | 2 | |a PQ20160815 |
| 035 | |a (DE-627)OLC1979114781 | ||
| 035 | |a (DE-599)GBVOLC1979114781 | ||
| 035 | |a (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 | ||
| 035 | |a (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 004 |q DNB |
| 084 | |a 54.52 |2 bkl | ||
| 100 | 1 | |a Sánchez, Pedro |e verfasserin |4 aut | |
| 245 | 1 | 3 | |a An approach to modeling and developing teleo-reactive systems considering timing constraints |
| 264 | 1 | |c 2016 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 520 | |a TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. | ||
| 540 | |a Nutzungsrecht: © Elsevier Inc. | ||
| 650 | 4 | |a Studies | |
| 650 | 4 | |a Systems development | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Programming languages | |
| 650 | 4 | |a Real time | |
| 650 | 4 | |a Models | |
| 700 | 1 | |a Álvarez, Bárbara |4 oth | |
| 700 | 1 | |a Morales, José Miguel |4 oth | |
| 700 | 1 | |a Alonso, Diego |4 oth | |
| 700 | 1 | |a Iborra, Andrés |4 oth | |
| 773 | 0 | 8 | |i Enthalten in |t The journal of systems and software |d New York, NY : Elsevier : North-Holland, 1979 |g 117(2016), Seite 317-333 |w (DE-627)130490520 |w (DE-600)756161-1 |w (DE-576)016075153 |x 0164-1212 |7 nnns |
| 773 | 1 | 8 | |g volume:117 |g year:2016 |g pages:317-333 |
| 856 | 4 | 1 | |u http://dx.doi.org/10.1016/j.jss.2016.03.064 |3 Volltext |
| 856 | 4 | 2 | |u http://www.sciencedirect.com/science/article/pii/S0164121216300139 |
| 856 | 4 | 2 | |u http://search.proquest.com/docview/1792593996 |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a SYSFLAG_A | ||
| 912 | |a GBV_OLC | ||
| 912 | |a SSG-OLC-MAT | ||
| 912 | |a GBV_ILN_21 | ||
| 912 | |a GBV_ILN_70 | ||
| 912 | |a GBV_ILN_4318 | ||
| 936 | b | k | |a 54.52 |q AVZ |
| 951 | |a AR | ||
| 952 | |d 117 |j 2016 |h 317-333 | ||
| author_variant |
p s ps |
|---|---|
| matchkey_str |
article:01641212:2016----::nprahooeigndvlpntloecieytmcnie |
| hierarchy_sort_str |
2016 |
| bklnumber |
54.52 |
| publishDate |
2016 |
| allfields |
10.1016/j.jss.2016.03.064 doi PQ20160815 (DE-627)OLC1979114781 (DE-599)GBVOLC1979114781 (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem DE-627 ger DE-627 rakwb eng 004 DNB 54.52 bkl Sánchez, Pedro verfasserin aut An approach to modeling and developing teleo-reactive systems considering timing constraints 2016 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. Nutzungsrecht: © Elsevier Inc. Studies Systems development Computer programming Programming languages Real time Models Álvarez, Bárbara oth Morales, José Miguel oth Alonso, Diego oth Iborra, Andrés oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 117(2016), Seite 317-333 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:117 year:2016 pages:317-333 http://dx.doi.org/10.1016/j.jss.2016.03.064 Volltext http://www.sciencedirect.com/science/article/pii/S0164121216300139 http://search.proquest.com/docview/1792593996 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_70 GBV_ILN_4318 54.52 AVZ AR 117 2016 317-333 |
| spelling |
10.1016/j.jss.2016.03.064 doi PQ20160815 (DE-627)OLC1979114781 (DE-599)GBVOLC1979114781 (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem DE-627 ger DE-627 rakwb eng 004 DNB 54.52 bkl Sánchez, Pedro verfasserin aut An approach to modeling and developing teleo-reactive systems considering timing constraints 2016 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. Nutzungsrecht: © Elsevier Inc. Studies Systems development Computer programming Programming languages Real time Models Álvarez, Bárbara oth Morales, José Miguel oth Alonso, Diego oth Iborra, Andrés oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 117(2016), Seite 317-333 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:117 year:2016 pages:317-333 http://dx.doi.org/10.1016/j.jss.2016.03.064 Volltext http://www.sciencedirect.com/science/article/pii/S0164121216300139 http://search.proquest.com/docview/1792593996 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_70 GBV_ILN_4318 54.52 AVZ AR 117 2016 317-333 |
| allfields_unstemmed |
10.1016/j.jss.2016.03.064 doi PQ20160815 (DE-627)OLC1979114781 (DE-599)GBVOLC1979114781 (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem DE-627 ger DE-627 rakwb eng 004 DNB 54.52 bkl Sánchez, Pedro verfasserin aut An approach to modeling and developing teleo-reactive systems considering timing constraints 2016 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. Nutzungsrecht: © Elsevier Inc. Studies Systems development Computer programming Programming languages Real time Models Álvarez, Bárbara oth Morales, José Miguel oth Alonso, Diego oth Iborra, Andrés oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 117(2016), Seite 317-333 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:117 year:2016 pages:317-333 http://dx.doi.org/10.1016/j.jss.2016.03.064 Volltext http://www.sciencedirect.com/science/article/pii/S0164121216300139 http://search.proquest.com/docview/1792593996 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_70 GBV_ILN_4318 54.52 AVZ AR 117 2016 317-333 |
| allfieldsGer |
10.1016/j.jss.2016.03.064 doi PQ20160815 (DE-627)OLC1979114781 (DE-599)GBVOLC1979114781 (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem DE-627 ger DE-627 rakwb eng 004 DNB 54.52 bkl Sánchez, Pedro verfasserin aut An approach to modeling and developing teleo-reactive systems considering timing constraints 2016 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. Nutzungsrecht: © Elsevier Inc. Studies Systems development Computer programming Programming languages Real time Models Álvarez, Bárbara oth Morales, José Miguel oth Alonso, Diego oth Iborra, Andrés oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 117(2016), Seite 317-333 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:117 year:2016 pages:317-333 http://dx.doi.org/10.1016/j.jss.2016.03.064 Volltext http://www.sciencedirect.com/science/article/pii/S0164121216300139 http://search.proquest.com/docview/1792593996 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_70 GBV_ILN_4318 54.52 AVZ AR 117 2016 317-333 |
| allfieldsSound |
10.1016/j.jss.2016.03.064 doi PQ20160815 (DE-627)OLC1979114781 (DE-599)GBVOLC1979114781 (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem DE-627 ger DE-627 rakwb eng 004 DNB 54.52 bkl Sánchez, Pedro verfasserin aut An approach to modeling and developing teleo-reactive systems considering timing constraints 2016 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. Nutzungsrecht: © Elsevier Inc. Studies Systems development Computer programming Programming languages Real time Models Álvarez, Bárbara oth Morales, José Miguel oth Alonso, Diego oth Iborra, Andrés oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 117(2016), Seite 317-333 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:117 year:2016 pages:317-333 http://dx.doi.org/10.1016/j.jss.2016.03.064 Volltext http://www.sciencedirect.com/science/article/pii/S0164121216300139 http://search.proquest.com/docview/1792593996 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_70 GBV_ILN_4318 54.52 AVZ AR 117 2016 317-333 |
| language |
English |
| source |
Enthalten in The journal of systems and software 117(2016), Seite 317-333 volume:117 year:2016 pages:317-333 |
| sourceStr |
Enthalten in The journal of systems and software 117(2016), Seite 317-333 volume:117 year:2016 pages:317-333 |
| format_phy_str_mv |
Article |
| institution |
findex.gbv.de |
| topic_facet |
Studies Systems development Computer programming Programming languages Real time Models |
| dewey-raw |
004 |
| isfreeaccess_bool |
false |
| container_title |
The journal of systems and software |
| authorswithroles_txt_mv |
Sánchez, Pedro @@aut@@ Álvarez, Bárbara @@oth@@ Morales, José Miguel @@oth@@ Alonso, Diego @@oth@@ Iborra, Andrés @@oth@@ |
| publishDateDaySort_date |
2016-01-01T00:00:00Z |
| hierarchy_top_id |
130490520 |
| dewey-sort |
14 |
| id |
OLC1979114781 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a2200265 4500</leader><controlfield tag="001">OLC1979114781</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220220184627.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">160720s2016 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.jss.2016.03.064</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">PQ20160815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1979114781</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1979114781</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">DNB</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.52</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sánchez, Pedro</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="3"><subfield code="a">An approach to modeling and developing teleo-reactive systems considering timing constraints</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2016</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here.</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Nutzungsrecht: © Elsevier Inc.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Studies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real time</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Models</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Álvarez, Bárbara</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morales, José Miguel</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Alonso, Diego</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Iborra, Andrés</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of systems and software</subfield><subfield code="d">New York, NY : Elsevier : North-Holland, 1979</subfield><subfield code="g">117(2016), Seite 317-333</subfield><subfield code="w">(DE-627)130490520</subfield><subfield code="w">(DE-600)756161-1</subfield><subfield code="w">(DE-576)016075153</subfield><subfield code="x">0164-1212</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:117</subfield><subfield code="g">year:2016</subfield><subfield code="g">pages:317-333</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://dx.doi.org/10.1016/j.jss.2016.03.064</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.sciencedirect.com/science/article/pii/S0164121216300139</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://search.proquest.com/docview/1792593996</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.52</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">117</subfield><subfield code="j">2016</subfield><subfield code="h">317-333</subfield></datafield></record></collection>
|
| author |
Sánchez, Pedro |
| spellingShingle |
Sánchez, Pedro ddc 004 bkl 54.52 misc Studies misc Systems development misc Computer programming misc Programming languages misc Real time misc Models An approach to modeling and developing teleo-reactive systems considering timing constraints |
| authorStr |
Sánchez, Pedro |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)130490520 |
| format |
Article |
| dewey-ones |
004 - Data processing & computer science |
| delete_txt_mv |
keep |
| author_role |
aut |
| collection |
OLC |
| remote_str |
false |
| illustrated |
Not Illustrated |
| issn |
0164-1212 |
| topic_title |
004 DNB 54.52 bkl An approach to modeling and developing teleo-reactive systems considering timing constraints Studies Systems development Computer programming Programming languages Real time Models |
| topic |
ddc 004 bkl 54.52 misc Studies misc Systems development misc Computer programming misc Programming languages misc Real time misc Models |
| topic_unstemmed |
ddc 004 bkl 54.52 misc Studies misc Systems development misc Computer programming misc Programming languages misc Real time misc Models |
| topic_browse |
ddc 004 bkl 54.52 misc Studies misc Systems development misc Computer programming misc Programming languages misc Real time misc Models |
| format_facet |
Aufsätze Gedruckte Aufsätze |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
nc |
| author2_variant |
b á bá j m m jm jmm d a da a i ai |
| hierarchy_parent_title |
The journal of systems and software |
| hierarchy_parent_id |
130490520 |
| dewey-tens |
000 - Computer science, knowledge & systems |
| hierarchy_top_title |
The journal of systems and software |
| isfreeaccess_txt |
false |
| familylinks_str_mv |
(DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 |
| title |
An approach to modeling and developing teleo-reactive systems considering timing constraints |
| ctrlnum |
(DE-627)OLC1979114781 (DE-599)GBVOLC1979114781 (PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0 (KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem |
| title_full |
An approach to modeling and developing teleo-reactive systems considering timing constraints |
| author_sort |
Sánchez, Pedro |
| journal |
The journal of systems and software |
| journalStr |
The journal of systems and software |
| lang_code |
eng |
| isOA_bool |
false |
| dewey-hundreds |
000 - Computer science, information & general works |
| recordtype |
marc |
| publishDateSort |
2016 |
| contenttype_str_mv |
txt |
| container_start_page |
317 |
| author_browse |
Sánchez, Pedro |
| container_volume |
117 |
| class |
004 DNB 54.52 bkl |
| format_se |
Aufsätze |
| author-letter |
Sánchez, Pedro |
| doi_str_mv |
10.1016/j.jss.2016.03.064 |
| dewey-full |
004 |
| title_sort |
approach to modeling and developing teleo-reactive systems considering timing constraints |
| title_auth |
An approach to modeling and developing teleo-reactive systems considering timing constraints |
| abstract |
TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. |
| abstractGer |
TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. |
| abstract_unstemmed |
TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here. |
| collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_70 GBV_ILN_4318 |
| title_short |
An approach to modeling and developing teleo-reactive systems considering timing constraints |
| url |
http://dx.doi.org/10.1016/j.jss.2016.03.064 http://www.sciencedirect.com/science/article/pii/S0164121216300139 http://search.proquest.com/docview/1792593996 |
| remote_bool |
false |
| author2 |
Álvarez, Bárbara Morales, José Miguel Alonso, Diego Iborra, Andrés |
| author2Str |
Álvarez, Bárbara Morales, José Miguel Alonso, Diego Iborra, Andrés |
| ppnlink |
130490520 |
| mediatype_str_mv |
n |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| author2_role |
oth oth oth oth |
| doi_str |
10.1016/j.jss.2016.03.064 |
| up_date |
2024-07-03T23:59:45.804Z |
| _version_ |
1803604392206663680 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a2200265 4500</leader><controlfield tag="001">OLC1979114781</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220220184627.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">160720s2016 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.jss.2016.03.064</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">PQ20160815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1979114781</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1979114781</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PRQ)c2252-eeb83c0f5a956ee8713bc6dfacd7c658b141038e6a8ece2872dd0973d47126db0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(KEY)0091458420160000117000000317approachtomodelinganddevelopingteleoreactivesystem</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">DNB</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.52</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sánchez, Pedro</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="3"><subfield code="a">An approach to modeling and developing teleo-reactive systems considering timing constraints</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2016</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">TeleoR is an extension and implementation of teleo-reactive (TR) language for defining the behavior of reactive systems when the consideration of timing constraints is a matter of interest. This paper analyzes how to consider real-time constraints when a TR approach is followed from modeling to implementation. After carrying out a study of the type of timing constraints from the TR perspective, the possibility of using TeleoR for incorporating such constraints was considered. Some extensions on TRiStar notation were then made to represent temporal requirements. A drone-based case study was carried out to demonstrate the usefulness of this approach. Finally, a survey was conducted to validate the approach. TeleoR can, to a great extent, support the kind of real-time constraints required for developing real-time systems, offering a direct solution to five of the eight temporal requirements identified, which can be implemented using the basic features of the language. TeleoR offers reasonable possibilities that should be extended by taking into account the limitations identified here.</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Nutzungsrecht: © Elsevier Inc.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Studies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real time</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Models</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Álvarez, Bárbara</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morales, José Miguel</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Alonso, Diego</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Iborra, Andrés</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of systems and software</subfield><subfield code="d">New York, NY : Elsevier : North-Holland, 1979</subfield><subfield code="g">117(2016), Seite 317-333</subfield><subfield code="w">(DE-627)130490520</subfield><subfield code="w">(DE-600)756161-1</subfield><subfield code="w">(DE-576)016075153</subfield><subfield code="x">0164-1212</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:117</subfield><subfield code="g">year:2016</subfield><subfield code="g">pages:317-333</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://dx.doi.org/10.1016/j.jss.2016.03.064</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.sciencedirect.com/science/article/pii/S0164121216300139</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://search.proquest.com/docview/1792593996</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.52</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">117</subfield><subfield code="j">2016</subfield><subfield code="h">317-333</subfield></datafield></record></collection>
|
| score |
7.4009047 |