{"id":{"repo_id":"trento","oai_identifier":"oai:iris.unitn.it:11572/368964"},"canonical_url":"https://search.dev.ndltd.org/etd/trento/oai:iris.unitn.it:11572/368964","repository":{"repo_id":"trento","name":"Università degli Studi di Trento","base_url":"https://iris.unitn.it/oai/request"},"display":{"title":"A Tag Contract Framework for Modeling Heterogeneous Systems","abstract":"In the distributed development of modern IT systems, contracts play a vital role in ensuring interoperability of components and adherence to specifica- tions. The design of embedded systems, however, is made more complex by the heterogeneous nature of components, which are often described using different models and interaction mechanisms. Composing such components is generally not well-defined, making design and verification difficult. Sev- eral denotational frameworks have been proposed to handle heterogeneity using a variety of approaches. However, the application of heterogeneous modeling frameworks to contract-based design has not yet been investigated. In this work, we develop an operational model with precise heterogeneous denotational semantics, based on tag machines, that can represent hetero- geneous composition, and provide conditions under which composition can be captured soundly and completely. The operational framework is imple- mented in a prototype tool which we use for experimental evaluation. We then construct a full contract model and introduce heterogeneous compo- sition, refinement, dominance, and compatibility between contracts, alto- gether enabling a formalized and rigorous design process for heterogeneous systems. Besides, we also develop a generic algebraic method to synthe- size or refine a set of contracts so that their composition satisfies a given contract.","abstract_html":"In the distributed development of modern IT systems, contracts play a vital role in ensuring interoperability of components and adherence to specifica- tions. The design of embedded systems, however, is made more complex by the heterogeneous nature of components, which are often described using different models and interaction mechanisms. Composing such components is generally not well-defined, making design and verification difficult. Sev- eral denotational frameworks have been proposed to handle heterogeneity using a variety of approaches. However, the application of heterogeneous modeling frameworks to contract-based design has not yet been investigated. In this work, we develop an operational model with precise heterogeneous denotational semantics, based on tag machines, that can represent hetero- geneous composition, and provide conditions under which composition can be captured soundly and completely. The operational framework is imple- mented in a prototype tool which we use for experimental evaluation. We then construct a full contract model and introduce heterogeneous compo- sition, refinement, dominance, and compatibility between contracts, alto- gether enabling a formalized and rigorous design process for heterogeneous systems. Besides, we also develop a generic algebraic method to synthe- size or refine a set of contracts so that their composition satisfies a given contract.","abstract_has_math":false,"creators":["Le, Thi Thieu Hoa"],"institution":"Università degli studi di Trento","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Passerone, Roberto"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014","date_published":"2014","updated_at":"2026-07-24T05:04:22Z","subjects":["Settore INF/01 - Informatica"],"languages":["eng"],"rights":["info:eu-repo/semantics/openAccess","license:Tutti i diritti riservati (All rights reserved)"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["http://dx.doi.org/10.15168/11572_368964","10.15168/11572_368964"],"render_values":[{"text":"http://dx.doi.org/10.15168/11572_368964","href":"http://dx.doi.org/10.15168/11572_368964","code":true},{"text":"10.15168/11572_368964","href":"https://doi.org/10.15168/11572_368964","code":true}]}]},"links":{"outbound_url":"https://hdl.handle.net/11572/368964","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Le, Thi Thieu Hoa","Passerone, Roberto"]},{"key":"dc:creator","label":"Author","values":["Le, Thi Thieu Hoa"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014"]},{"key":"dc:publisher","label":"Institution","values":["Università degli studi di Trento","place:TRENTO"]},{"key":"dc:relation","label":"Dc Relation","values":["firstpage:1","lastpage:117","numberofpages:117"]},{"key":"dc:type","label":"Dc Type","values":["info:eu-repo/semantics/doctoralThesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Settore INF/01 - Informatica"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["info:eu-repo/semantics/openAccess","license:Tutti i diritti riservati (All rights reserved)"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/11572/368964","http://dx.doi.org/10.15168/11572_368964","10.15168/11572_368964"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In the distributed development of modern IT systems, contracts play a vital role in ensuring interoperability of components and adherence to specifica- tions. The design of embedded systems, however, is made more complex by the heterogeneous nature of components, which are often described using different models and interaction mechanisms. Composing such components is generally not well-defined, making design and verification difficult. Sev- eral denotational frameworks have been proposed to handle heterogeneity using a variety of approaches. However, the application of heterogeneous modeling frameworks to contract-based design has not yet been investigated. In this work, we develop an operational model with precise heterogeneous denotational semantics, based on tag machines, that can represent hetero- geneous composition, and provide conditions under which composition can be captured soundly and completely. The operational framework is imple- mented in a prototype tool which we use for experimental evaluation. We then construct a full contract model and introduce heterogeneous compo- sition, refinement, dominance, and compatibility between contracts, alto- gether enabling a formalized and rigorous design process for heterogeneous systems. Besides, we also develop a generic algebraic method to synthe- size or refine a set of contracts so that their composition satisfies a given contract."]},{"key":"dc:title","label":"Title","values":["A Tag Contract Framework for Modeling Heterogeneous Systems"]}]}],"canonical_facts":{"dc:contributor":["Le, Thi Thieu Hoa","Passerone, Roberto"],"dc:creator":["Le, Thi Thieu Hoa"],"dc:date":["2014"],"dc:description":["In the distributed development of modern IT systems, contracts play a vital role in ensuring interoperability of components and adherence to specifica- tions. The design of embedded systems, however, is made more complex by the heterogeneous nature of components, which are often described using different models and interaction mechanisms. Composing such components is generally not well-defined, making design and verification difficult. Sev- eral denotational frameworks have been proposed to handle heterogeneity using a variety of approaches. However, the application of heterogeneous modeling frameworks to contract-based design has not yet been investigated. In this work, we develop an operational model with precise heterogeneous denotational semantics, based on tag machines, that can represent hetero- geneous composition, and provide conditions under which composition can be captured soundly and completely. The operational framework is imple- mented in a prototype tool which we use for experimental evaluation. We then construct a full contract model and introduce heterogeneous compo- sition, refinement, dominance, and compatibility between contracts, alto- gether enabling a formalized and rigorous design process for heterogeneous systems. Besides, we also develop a generic algebraic method to synthe- size or refine a set of contracts so that their composition satisfies a given contract."],"dc:identifier":["https://hdl.handle.net/11572/368964","http://dx.doi.org/10.15168/11572_368964","10.15168/11572_368964"],"dc:language":["eng"],"dc:publisher":["Università degli studi di Trento","place:TRENTO"],"dc:relation":["firstpage:1","lastpage:117","numberofpages:117"],"dc:rights":["info:eu-repo/semantics/openAccess","license:Tutti i diritti riservati (All rights reserved)"],"dc:subject":["Settore INF/01 - Informatica"],"dc:title":["A Tag Contract Framework for Modeling Heterogeneous Systems"],"dc:type":["info:eu-repo/semantics/doctoralThesis"]},"updated_at":"2026-07-24T05:04:22Z"}