付録B. 参考文献

[1] M. W. Maier, "Architecting Principles for Systems-of-Systems," Systems Engineering, vol. 1, no. 4, pp. 267-284, 1998.

[2] ISO/IEC/IEEE 21841:2019, Systems and Software Engineering - Taxonomy of Systems of Systems, 2019.

[3] A. Benveniste et al., "Contracts for System Design," Foundations and Trends in EDA, vol. 12, no. 2-3, pp. 124-400, 2018.

[4] A. Saoud, A. Girard, and L. Fribourg, "Assume-guarantee contracts for continuous-time systems," Automatica, vol. 134, 109910, 2021.

[5] P. Nuzzo, J. Li, A. L. Sangiovanni-Vincentelli, Y. Xi, and D. Li, "Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design," ACM Trans. Embedded Computing Systems, vol. 18, no. 1, pp. 1-26, 2019.

[6] IEC 62853:2018, Open Systems Dependability, 2018.

[7] E. Ostrom, Governing the Commons, Cambridge University Press, 1990.

[8] J. F. Hübner, J. S. Sichman, and O. Boissier, "Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels," Int. J. Agent-Oriented Software Engineering, vol. 1, no. 3/4, 2007.

[9] V. Dignum, "A Model for Organizational Interaction: Based on Agents, Founded in Logic," Ph.D. dissertation, Utrecht University, 2004.

[10] S. Sharifi et al., "Symboleo: Towards a specification language for legal contracts," in Proc. IEEE RE, pp. 364-369, 2020.

[11] C. Shimoyama and Y. Matsubara, "Governance as a Structural Design Variable: An Empirical Study of Performance-Autonomy Value Spaces in Systems of Systems," in Proc. 21st International Conference on System of Systems Engineering (SoSE), Kongsberg, Norway, 2026.

[12] H. Zhang and Y. Matsubara, "A System-of-Systems Resilience Analysis Framework Based on Stackelberg Evolution Game," in Proc. 21st International Conference on System of Systems Engineering (SoSE), Kongsberg, Norway, 2026.

[13] P. Friedrich, Y. Zhang, M. Curry, L. Dierks, S. McAleer, J. Li, T. Sandholm, and S. Seuken, "Scalable Mechanism Design for Multi-Agent Path Finding," in Proc. IJCAI, pp. 58-66, 2024.

[14] A. Rasti, D. Amyot, A. Parvizimosaed, M. Roveri, L. Logrippo, A. A. Anda, and J. Mylopoulos, "Symboleo2SC: From Legal Contract Specifications to Smart Contracts," in Proc. ACM/IEEE MODELS, pp. 300-310, 2022.

[15] D. Wu, F. Brudy, B. Liu, and Y. Wang, "IndoorWorld: Integrating Physical Task Solving and Social Simulation in A Heterogeneous Multi-Agent Environment," in Findings of ACL: EMNLP 2025, pp. 11078-11099, 2025.

[16] OECD, Innovative Citizen Participation and New Democratic Institutions: Catching the Deliberative Wave, OECD Publishing, Paris, 2020. doi:10.1787/339306da-en.

[17] European Parliament and Council of the European Union, "Regulation (EU) 2023/2854 of 13 December 2023 on harmonised rules on fair access to and use of data and amending Regulation (EU) 2017/2394 and Directive (EU) 2020/1828 (Data Act)," Official Journal of the European Union, OJ L, 2023/2854, 22 Dec. 2023.

[18] S. Zheng, A. Trott, S. Srinivasa, D. C. Parkes, and R. Socher, "The AI Economist: Taxation policy design via two-level deep multiagent reinforcement learning," Science Advances, vol. 8, no. 18, 2022.

[19] A. Mavridou and A. Laszka, "Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach," in Proc. Financial Cryptography and Data Security (FC), LNCS, Springer, pp. 523-540, 2018.

[20] Barcelona Supercomputing Center, vCity (urban digital twin project).

[21] A. Sedrati, A. Ouaddah, A. Mezrioui, and B. Bellaj, "IoT-Gov: an IoT governance framework using the blockchain," Computing, vol. 104, no. 10, pp. 2307-2345, 2022.

[22] Fujitsu Limited, "Social Digital Twin: Concept & Navigation - Measures for Traffic Congestion in Urban Areas," Fujitsu Research Portal, https://en-documents.research.global.fujitsu.com/sdtp-mobility/concept%26navigation/ (accessed Oct. 2026).

[23] Open Policy Agent, "OPA: Policy-based control for cloud native environments," CNCF Project, https://www.openpolicyagent.org/, 2024.

[24] M. Rouached, A. Akremi, M. Macherki, and N. Kraiem, "Policy-Based Smart Contracts Management for IoT Privacy Preservation," Future Internet, vol. 16, no. 12, 452, 2024.

[25] C. Folke, T. Hahn, P. Olsson, and J. Norberg, "Adaptive Governance of Social-Ecological Systems," Annual Review of Environment and Resources, vol. 30, pp. 441-473, 2005.

