-
156Ontology-based security modeling in ArchiMateSoftware and Systems Modeling. forthcoming.Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign …Read more
-
Boosting D3FEND: Ontological analysis and recommendationsIn Formal Ontology in Information Systems, Ios Press. forthcoming.Formal Ontology is a discipline whose business is to develop formal theories about general aspects of reality such as identity, dependence, parthood, truth-making, causality, etc. A foundational ontology is a specific consistent set of these ontological theories that support activities such as domain analysis, conceptual clarification, and meaning negotiation. A (well-founded) core ontology specifies, under a foundational ontology, the central concepts and relations of a given domain. Foundation…Read more
-
206The Many Facets of TrustIn Formal Ontology in Information Systems, Ios Press. forthcoming.Trust is an attitude that an agent (the trustor) has toward an entity (the trustee), such that the trustor counts upon the trustee to act in a way that is benefi- cial w.r.t. to the trustor’s goals. The notion of trust is relevantly discussed both in in- formation science and philosophy. Unfortunately, we still lack a satisfying account for this concept. The goal of this article is to contribute to filling this gap. First, we take issue with some central tenets shared by the main philosophical a…Read more
-
306Ontological Analysis and Redesign of Security Modeling in ArchiMateIn The Practice of Enterprise Modeling - 15th IFIP WG 8.1 Working Conference, PoEM 2022, Springer. pp. 82-98. 2022.Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-fou…Read more
-
535An Ontology of Security from a Risk Treatment PerspectiveIn 41th International Conference, ER 2022, Proceedings, Springer. pp. 365-379. 2022.In Risk Management, security issues arise from complex relations among objects and agents, their capabilities and vulnerabilities, the events they are involved in, and the value and risk they ensue to the stakeholders at hand. Further, there are patterns involving these relations that crosscut many domains, ranging from information security to public safety. Understanding and forming a shared conceptualization and vocabulary about these notions and their relations is fundamental for modeling the…Read more
-
363Ontological Foundations of CompetitionIn Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018), Ios Press. pp. 96-112. 2018.It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competi…Read more
-
1436UFO: Unified Foundational OntologyApplied ontology 1 (17): 167-210. 2022.The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis…Read more
-
403Reification and Truthmaking PatternsIn J. Trujillo (ed.), Proceedings of 37th International Conference on Conceptual Modeling, ER 2018, Xi'an, China, October 22-25, 2018, Springer. pp. 151-165. 2018.Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analys…Read more
Tiago Prince Sales
Free University of Bozen-Bolzano
-
Free University of Bozen-BolzanoAssistant Professor
Bolzano, Trentino-South Tyrol, Italy