Active Semantic Relations in Layered Enterprise Architecture Development
- 919 Downloads
Enterprise Architecture (EA) metamodels align an organisation’s business, information and technology resources so that these assets best meet the organisation’s purpose. The Layered EA Development (LEAD) Ontology enhances EA practices by a metamodel with layered metaobjects as its building blocks interconnected by semantic relations. Each metaobject connects to another metaobject by two semantic relations in opposing directions, thus highlighting how each metaobject views other metaobjects from its perspective. While the resulting two directed graphs reveal all the multiple pathways in the metamodel, more desirable would be to have one directed graph that focusses on the dependencies in the pathways. Towards this aim, using CG-FCA (where CG refers to Conceptual Graph and FCA to Formal Concept Analysis) and a LEAD case study, we determine an algorithm that elicits the active as opposed to the passive semantic relations between the metaobjects resulting in one directed graph metamodel. We also identified the general applicability of our algorithm to any metamodel that consists of triples of objects with active and passive relations.
KeywordsEnterprise architecture frameworks Layered enterprise architecture development Business-IT alignment Ontology Semantics and reasoning Conceptual structures Model verification and validation
Enterprise Architecture (EA) is a comprehensive approach to the documentation and understanding of organisational composition to promote alignment of its business, information and technology assets . The Layered Enterprise Architecture Development (LEAD) Ontology includes a metamodel that is underpinned by building blocks consisting of 91 metaobjects organised in layers and sub-layers [7, 14]. Semantic relations link the metaobjects thereby integrating all aspects of business, information, and technology for any organisation. These multiple relations highlight the inbuilt interconnections and the interdependencies between the elements in an enterprise. Conceptual Graphs (CG) are a formalised method of knowledge representation based on concepts and their relations [11, 12]. Formal Concept Analysis (FCA) is a principled approach to determining a conceptual hierarchy of objects and their attributes . FCA interrelates objects through their related attributes, thus enabling FCA to determine and visualise a conceptual hierarchy . A CG can visually display LEAD’s metaobjects and their semantic relations by linking each concept to another via these relations; however, validation can be difficult due to the manual nature of the task . Subsequently, processing these ‘triples’ (metaobject–relation–metaobject) via FCA can highlight gaps in the model, revealing an organisational gap or human error in the modelling process. Thus, while a manual review of the LEAD artefacts can identify organisational gaps, an element of mathematical rigour can be applied to the process thereby complementing LEAD through the application of CG and FCA [6, 8].
2 The Metamodel Diagram
3 Activating the Metamodel
The CGtoFCA algorithm converts the inherent ternary relations of CGs to the binary relations required for FCA . This algorithm can also apply to other directed graph triples, including LEAD metamodels as illustrated by Fig. 1 . The formal concepts can then appear in a Formal Concept Lattice (FCL). The CG-FCA software based on CGtoFCA thus facilitates an improved understanding of LEAD metamodels in tandem with highlighting human errors in the manual modelling process [1, 9]. Further to that previous work, and in search of the metaobjects’ dependence on each other, the proposed algorithm shown in Fig. 2 distinguishes the active and passive semantic relations. An active relation depicts a situation whereby a metaobject directs another, with the latter metaobject dependent on it, i.e. the passive relation. Following the identification of all the active relations, the algorithm incrementally rebuilds the model and removes unwanted semantic cycles before being visualised in an FCL.
Following Fig. 2, we reviewed each two-way semantic relation to determine which should be assigned active or passive status and created an initial active model. We examined the semantics in the narrative of the relations and identified which metaobject was directing the other and vice versa. We then rebuilt the model by reviewing each concept in turn to remove semantic cycles . Where both a direct and indirect pathway exists between two metaobjects, we removed the former, as the latter illustrates the mediating metaobjects. This step enabled a deeper understanding of the interdependencies. The ternary relations were compiled as 3-column CSV files and processed by the CG-FCA application to create the binary concepts. The operations and outcomes for each metaobject CSV file were recorded in a table to document the steps taken. After successfully refactoring each concept, we generated the FCL.
Refactoring the Capability sublayer of the metamodel – Active Organisation, Role, and Organisational Function.
Operation & Outcomes
Operation: Adding all active (o, v, s) \(\epsilon \) 00ActiveAll.csv with o or s = Organisation to empty file Outcome: No semantic cycles in 01ActiveOrganisation_report.txt
Operation: Adding all active (o, v, s) \(\epsilon \) 00ActiveAll.csv with o or s = Role to 01ActiveOrganisation.csv Outcome: No semantic cycles in 02ActiveRole_report.txt
Operation: Adding all active (o, v, s) \(\epsilon \) 00ActiveAll.csv with o or s = Organisational Function to 02ActiveRole.csv Outcome: No semantic cycles in 03ActiveOrganisationalFunction_report.txt
Refactoring the data sublayer of the metamodel – Active Data Object.
Operation & Outcomes
Operation: Adding all active (o, v, s) \(\epsilon \) 00ActiveAll.csv with o or s = Data Object to 15ActiveDataComponent.csv Outcome: Two hundred thirty-five semantic cycles in 16ActiveDataObject_report.txt
Operation: Deletion of transitive relation ‘Data Object - influences the design of - Application Service’ Outcome: One hundred twelve semantic cycles in 16v2ActiveDataObject_report.txt
Operation: Deletion of transitive relation ‘Data Service – encapsulates – Data Object’ Outcome: Three semantic cycles in 16v3ActiveDataObject_report.txt
Operation: Deletion of transitive relation ‘Data Object - influences the design of - Application Task’ Operation: Deletion of transitive relation ‘Data Object - assumes or specifies - Platform Component’ Outcome: No semantic cycles in 16v4ActiveDataObject_report.txt
The first five metaobject CSV files contained no cycles, three of which are detailed in Table 1. Subsequently, five cycles appeared in 06ActiveLocation.csv. The decision to replace ‘Product - at - Location’ with ‘Location - at - Product’ resolved all cycles1.
3.3 Formal Concept Lattice
To visualise the output of CG-FCA, we created the FCL for 25ActiveInfrastructureService.csv, displayed in Fig. 3. The FCL lucidly exhibits the dependencies and driving metaobjects. A salient example is Product illustrated as being dependent on Process, which in turn is dependent on Role. In the context of the warehouse pick pack process, this dependency suggests that the product that is picked and packed is dependent on the process for doing so, which in turn is dependent on the employee that executes the process. Perhaps the most initially striking element of the FCL is the presence of Platform Component within the top-most formal concept, implying all objects below it in the diagram, i.e. its extent, are in some way dependent on it. While we might expect that technology ought to be driven by business, technology can drive business. For example, in recent years, the rise of cloud computing (a Platform Component) has driven a proliferation of decentralised business models. Accordingly, remote working is the norm and the presence of physical business components (Business Object, Location) is either minimised or eschewed entirely dependent on the industry.
A further interesting element elucidated in the FCL is ‘Platform Device – hosts – Application/System’, which implies that an Application/System is dependent on a Platform Device. This active pathway suggests that Platform Devices are the starting points, with the Application/System developed based on the specifications, constraints, and existence of the Platform Devices. While this makes sense, so does the opposing view, whereby Platform Device should be dependent upon Application/System because without an application to run, for what purpose does the device exist?
The presence of an empty formal concept close to the top of the lattice is also notable, and several potential explanations exist. Firstly, it could merely be a mistake in the modelling process, a probability which is heightened by the vast number of cycles encountered at some stages of the refactoring. Secondly, it could also be that the empty formal concept is irrelevant, as it exists purely as a vehicle for the facilitation of human understanding. Thirdly, and most speculatively, it could be pointing to a hitherto unnamed formal concept object, which in turn could potentially indicate a new metaobject arising from the other metaobjects and semantic relations, already validated by the LEADing Practice community.
To remedy Platform Component’s presence in the top-most formal concept, we reviewed the FCL and identified the source as ‘Platform Component – serves – Location’. For convenience, the triple was substituted with the passive triple, as were the two further triples containing the ‘serves’ semantic relation. Figure 4 displays the resultant FCL.
The revised FCL arguably presents a more intuitive model in the context of the warehouse pick pack process, with Location preceding Platform Component and much of the lattice being dependent upon the former. As pick pack represents the physical process of picking and packing goods at a location – a concept that pre-dates technology platforms, the revised interpretation offers a more lucid model. However, we note that due to the manual and interpretative nature of the exercise, other modellers could feasibly reach different conclusions.
We have demonstrated that an active direction graph can be attained via the identification of active semantic relations, rebuilding of concepts, and visualisation via an FCL. The proposed algorithm depicted by Fig. 2 enabled us to elaborate on the identification and rebuilding stages, supported by the CGtoFCA algorithm implemented in the CG-FCA application. The ensuing FCL presented a clear view of metaobject dependency and driving forces, consequently providing a deeper understanding of the LEAD framework both generally and in the context of a warehouse pick pack process.
In the context of the warehouse pick pack process, if we consider the ‘picking’ Business Service, the active FCL suggests this is dependent upon Process. Review of the decomposition of the Process metaobject shows the various process steps undertaken by the Warehouse Admin. Many of these steps must be completed before the Picker can begin picking, which supports the notion that the picking Business Service’s KPIs, e.g. picks per hour, could be adversely impacted by the process on which it depends.
4.2 Current Limitations
We are aware that our choice of semantic relations from E+ might question the external validity of the work. From our experiments, we can quantify the scale of absent semantic relations as fifty-four out of two hundred ninety-four for the selected metaobjects. However, the number of incorrectly identified semantic relations (e.g. process – delivered by – Business Service) is unknown at this time. Both issues affect the selection process, as potentially erroneous assumptions for the former and the latter are uncertain by nature. These considerations are pertinent as they influence the active vs. passive selection, which in turn impacts all pathways associated with the triple. Inclusion of a triple from all one hundred forty-seven pairs of semantic relations potentially contributed to the issues with the CG-FCA application, reflecting the combinatorial explosion.
Similarly, the inclusion of triples with identical two-way semantic relations, e.g. Application Task and Data Table, increased the complexity of the task, subsequently increasing the likelihood of errors. While we based our approach on the proposed algorithm and selecting the TDV relation in these instances based on sound logic, alternative methods may exist. The omission of all identical two-way semantic relations would provide consistency but also prevent the explication of all pathways containing those triples. The manual nature of the exercise should also be considered, especially in the case of where many cycles occur. Determining which triple is most common across cycles by eye is imprecise when reviewing such a substantial data set.
Furthermore, we chose pathways based upon our intuitive knowledge of the LEAD framework. For example, during refactoring of 08ActiveProcess.csv, three triples were deleted (‘Process – produces/consumes – Data Object’, ‘Process – produces/consumes – Information Object’, and ‘Application Task – partially or fully automates – Process’) based on the assumption that other pathways with more mediating metaobjects existed. This decision was based on the distance between the metaobjects in the LEAD layers and was later validated with the discovery of ‘Data Object – influences the design of – Application Task – uses – Data Table – encapsulates – Information Object – specialises as – Application Function – describes the automation of – Process’ in 16ActiveDataObject_report.
However a more precise approach might be preferable, such as a tool that accepts an input and output metaobject in addition to all other metaobjects within the set, before returning a list of pathways in descending length order. If an algorithm comprises both logic and control, we can improve its control element . The modeller acting as a ‘manual’ control by 1) being aware of the effect of a more significant number of triples and therefore limiting them, and 2) determining triple commonality across cycles by eye, is not optimal. As we have demonstrated, the proposed algorithm significantly assisted, thus based on our experiences, there are routes to refine it further. Therefore, the approach could be improved if the refined version complemented the CGtoFCA algorithm implemented in the CG-FCA application. Hence, the refined version duly implemented alongside CG-FCA can account for one or both these issues.
4.3 Future Research
We started with a(n) (ontology-based) metamodel, composed of concepts that were related by two-way, or bidirectional, relationships. The large majority of these bidirectional relationships seemed to be active in one direction and passive in the other. The LEAD metamodel reveals which aspects of business (the concepts) act upon or impact on others. In the context of change management (but also of the day-to-day management of a company) it is important to be able distinguish between the causes (active) and the effects (passive) of management issues (in day-to-day management) and identify the levers (active) needed to “pull” in order to realise the wanted change, while accounting for the passive effects that pulling the levers might have.
In case semantic relationships were two-way active or two-way passive, we needed to evaluate whether they could be reformulated as active-passive couples, i.e. the presently pseudo-algorithm (Fig. 2) into one that can be computer-implemented. With help from software libraries or web services that for example allow us to identify and rephrase passive and active relationships—e.g. Grammarly (www.grammarly.com) or DeepL (www.deepl.com)—the pseudo-algorithm could be automated as real executable code.
Our formal analysis of the metamodel has two main objectives. First, optimising the hands-on nature of the metamodel as a management tool: by separating the active from the passive semantics it is easier to find causes of a management issue and the levers that act upon this problem (that needs to be addressed) using the active semantics. Additionally, the passive semantics allow for identifying the effects of this management issue (and building the business case for the change). Moreover, the passive semantics will allow for identifying the (positive and negative) side-effects of the change, as the levers that are chosen or pulled will have an impact on the change goal, but also on other aspects of management that are actively affected. As such this clear “chain of command” is expected to both help identify the levers to obtain a desired change and minimise its adverse effects. Second, in ontology engineering there is an expectation that directed graphs with active and passive semantic relations should be isomorphic, i.e. a passive directed graph is the flip side of an active one. However, where they are not, there needs to be an elaboration. Is the “chain of command” thus asymmetric, and why, or are there missing concepts? As such this formal approach could be combined with OntoClean, METHONTOLOGY or other ontology engineering approaches [4, 10].
We have shown that by distinguishing the active semantic relations in bidirectional (two-way directed) graphs that we can identify the dependencies in metamodels from their metaobject and semantic relation building blocks. Furthermore, we outlined how our approach provides value to industry practice, thus promoting a deeper and more widespread understanding of Layered Enterprise Architecture Development (LEAD) and the LEAD Enterprise Ontology.
- 1.Andrews, S., Polovina, S.: Exploring, reasoning with and validating directed graphs by applying formal concept analysis to conceptual graphs. In: Croitoru, M., Marquis, P., Rudolph, S., Stapleton, G. (eds.) GKR 2017. LNCS (LNAI), vol. 10775, pp. 3–28. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-78102-0_1CrossRefGoogle Scholar
- 2.Butterfield, A., Ngondi, G.E., Kerr, A. (eds.): A Dictionary of Computer Science, 7th edn. Oxford Quick Reference. Oxford University Press, Oxford, England (2016)Google Scholar
- 4.Guarino, N., Welty, C.A.: An Overview of OntoClean, pp. 151–171. Springer, Berlin Heidelberg, Berlin, Heidelberg (2004)Google Scholar
- 6.Polovina, S., Scheruhn, H., Weidner, S., Von Rosing, M.: Highlighting the gaps in enterprise systems models by interoperating CGS and FCA. In: Andrews, S., Polovina, S., (eds.), 22nd International Conference on Conceptual Structures (ICCS 2016), 5th-7th July, pp. 46–54. Tilburg University, 12 Jul 2016Google Scholar
- 7.Polovina, S., von Rosing, M., Etzel, G.: Leading the practice in layered enterprise architecture. CEUR Workshop Proc. 2574, 62–69 (2020)Google Scholar
- 9.Polovina, S., von Rosing, M., Laurier, W., Etzel, G.: Enhancing layered enterprise architecture development through conceptual structures. In: Endres, D., Alam, M., Şotropa, D. (eds.) ICCS 2019. LNCS (LNAI), vol. 11530, pp. 146–159. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23182-8_11CrossRefGoogle Scholar
- 10.Sawsaa, A., Lu, J.: Building information science ontology (OIS) with methontology and protégé. J. Internet Technol. Secur. Trans. (JITST) 1(3/4) (2012)Google Scholar
- 13.von Rosing, M., Laurier, W.: An introduction to the business ontology. Int. J. Concept. Struct. Smart Appl. (IJCSSA) 3(1), 20–41 (2015)Google Scholar
- 14.von Rosing, M., von Scheel, H.: Using the business ontology to develop enterprise standards. Int. J. Concept. Struct. Smart Appl. (IJCSSA) 4(1), 48–70 (2016)Google Scholar
- 15.Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts Ordered Sets. In: Proceedings of the NATO Advanced Study Institute held at Banff, Vol. 83, Canada, August 28 to September 12, 1981, pp. 445–470 (1982)Google Scholar
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.