Abstract
Bigraph was proposed as a formal theoretical model in attempt to provide a rigorous platform for designing, simulating and analyzing ubiquitous computing systems. As the mathematical basis of bigraphs, bigraphical categories become important aspects of their theory and they are related to precategoy, category, s-category, wide category and symmetric partial monoidal category. However, we detect trouble spots in the construction of bigraphical quotient category and illustrate that not all s-category can be converted to the symmetric partial monoidal category by the support quotient. Both support quotient and lean-support quotient, hence, are not always the symmetric partial monoidal category. And, likewise, the quotient wide s-category may not the wide symmetric partial monoidal category in general. Also, quotient wide re-active system may not be abstract, consequently for the same reason. There-fore, we must make clear what conditions on s-category allow us to obtain a symmetric partial monoidal category, and ensure that the behavioral congruence is preserved for the abstract bigraphical reactive system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ingólfsdóttir, A. (eds.) FoSSaCS 2006. LNCS, vol. 3921, pp. 187–201. Springer, Heidelberg (2006). https://doi.org/10.1007/11690634_13
Tsigkanos, C., et al.: Ariadne: topology aware adaptive security for cyber-physical systems. In: IEEE/ACM 37th IEEE International Conference on Software Engineering (2015)
Benford, S., et al.: On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Trans. Comput.-Hum. Interact. 23(2), 9 (2016)
Tsigkanos, C., et al.: On the interplay between cyber and physical spaces for adaptive security. IEEE Trans. Dependable Secure Comput. 15(3), 466–480 (2016)
Dib, A.T.E., et al.: Specification and verification of reconfigurable multi-agent system architectures. Multiagent Grid Syst. 12(2), 105–124 (2016)
Stary, C., et al.: System-of-systems support—a bigraph approach to interoperability and emergent behavior. Data Knowl. Eng. 105, 155–172 (2016)
Barr, C., Wells, M.: Category Theory for Computing Science. Prentice Hall, Upper Saddle River (1990)
Milner, R.: Bigraphical categories. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 30–36. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04081-8_3
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Xu, D., Li, X. (2019). On the Constructions of Bigraphical Categories. In: Ning, H. (eds) Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health. CyberDI CyberLife 2019 2019. Communications in Computer and Information Science, vol 1137. Springer, Singapore. https://doi.org/10.1007/978-981-15-1922-2_17
Download citation
DOI: https://doi.org/10.1007/978-981-15-1922-2_17
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-1921-5
Online ISBN: 978-981-15-1922-2
eBook Packages: Computer ScienceComputer Science (R0)