{"id":"https://openalex.org/W72643522","doi":"https://doi.org/10.1007/0-387-32015-6_12","title":"Formal Modelling of an Adaptable Service System","display_name":"Formal Modelling of an Adaptable Service System","publication_year":2006,"publication_date":"2006-02-23","ids":{"openalex":"https://openalex.org/W72643522","doi":"https://doi.org/10.1007/0-387-32015-6_12","mag":"72643522"},"language":"en","primary_location":{"id":"doi:10.1007/0-387-32015-6_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-32015-6_12","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-32015-6_12.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP \u2014 The International Federation for Information Processing","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-32015-6_12.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058792846","display_name":"Mazen Malek Shiaa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mazen Malek Shiaa","raw_affiliation_strings":["Department of Telematics, NTNU, Trondheim, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics, NTNU, Trondheim, Norway","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041031806","display_name":"Finn Arve Aagesen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Finn Arve Aagesen","raw_affiliation_strings":["Department of Telematics, NTNU, Trondheim, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics, NTNU, Trondheim, Norway","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055262262","display_name":"Cyril Carrez","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cyril Carrez","raw_affiliation_strings":["Department of Telematics, NTNU, Trondheim, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics, NTNU, Trondheim, Norway","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00637523,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"123","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9991999864578247,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7753778100013733},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.6460162997245789},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6203249096870422},{"id":"https://openalex.org/keywords/telematics","display_name":"Telematics","score":0.5650191307067871},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4593648314476013},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.45797109603881836},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44425323605537415},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.4419211447238922},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43016886711120605},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34825563430786133},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21303004026412964}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7753778100013733},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.6460162997245789},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6203249096870422},{"id":"https://openalex.org/C89074322","wikidata":"https://www.wikidata.org/wiki/Q485669","display_name":"Telematics","level":2,"score":0.5650191307067871},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4593648314476013},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.45797109603881836},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44425323605537415},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.4419211447238922},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43016886711120605},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34825563430786133},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21303004026412964},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/0-387-32015-6_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-32015-6_12","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-32015-6_12.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP \u2014 The International Federation for Information Processing","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/0-387-32015-6_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-32015-6_12","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-32015-6_12.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP \u2014 The International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W72643522.pdf","grobid_xml":"https://content.openalex.org/works/W72643522.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W120480712","https://openalex.org/W1545495417","https://openalex.org/W1584472679","https://openalex.org/W1668251188","https://openalex.org/W1762942482","https://openalex.org/W1970630943","https://openalex.org/W2013672985","https://openalex.org/W2062555630","https://openalex.org/W2128932399","https://openalex.org/W2406117287"],"related_works":["https://openalex.org/W28596303","https://openalex.org/W2075084475","https://openalex.org/W571717219","https://openalex.org/W2111119084","https://openalex.org/W2753549526","https://openalex.org/W2906361627","https://openalex.org/W2770474257","https://openalex.org/W3169289700","https://openalex.org/W2286386640","https://openalex.org/W790318456"],"abstract_inverted_index":{"Adaptable":[0,49],"service":[1,4,24,41],"systems":[2,5,51],"are":[3],"that":[6],"adapt":[7],"dynamically":[8],"to":[9,17,108],"changes":[10],"in":[11,43,61],"both":[12],"time":[13],"and":[14,22,85,102,105,117],"position":[15],"related":[16],"users,":[18],"nodes,":[19],"capabilities,":[20,81],"status,":[21],"changed":[23],"requirements.":[25],"We":[26],"present":[27],"a":[28],"formal":[29,68],"model":[30,69,101],"for":[31,36,47,88],"the":[32,37,40,44,57,62,65,73],"basic":[33,54],"entity":[34,55],"used":[35,107],"implementation":[38],"of":[39,64,83],"functionality":[42],"Telematics":[45],"Architecture":[46],"Play-based":[48],"Service":[50],"(TAPAS).":[52],"This":[53],"is":[56,70,92,106],"role-figure,":[58],"which":[59],"executes":[60],"nodes":[63],"network.":[66],"The":[67],"denoted":[71],"as":[72],"role-figure":[74],"model.":[75],"It":[76],"comprises":[77],"behaviour":[78],"specification,":[79],"interfaces,":[80],"queue":[82],"messages,":[84],"executing":[86],"methods":[87],"role-figures.":[89],"Its":[90],"semantics":[91],"based":[93],"on":[94],"an":[95],"ODP":[96],"(Open":[97],"Distributed":[98],"Processing)":[99],"semantic":[100],"rewriting":[103],"logic,":[104],"prove":[109],"properties":[110],"such":[111],"as:":[112],"plug":[113],"ability,":[114,116],"consumption":[115],"play":[118],"ability.":[119]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}