{"id":"https://openalex.org/W4234644336","doi":"https://doi.org/10.1016/s1571-0661(05)80010-6","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-05-01","ids":{"openalex":"https://openalex.org/W4234644336","doi":"https://doi.org/10.1016/s1571-0661(05)80010-6"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80010-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80010-6","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80010-6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085148280","display_name":"Wolfram Kahl","orcid":"https://orcid.org/0000-0002-6355-214X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wolfram Kahl","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081601500","display_name":"David Lorge Parnas","orcid":"https://orcid.org/0000-0003-1953-3459"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David L. Parnas","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5016272100","display_name":"G. Schmidt","orcid":"https://orcid.org/0000-0002-0556-2569"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gunther Schmidt","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085148280"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4439442,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"3","first_page":"221","last_page":"223"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48756855726242065},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36559581756591797}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48756855726242065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36559581756591797}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80010-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80010-6","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80010-6","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80010-6","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"This":[0,120,361,445,544,563,664,908],"issue":[1,666,1063],"contains":[2],"the":[3,6,40,59,86,140,142,157,216,251,307,348,364,370,436,517,553,583,595,671,677,687,693,697,712,726,735,741,765,772,835,842,876,917,926,1042,1046],"Proceedings":[4],"of":[5,39,42,58,61,72,85,117,145,179,215,234,261,276,320,358,366,397,410,426,466,485,510,520,555,580,646,650,662,686,696,728,737,753,768,774,780,787,807,810,823,838,844,854,865,869,879,884,902,919,928,937,950,953,975,984,1064],"First":[7],"International":[8],"Workshop":[9,18],"on":[10,24,88,105,183,238,552,576,692,980,1041],"Relational":[11,262,359,391,488,598,610,616],"Methods":[12,240,263,360,602],"in":[13,21,44,128,209,219,224,241,287,418,424,457,477,590,771,916,1000],"Software":[14,611],"(RelMiS":[15],"2001).":[16],"The":[17,37,387,393,508,681,714],"was":[19,148,166,290,564],"held":[20],"Genova,":[22],"Italy,":[23],"April":[25],"7":[26],"and":[27,46,51,66,153,204,211,259,282,303,333,336,343,379,402,441,448,483,505,516,522,540,558,571,600,603,613,631,674,705,719,740,793,825,828,895,897,922,932,940,942,952,1004,1031,1048],"8,":[28],"2001,":[29,302],"as":[30,112,163,192,264,414,899,962],"a":[31,106,113,118,160,193,232,297,324,337,427,428,464,577,591,729,750,758,785,798,831,852,862,866,910,976,981,1001,1006],"satellite":[32,298,315],"event":[33,299],"to":[34,75,137,150,206,279,295,306,327,339,443,473,499,549,755,796,860,875,948,1013,1024,1051,1056],"ETAPS":[35,301,308],"2001.":[36],"r\u00f4le":[38],"calculus":[41,519,918],"relations":[43,398,663,951],"algebra":[45,658,859],"logic":[47,1017],"is":[48,121,434,683,890],"well":[49],"understood":[50],"appreciated;":[52],"relational":[53,67,100,164,198,220,277,328,367,475,492,511,530,657,738,745,778,885],"methods":[54,68,221,278,329,476],"should":[55],"be":[56,71,96,110,400,422,439,497,802,1011],"part":[57],"\u201ctoolbox\u201d":[60],"everyone":[62,76],"who":[63,77],"uses":[64,794],"mathematics,":[65],"can":[69,95,109,131,227,399,438,801],"also":[70,462,763,819,1014,1049],"great":[73],"value":[74],"develops":[78],"or":[79,91,115],"specifies":[80],"software.":[81],"For":[82,347,582],"example,":[83],"much":[84,702],"work":[87,182,208,218],"special":[89,665,1062],"logics":[90,210],"\u201claws\u201d":[92],"for":[93,197,300,310,330,390,525,567,572,588,620,676,724,804,834,913,925,965,992,1038,1045,1059],"programs":[94],"simplified":[97],"by":[98,529,716,892],"applying":[99],"algebra.":[101],"Further,":[102],"every":[103],"relation":[104,146,858],"state":[107,429],"space":[108],"used":[111,498,566,803,961],"specification":[114,727,761],"description":[116],"program.":[119],"an":[122,167,547,900,903,989],"advantage":[123,178],"over":[124],"some":[125],"predicate-based":[126],"formalisms":[127],"which":[129,374,700,706,744],"one":[130,172],"write":[132],"\u201cspecifications\u201d":[133],"that":[134,173,273,416,452,469,762,800],"are":[135,304,1021],"impossible":[136],"satisfy.":[138],"During":[139],"1980's,":[141],"equational":[143],"theory":[144,856],"algebras":[147,949],"applied":[149],"program":[151,154,527,1043],"semantics":[152,833,864],"development.":[155,460,479],"On":[156],"other":[158,523],"hand,":[159],"topic":[161],"such":[162,413],"databases":[165],"essentially":[168],"new":[169,188,194,341,882],"development,":[170],"but":[171,818],"did":[174],"not":[175,814],"take":[176],"full":[177],"earlier":[180],"mathematical":[181,217,395],"relations.":[184],"It":[185,461],"has":[186,200,245,267,453],"contributed":[187,205],"concepts.":[189],"Computer":[190,242],"science,":[191],"application":[195,901,957],"field":[196,592],"methods,":[199,368,606],"both":[201],"drawn":[202],"from":[203,487,491,670,711,996],"previous":[207],"mathematics.":[212],"Further":[213],"integration":[214],"with":[222,285,542,559,635,659,668,708,743,841],"research":[223],"computer":[225,283,331],"science":[226],"only":[228,815],"benefit":[229],"both.":[230],"Although":[231],"series":[233],"international":[235],"\u201cRelMiCS\u201d":[236],"workshops":[237],"\u201cRelational":[239],"Science\u201d":[243],"already":[244],"been":[246,454],"established,":[247],"and,":[248],"more":[249,274,376,502],"recently,":[250],"joint":[252],"European":[253],"COST":[254],"Action":[255],"274":[256],"TARSKI":[257],"(Theory":[258],"Application":[260],"Knowledge":[265],"Instruments)":[266],"gained":[268],"considerable":[269],"interest,":[270],"we":[271,293,586],"felt":[272],"exposure":[275],"software":[280,288,334,459,478,709],"practitioners":[281],"scientists":[284,332],"interests":[286],"development":[289,528],"needed.":[291],"Consequently,":[292],"decided":[294],"initiate":[296],"grateful":[305,1023],"organisers":[309],"including":[311,872],"RelMiS":[312,317,698],"among":[313],"their":[314],"events.":[316],"2001":[318],"consisted":[319],"two":[321,679],"distinct":[322],"parts:":[323],"tutorial":[325,349,362,446,545,673],"introduction":[326],"developers,":[335],"workshop":[338],"discuss":[340],"results":[342],"possible":[344],"future":[345],"work.":[346],"part,":[350],"four":[351],"lectures":[352],"were":[353,514,532],"held:":[354],"Gunther":[355],"Schmidt:":[356],"Basics":[357],"presented":[363,401,447,691],"foundations":[365,509],"stressing":[369],"component-free":[371],"compositional":[372],"approach":[373,548],"allows":[375],"compact":[377,405],"formalisations":[378,739,779,809],"concise,":[380],"easily":[381],"verified,":[382],"proofs.":[383],"David":[384],"L.":[385,1069],"Parnas:":[386],"Tabular":[388],"Method":[389],"Documentation":[392],"basic":[394],"laws":[396],"verified":[403],"using":[404],"abstract":[406,607],"notation.":[407],"However,":[408],"descriptions":[409],"specific":[411],"relations,":[412,557,921],"those":[415],"arise":[417],"describing":[419],"software,":[420],"must":[421],"done":[423],"terms":[425],"representation.":[430],"When":[431],"conventional":[432],"notation":[433,451],"used,":[435],"expressions":[437],"complex":[440,574],"hard":[442],"use.":[444],"explained":[449],"tabular":[450,605],"found":[455],"useful":[456],"practical":[458],"described":[463],"set":[465,855],"prototype":[467],"tools":[468,524],"make":[470],"it":[471],"easier":[472],"apply":[474],"Wolfram":[480,1067],"Kahl:":[481],"Refinement":[482],"Development":[484,614],"Programs":[486],"Specifications":[489,599],"Starting":[490],"specifications,":[493,504],"refinement":[494,512,531],"steps":[495],"may":[496],"obtain":[500],"first":[501],"detailed":[503],"then":[506,565],"programs.":[507],"concepts":[513],"discussed":[515],"\u201cdemonic":[518],"relations\u201d":[521],"calculational":[526],"presented.":[533],"Rudolf":[534,1032],"Berghammer":[535,1033],"(Christian-Albrechts-Universit\u00e4t":[536,1034],"zu":[537,1035],"Kiel):":[538],"Prototyping":[539],"Programming":[541,634],"Relations":[543,636,648],"showed":[546],"programming":[550],"directly":[551],"level":[554,579,752],"binary":[556,920],"strong":[560],"visualisation":[561],"support.":[562],"solving":[568],"combinatorial":[569],"problems":[570],"prototyping":[573],"algorithms":[575],"high":[578,751],"abstraction.":[581],"open":[584],"workshop,":[585,699,1047],"called":[587],"contributions":[589,690],"centering":[593],"around":[594],"following":[596],"topics:":[597],"Modelling":[601],"tools,":[604],"data":[608],"types":[609],"Design":[612],"Techniques":[615],"refinement,":[617],"heuristic":[618],"approaches":[619],"derivation,":[621],"correctness":[622],"considerations,":[623],"dynamic":[624],"programming,":[625],"greedy":[626],"algorithms,":[627],"catamorphisms,":[628],"paramorphisms,":[629],"hylomorphisms":[630],"related":[632],"topics":[633],"Prototyping,":[637],"testing,":[638],"fault":[639],"tolerance,":[640],"information":[641,643,813],"systems,":[642],"coding":[644],"Handling":[645],"Large":[647],"Problems":[649],"scale,":[651],"innovative":[652],"representations,":[653],"distributed":[654,977],"implementation,":[655],"implementing":[656],"mixed":[660],"representation":[661],"begins":[667],"slides":[669],"second":[672,694],"notes":[675],"last":[678],"tutorials.":[680],"remainder":[682],"made":[684],"up":[685],"six":[688],"accepted":[689],"day":[695],"saw":[701],"lifely":[703],"discussion":[704],"concluded":[707],"demonstrations":[710],"participants.":[713],"contribution":[715],"Del":[717],"Gobbo":[718],"Mili":[720],"employs":[721],"relation-algebraic":[722,832,888,982],"reasoning":[723,847,915,969],"composing":[725],"fault-tolerant":[730],"flight":[731],"control":[732],"system,":[733],"exploiting":[734],"flexibility":[736],"ease":[742],"operations":[746],"allow":[747],"composition":[748],"at":[749,757,784],"abstraction":[754],"arrive":[756],"logically":[759],"structured":[760],"addresses":[764],"non-functional":[766],"requirement":[767],"fault-tolerance.":[769],"Also":[770],"realm":[773],"specification,":[775],"Kh\u00e9dri":[776],"considers":[777],"scenarios.":[781],"He":[782],"arrives":[783],"characterisation":[786],"bisimulation":[788],"via":[789],"fixpoints":[790],"involving":[791],"residuals,":[792],"this":[795,1009,1061],"outline":[797],"technique":[799],"automated":[805],"comparison":[806],"different":[808,821,973],"scenarios,":[811],"yielding":[812],"about":[816,820,848,970],"discrepancies,":[817],"levels":[822],"formality":[824],"granularity.":[826],"Omodeo":[827,894],"Doberkat":[829],"propose":[830],"static":[836],"aspects":[837],"entity-relationship":[839],"models":[840],"aim":[843],"enabling":[845],"formal":[846,863],"ER-models.":[849],"They":[850],"use":[851],"formalisation":[853],"inside":[857],"enable":[861],"restricted":[867],"kind":[868,883],"ER-models":[870],"(but":[871],"inheritance)":[873],"close":[874],"intuitive":[877],"understanding":[878],"ER-modellers.":[880],"A":[881],"diagrams":[886],"representing":[887],"formulae":[889],"introduced":[891],"Formisano,":[893],"Simeoni,":[896],"implemented":[898,990],"existing":[904],"graph":[905],"rewriting":[906],"tool.":[907],"provides":[909],"proof":[911],"assistant":[912],"graphical":[914],"includes":[923,1005],"mechanisms":[924],"translation":[927],"predicate-logic":[929],"specifications.":[930],"Bruni":[931],"Gadduci":[933],"investigate":[934],"fundamental":[935],"properties":[936],"category-theoretic":[938],"spans":[939],"co-pans":[941],"show":[943],"how":[944,959,1008],"closely":[945],"these":[946],"relate":[947],"multirelations.":[954],"An":[955],"intersting":[956],"shows":[958],"co-pans,":[960],"semantic":[963],"domain":[964],"Petri":[966],"nets,":[967],"suport":[968],"causality":[971],"between":[972],"threads":[974],"computation.":[978],"Building":[979],"model":[983],"CCS":[985],"processes,":[986],"Winter":[987],"presents":[988],"mechanism":[991],"generating":[993],"process":[994],"definitions":[995],"safety":[997],"conditions":[998],"expressed":[999],"modal":[1002],"logic,":[1003],"sketch":[1007],"could":[1010],"extended":[1012],"cover":[1015],"temporal":[1016],"lifeness":[1018],"conditions.":[1019],"We":[1020],"very":[1022],"Jules":[1025],"Desharnais":[1026],"(Universit\u00e9":[1027],"Laval,":[1028],"Qu\u00e9bec,":[1029],"Canada)":[1030],"Kiel,":[1036],"Germany)":[1037],"joining":[1039],"us":[1040],"committee":[1044],"wish":[1050],"express":[1052],"our":[1053],"sincere":[1054],"gratitude":[1055],"Michael":[1057],"Mislove":[1058],"making":[1060],"ENTCS":[1065],"possible.":[1066],"KahlDavid":[1068],"ParnasGunther":[1070],"SchmidtHamiltonLimerickM\u00fcnchen":[1071]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}