{"id":"https://openalex.org/W153202985","doi":"https://doi.org/10.1007/s10009-006-0010-1","title":"Compositional specification of commercial contracts","display_name":"Compositional specification of commercial contracts","publication_year":2006,"publication_date":"2006-10-20","ids":{"openalex":"https://openalex.org/W153202985","doi":"https://doi.org/10.1007/s10009-006-0010-1","mag":"153202985"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-006-0010-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-006-0010-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091024667","display_name":"Jesper L. Andersen","orcid":"https://orcid.org/0000-0001-8302-0071"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jesper Andersen","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028406114","display_name":"Ebbe Elsborg","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ebbe Elsborg","raw_affiliation_strings":["Institute of Theoretical Computer Science, IT University of Copenhagen (ITU), Rued Langgards Vej 7, 2300, Copenhagen S, Denmark","Institute of Theoretical Computer Science, IT University of Copenhagen (ITU), Rued Langgards Vej 7, 2300, Copenhagen S, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, IT University of Copenhagen (ITU), Rued Langgards Vej 7, 2300, Copenhagen S, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"Institute of Theoretical Computer Science, IT University of Copenhagen (ITU), Rued Langgards Vej 7, 2300, Copenhagen S, Denmark#TAB#","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045204080","display_name":"Fritz Henglein","orcid":"https://orcid.org/0000-0001-5190-2125"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Fritz Henglein","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024664299","display_name":"Jakob Grue Simonsen","orcid":"https://orcid.org/0000-0002-3488-9392"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jakob Grue Simonsen","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057978476","display_name":"Christian Stefansen","orcid":null},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Christian Stefansen","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, 2100, Copenhagen, Denmark#TAB#","institution_ids":["https://openalex.org/I124055696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5091024667"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.05296375,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"8","issue":"6","first_page":"485","last_page":"516"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14180","display_name":"Law, logistics, and international trade","score":0.8744999766349792,"subfield":{"id":"https://openalex.org/subfields/1402","display_name":"Accounting"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T14180","display_name":"Law, logistics, and international trade","score":0.8744999766349792,"subfield":{"id":"https://openalex.org/subfields/1402","display_name":"Accounting"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12374","display_name":"European and International Contract Law","score":0.7710999846458435,"subfield":{"id":"https://openalex.org/subfields/3308","display_name":"Law"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.7822436094284058},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7645654678344727},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7467822432518005},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.7352508902549744},{"id":"https://openalex.org/keywords/bookkeeping","display_name":"Bookkeeping","score":0.6948407888412476},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6087562441825867},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.5074889063835144},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5006210803985596},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.45665988326072693},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4551827609539032},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4538328945636749},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.41339460015296936},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3549840450286865},{"id":"https://openalex.org/keywords/accounting","display_name":"Accounting","score":0.1906135082244873},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1870042085647583},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.116120845079422}],"concepts":[{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.7822436094284058},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7645654678344727},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7467822432518005},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.7352508902549744},{"id":"https://openalex.org/C105387459","wikidata":"https://www.wikidata.org/wiki/Q3707847","display_name":"Bookkeeping","level":2,"score":0.6948407888412476},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6087562441825867},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.5074889063835144},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5006210803985596},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.45665988326072693},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4551827609539032},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4538328945636749},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.41339460015296936},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3549840450286865},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.1906135082244873},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1870042085647583},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.116120845079422},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10009-006-0010-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-006-0010-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"mag:153202985","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/isola/isola2004i.html#AndersenEHSS04","pdf_url":null,"source":{"id":"https://openalex.org/S4306420464","display_name":"Leveraging Applications of Formal Methods","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Leveraging Applications of Formal Methods","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W68130373","https://openalex.org/W2078282392","https://openalex.org/W2087307736","https://openalex.org/W2102097307","https://openalex.org/W2128932399","https://openalex.org/W4214535918","https://openalex.org/W4233522539","https://openalex.org/W4234924236"],"related_works":["https://openalex.org/W2108170124","https://openalex.org/W2147784458","https://openalex.org/W2150914758","https://openalex.org/W2131518018","https://openalex.org/W2183828394","https://openalex.org/W260230765","https://openalex.org/W1539054003","https://openalex.org/W2066394193","https://openalex.org/W125436324","https://openalex.org/W1965387958","https://openalex.org/W2608561930","https://openalex.org/W2064889916","https://openalex.org/W3040098638","https://openalex.org/W1580304509","https://openalex.org/W2140915630","https://openalex.org/W2635186003","https://openalex.org/W3141090108","https://openalex.org/W3091938314","https://openalex.org/W2135583192","https://openalex.org/W2162518765"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}