A temporal logic-based approach for the description of object behavior evolution
Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolut...
Ausführliche Beschreibung
Autor*in: |
Arapis, Constantin [verfasserIn] |
---|
Format: |
Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
1993 |
---|
Schlagwörter: |
---|
Anmerkung: |
© J.C. Baltzer AG, Science Publishers 1993 |
---|
Übergeordnetes Werk: |
Enthalten in: Annals of mathematics and artificial intelligence - Kluwer Academic Publishers, 1990, 7(1993), 1-4 vom: März, Seite 1-40 |
---|---|
Übergeordnetes Werk: |
volume:7 ; year:1993 ; number:1-4 ; month:03 ; pages:1-40 |
Links: |
---|
DOI / URN: |
10.1007/BF01556348 |
---|
Katalog-ID: |
OLC2041496584 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC2041496584 | ||
003 | DE-627 | ||
005 | 20230502200201.0 | ||
007 | tu | ||
008 | 200820s1993 xx ||||| 00| ||eng c | ||
024 | 7 | |a 10.1007/BF01556348 |2 doi | |
035 | |a (DE-627)OLC2041496584 | ||
035 | |a (DE-He213)BF01556348-p | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 510 |a 004 |q VZ |
084 | |a 17,1 |2 ssgn | ||
100 | 1 | |a Arapis, Constantin |e verfasserin |4 aut | |
245 | 1 | 0 | |a A temporal logic-based approach for the description of object behavior evolution |
264 | 1 | |c 1993 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
500 | |a © J.C. Baltzer AG, Science Publishers 1993 | ||
520 | |a Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. | ||
650 | 4 | |a Object-oriented model | |
650 | 4 | |a temporal logic | |
773 | 0 | 8 | |i Enthalten in |t Annals of mathematics and artificial intelligence |d Kluwer Academic Publishers, 1990 |g 7(1993), 1-4 vom: März, Seite 1-40 |w (DE-627)130904104 |w (DE-600)1045926-1 |w (DE-576)02499622X |x 1012-2443 |7 nnns |
773 | 1 | 8 | |g volume:7 |g year:1993 |g number:1-4 |g month:03 |g pages:1-40 |
856 | 4 | 1 | |u https://doi.org/10.1007/BF01556348 |z lizenzpflichtig |3 Volltext |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OPC-MAT | ||
912 | |a GBV_ILN_40 | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_2190 | ||
912 | |a GBV_ILN_2244 | ||
912 | |a GBV_ILN_4012 | ||
912 | |a GBV_ILN_4277 | ||
912 | |a GBV_ILN_4313 | ||
951 | |a AR | ||
952 | |d 7 |j 1993 |e 1-4 |c 03 |h 1-40 |
author_variant |
c a ca |
---|---|
matchkey_str |
article:10122443:1993----::tmoalgcaeapocfrhdsrpinfbe |
hierarchy_sort_str |
1993 |
publishDate |
1993 |
allfields |
10.1007/BF01556348 doi (DE-627)OLC2041496584 (DE-He213)BF01556348-p DE-627 ger DE-627 rakwb eng 510 004 VZ 17,1 ssgn Arapis, Constantin verfasserin aut A temporal logic-based approach for the description of object behavior evolution 1993 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © J.C. Baltzer AG, Science Publishers 1993 Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. Object-oriented model temporal logic Enthalten in Annals of mathematics and artificial intelligence Kluwer Academic Publishers, 1990 7(1993), 1-4 vom: März, Seite 1-40 (DE-627)130904104 (DE-600)1045926-1 (DE-576)02499622X 1012-2443 nnns volume:7 year:1993 number:1-4 month:03 pages:1-40 https://doi.org/10.1007/BF01556348 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_40 GBV_ILN_70 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4277 GBV_ILN_4313 AR 7 1993 1-4 03 1-40 |
spelling |
10.1007/BF01556348 doi (DE-627)OLC2041496584 (DE-He213)BF01556348-p DE-627 ger DE-627 rakwb eng 510 004 VZ 17,1 ssgn Arapis, Constantin verfasserin aut A temporal logic-based approach for the description of object behavior evolution 1993 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © J.C. Baltzer AG, Science Publishers 1993 Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. Object-oriented model temporal logic Enthalten in Annals of mathematics and artificial intelligence Kluwer Academic Publishers, 1990 7(1993), 1-4 vom: März, Seite 1-40 (DE-627)130904104 (DE-600)1045926-1 (DE-576)02499622X 1012-2443 nnns volume:7 year:1993 number:1-4 month:03 pages:1-40 https://doi.org/10.1007/BF01556348 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_40 GBV_ILN_70 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4277 GBV_ILN_4313 AR 7 1993 1-4 03 1-40 |
allfields_unstemmed |
10.1007/BF01556348 doi (DE-627)OLC2041496584 (DE-He213)BF01556348-p DE-627 ger DE-627 rakwb eng 510 004 VZ 17,1 ssgn Arapis, Constantin verfasserin aut A temporal logic-based approach for the description of object behavior evolution 1993 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © J.C. Baltzer AG, Science Publishers 1993 Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. Object-oriented model temporal logic Enthalten in Annals of mathematics and artificial intelligence Kluwer Academic Publishers, 1990 7(1993), 1-4 vom: März, Seite 1-40 (DE-627)130904104 (DE-600)1045926-1 (DE-576)02499622X 1012-2443 nnns volume:7 year:1993 number:1-4 month:03 pages:1-40 https://doi.org/10.1007/BF01556348 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_40 GBV_ILN_70 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4277 GBV_ILN_4313 AR 7 1993 1-4 03 1-40 |
allfieldsGer |
10.1007/BF01556348 doi (DE-627)OLC2041496584 (DE-He213)BF01556348-p DE-627 ger DE-627 rakwb eng 510 004 VZ 17,1 ssgn Arapis, Constantin verfasserin aut A temporal logic-based approach for the description of object behavior evolution 1993 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © J.C. Baltzer AG, Science Publishers 1993 Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. Object-oriented model temporal logic Enthalten in Annals of mathematics and artificial intelligence Kluwer Academic Publishers, 1990 7(1993), 1-4 vom: März, Seite 1-40 (DE-627)130904104 (DE-600)1045926-1 (DE-576)02499622X 1012-2443 nnns volume:7 year:1993 number:1-4 month:03 pages:1-40 https://doi.org/10.1007/BF01556348 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_40 GBV_ILN_70 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4277 GBV_ILN_4313 AR 7 1993 1-4 03 1-40 |
allfieldsSound |
10.1007/BF01556348 doi (DE-627)OLC2041496584 (DE-He213)BF01556348-p DE-627 ger DE-627 rakwb eng 510 004 VZ 17,1 ssgn Arapis, Constantin verfasserin aut A temporal logic-based approach for the description of object behavior evolution 1993 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © J.C. Baltzer AG, Science Publishers 1993 Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. Object-oriented model temporal logic Enthalten in Annals of mathematics and artificial intelligence Kluwer Academic Publishers, 1990 7(1993), 1-4 vom: März, Seite 1-40 (DE-627)130904104 (DE-600)1045926-1 (DE-576)02499622X 1012-2443 nnns volume:7 year:1993 number:1-4 month:03 pages:1-40 https://doi.org/10.1007/BF01556348 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_40 GBV_ILN_70 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4277 GBV_ILN_4313 AR 7 1993 1-4 03 1-40 |
language |
English |
source |
Enthalten in Annals of mathematics and artificial intelligence 7(1993), 1-4 vom: März, Seite 1-40 volume:7 year:1993 number:1-4 month:03 pages:1-40 |
sourceStr |
Enthalten in Annals of mathematics and artificial intelligence 7(1993), 1-4 vom: März, Seite 1-40 volume:7 year:1993 number:1-4 month:03 pages:1-40 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
topic_facet |
Object-oriented model temporal logic |
dewey-raw |
510 |
isfreeaccess_bool |
false |
container_title |
Annals of mathematics and artificial intelligence |
authorswithroles_txt_mv |
Arapis, Constantin @@aut@@ |
publishDateDaySort_date |
1993-03-01T00:00:00Z |
hierarchy_top_id |
130904104 |
dewey-sort |
3510 |
id |
OLC2041496584 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2041496584</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230502200201.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200820s1993 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BF01556348</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2041496584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)BF01556348-p</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">510</subfield><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Arapis, Constantin</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A temporal logic-based approach for the description of object behavior evolution</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1993</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="500" ind1=" " ind2=" "><subfield code="a">© J.C. Baltzer AG, Science Publishers 1993</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented model</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">temporal logic</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Annals of mathematics and artificial intelligence</subfield><subfield code="d">Kluwer Academic Publishers, 1990</subfield><subfield code="g">7(1993), 1-4 vom: März, Seite 1-40</subfield><subfield code="w">(DE-627)130904104</subfield><subfield code="w">(DE-600)1045926-1</subfield><subfield code="w">(DE-576)02499622X</subfield><subfield code="x">1012-2443</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:7</subfield><subfield code="g">year:1993</subfield><subfield code="g">number:1-4</subfield><subfield code="g">month:03</subfield><subfield code="g">pages:1-40</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/BF01556348</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</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">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</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_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">7</subfield><subfield code="j">1993</subfield><subfield code="e">1-4</subfield><subfield code="c">03</subfield><subfield code="h">1-40</subfield></datafield></record></collection>
|
author |
Arapis, Constantin |
spellingShingle |
Arapis, Constantin ddc 510 ssgn 17,1 misc Object-oriented model misc temporal logic A temporal logic-based approach for the description of object behavior evolution |
authorStr |
Arapis, Constantin |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)130904104 |
format |
Article |
dewey-ones |
510 - Mathematics 004 - Data processing & computer science |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
1012-2443 |
topic_title |
510 004 VZ 17,1 ssgn A temporal logic-based approach for the description of object behavior evolution Object-oriented model temporal logic |
topic |
ddc 510 ssgn 17,1 misc Object-oriented model misc temporal logic |
topic_unstemmed |
ddc 510 ssgn 17,1 misc Object-oriented model misc temporal logic |
topic_browse |
ddc 510 ssgn 17,1 misc Object-oriented model misc temporal logic |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
hierarchy_parent_title |
Annals of mathematics and artificial intelligence |
hierarchy_parent_id |
130904104 |
dewey-tens |
510 - Mathematics 000 - Computer science, knowledge & systems |
hierarchy_top_title |
Annals of mathematics and artificial intelligence |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)130904104 (DE-600)1045926-1 (DE-576)02499622X |
title |
A temporal logic-based approach for the description of object behavior evolution |
ctrlnum |
(DE-627)OLC2041496584 (DE-He213)BF01556348-p |
title_full |
A temporal logic-based approach for the description of object behavior evolution |
author_sort |
Arapis, Constantin |
journal |
Annals of mathematics and artificial intelligence |
journalStr |
Annals of mathematics and artificial intelligence |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
500 - Science 000 - Computer science, information & general works |
recordtype |
marc |
publishDateSort |
1993 |
contenttype_str_mv |
txt |
container_start_page |
1 |
author_browse |
Arapis, Constantin |
container_volume |
7 |
class |
510 004 VZ 17,1 ssgn |
format_se |
Aufsätze |
author-letter |
Arapis, Constantin |
doi_str_mv |
10.1007/BF01556348 |
dewey-full |
510 004 |
title_sort |
a temporal logic-based approach for the description of object behavior evolution |
title_auth |
A temporal logic-based approach for the description of object behavior evolution |
abstract |
Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. © J.C. Baltzer AG, Science Publishers 1993 |
abstractGer |
Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. © J.C. Baltzer AG, Science Publishers 1993 |
abstract_unstemmed |
Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators. © J.C. Baltzer AG, Science Publishers 1993 |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_40 GBV_ILN_70 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4277 GBV_ILN_4313 |
container_issue |
1-4 |
title_short |
A temporal logic-based approach for the description of object behavior evolution |
url |
https://doi.org/10.1007/BF01556348 |
remote_bool |
false |
ppnlink |
130904104 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
doi_str |
10.1007/BF01556348 |
up_date |
2024-07-04T04:53:03.010Z |
_version_ |
1803622844204056577 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2041496584</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230502200201.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200820s1993 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BF01556348</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2041496584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)BF01556348-p</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">510</subfield><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Arapis, Constantin</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A temporal logic-based approach for the description of object behavior evolution</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1993</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="500" ind1=" " ind2=" "><subfield code="a">© J.C. Baltzer AG, Science Publishers 1993</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented model</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">temporal logic</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Annals of mathematics and artificial intelligence</subfield><subfield code="d">Kluwer Academic Publishers, 1990</subfield><subfield code="g">7(1993), 1-4 vom: März, Seite 1-40</subfield><subfield code="w">(DE-627)130904104</subfield><subfield code="w">(DE-600)1045926-1</subfield><subfield code="w">(DE-576)02499622X</subfield><subfield code="x">1012-2443</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:7</subfield><subfield code="g">year:1993</subfield><subfield code="g">number:1-4</subfield><subfield code="g">month:03</subfield><subfield code="g">pages:1-40</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/BF01556348</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</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">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</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_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4277</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">7</subfield><subfield code="j">1993</subfield><subfield code="e">1-4</subfield><subfield code="c">03</subfield><subfield code="h">1-40</subfield></datafield></record></collection>
|
score |
7.4000063 |