[26] M. N. Zitouni, A. A. Anda, S. Rajpal, D. Amyot, and J. Mylopoulos, "Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo," in Proc. IEEE/ACM RAISE, pp. 1-9, 2025.

[27] G. Rosa, D. Moreno-Lumbreras, G. Robles, and J. M. González-Barahona, "Understanding Specification-Driven Code Generation with LLMs: An Empirical Study Design," SANER 2026 Registered Report (Stage 1), arXiv:2601.03878, 2026.

[28] K. Lyytinen, B. Weber, M. C. Becker, and B. T. Pentland, "Digital twins of organization: implications for organization design," Journal of Organization Design, vol. 13, no. 3, pp. 77-93, 2024.

[29] OECD, "Innovative public participation," https://www.oecd.org/en/topics/sub-issues/open-government-and-citizen-participation/innovative-public-participation.html (accessed Oct. 2026).

[30] Object Management Group, "OMG Systems Modeling Language (SysML), Version 2.0," 2025, https://www.omg.org/spec/SysML/2.0.

[31] P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, Addison-Wesley, 2012.

[32] J. Hatcliff, J. Belt, Robby, and T. Carpenter, "HAMR: An AADL Multi-platform Code Generation Toolset," in Proc. ISoLA, LNCS 13036, pp. 274-295, 2021.

[33] E. Ostrom, Understanding Institutional Diversity, Princeton University Press, 2005.

[34] OpenStad, "OpenStad: open source platform for digital participation," initiated by the City of Amsterdam, https://openstad.org/ (accessed Oct. 2026).

[35] HL7 International, "HL7 FHIR Release 5," 2023, https://hl7.org/fhir/R5/.

[36] ISO/IEC 14977:1996, Information technology - Syntactic metalanguage - Extended BNF, 1996.

[37] O. Ben-Kiki, C. Evans, and I. döt Net, "YAML Ain't Markup Language (YAML) Version 1.2," Revision 1.2.2, 2021, https://yaml.org/spec/1.2.2/.

[38] K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell," Int. J. Software Tools for Technology Transfer, vol. 1, no. 1-2, pp. 134-152, 1997.

[39] A. Cimatti et al., "NuSMV 2: An OpenSource Tool for Symbolic Model Checking," in Proc. CAV, LNCS 2404, pp. 359-364, 2002.

[40] L. de Moura and N. Bjørner, "Z3: An Efficient SMT Solver," in Proc. TACAS, LNCS 4963, pp. 337-340, 2008.

[41] H. Barbosa et al., "cvc5: A Versatile and Industrial-Strength SMT Solver," in Proc. TACAS, LNCS 13243, pp. 415-442, 2022.

[42] Stanford Autonomous Systems Lab, "hj_reachability: Hamilton-Jacobi reachability analysis in JAX," https://github.com/StanfordASL/hj_reachability (accessed Oct. 2026).

[43] J. Feist, G. Grieco, and A. Groce, "Slither: A Static Analysis Framework for Smart Contracts," in Proc. IEEE/ACM WETSEB, pp. 8-15, 2019.

[44] E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, "Counterexample-Guided Abstraction Refinement," in Proc. CAV, LNCS 1855, pp. 154-169, 2000.

[45] N. Piterman, A. Pnueli, and Y. Sa'ar, "Synthesis of Reactive(1) Designs," in Proc. VMCAI, LNCS 3855, pp. 364-380, 2006.

[46] European Parliament and Council of the European Union, "Regulation (EU) 2016/679 of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data, and repealing Directive 95/46/EC (General Data Protection Regulation)," Official Journal of the European Union, L 119, pp. 1-88, 4 May 2016.

[47] Japan, Act on the Protection of Personal Information (Act No. 57 of 2003).

[48] G. Sartoretti, J. Kerr, Y. Shi, G. Wagner, T. K. S. Kumar, S. Koenig, and H. Choset, "PRIMAL: Pathfinding via Reinforcement and Imitation Multi-Agent Learning," IEEE Robotics and Automation Letters, vol. 4, no. 3, pp. 2378-2385, 2019.

[49] N. Boysen, S. Fedtke, and S. Schwerdfeger, "Last-mile delivery concepts: a survey from an operational research perspective," OR Spectrum, vol. 43, no. 1, pp. 1-58, 2021.

[50] The Solidity Authors, "Solidity Documentation," https://docs.soliditylang.org/ (accessed Oct. 2026).

[51] S. Macenski, T. Foote, B. Gerkey, C. Lalancette, and W. Woodall, "Robot Operating System 2: Design, architecture, and uses in the wild," Science Robotics, vol. 7, no. 66, eabm6074, 2022.

[52] E. Shinan et al., "Lark: a parsing toolkit for Python," https://github.com/lark-parser/lark (accessed Oct. 2026).

[53] S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, "Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances," in Proc. IEEE CDC, pp. 2242-2253, 2017.