Standards, Volume 4, Issue 3 (September 2024) – 3 articles

The gap between software design and implementation often results in a lack of clarity and precision. Formal languages, based on mathematical rules, logic, and symbols, are invaluable for specifying and verifying system designs. Various semi-formal and formal languages, such as JSON, XML, predicate logic, and regular expressions, along with formal models like Turing machines, serve specific domains. This paper introduces a new specification formal language, ObTFL (Object Transaction Formal Language), developed for general-purpose distributed systems, such as specifying the interactions between servers and IoT devices and their security protocols. The paper details the syntax and semantics of ObTFL and presents three real case studies—federated learning, blockchain for crypto and bitcoin networks, and the industrial PCB board with machine synchronization—to demonstrate its versatility and effectiveness in formally specifying the interactions and behaviors of distributed systems. Full article

District heating and cooling networks represent a compelling energy system solution due to their capacity to integrate renewable energies and leverage local surpluses of thermal resources. The meticulous design and optimization of network infrastructure are imperative to fully exploiting the potential of these energy systems. The Life Cycle Assessment of district heating and cooling networks for the purpose of environmental sustainability is a crucial and increasingly demanded aspect, particularly in light of the progressively stringent European regulations. The Life Cycle Assessment methodology could offer an evaluation throughout the entire life cycle of such networks. The proposed review scrutinizes the application of the Life Cycle Assessment methodology to evaluating the environmental profile of district heating and cooling systems. The methods, findings, and challenges are examined through a literature review and case study analysis. The results highlight variations in the climate profile influenced by the network generation type and multifunctionality approaches. The analysis revealed a range of emission factors, spanning from 11 gCO₂eq/kWh_th to 470 gCO₂eq/kWh_th for district heating and 6 gCO₂eq/kWh_th to 64 gCO₂eq/kWh_th for district cooling. The discussion emphasizes integrating district heating and cooling network management considerations and addressing methodological challenges. This study concludes by proposing future research directions for developing a universal LCA-based tool for district heating and cooling network analysis. Full article

This article explores the relationship between local authorities (mainly municipal organisations) and a central purchasing body (CPB). It critiques, from an agency theory perspective, the difficulties in aligning socio-economic goals of multiple municipal organisations with the pursuit of procurement goals by the CPB. The aim of this study is to explore which solutions, (governance mechanisms) for agency problems within a Dutch municipality–CPB relationship, are critical in aligning socio-economic goals within a collaborative public procurement (CPP) setting. The quantitative analysis of data from a questionnaire was used to conduct an explorative factor analysis (EFA). The questionnaire was issued to all municipalities in the Netherlands. Grounded on the EFA, the underlying factors within five categories of governance mechanisms for agency problems were recognised. Besides supporting the existing theory, this study provides additional knowledge in the field of agency theory and collaborative public procurement (CPP). The study resulted in the development of a comprehensive measurement scale to conduct research based on agency theory within the context of CPP governance and specifically in the area of central purchasing bodies. The results of this study are applicable in practise on an administrative and management level. Municipal organisations that initiate and/or govern a central purchasing body can take the results of this study into account to develop new standards on the further development of the CPB. At a managerial level, this study provides useful insight for decision-makers in municipal organisations to improve the way in which a CPB executes collective tenders at hand and determine if the joint approach delivers the best results in terms of their procurement objectives. Full article