Security Requirements Specification and Tracing within Topological Functioning Model

Specification and traceability of security requirements is still a challenge since modeling and analysis of security aspects of systems require additional efforts at the very beginning of software development. The topological functioning model is a formal mathematical model that can be used as a reference model for functional and non-functional requirements of the system. It can also serve as a reference model for security requirements. The purpose of this study is to determine the approach to how security requirements can be specified and traced using the topological functioning model. This article demonstrates the suggested approach and explains its potential benefits and limitations

AN INFORMATION MODEL IN THE DOMAIN OF DISASSEMBLY PLANNING FOR SUSTAINABLE MANUFACTURING

Disassembly, a process of separating the End of Life (EOL) product into discrete components for re-utilizing their associated residual values, is an important part for the sustainable manufacturing. This work focuses on the modeling of the disassembly planning related information, and develops a Disassembly Information Model (DIM) based on an extensive investigation of various informational aspects of the disassembly planning. The developed Disassembly Information Model, which represents an appropriate systematization and classification of the products, processes, uncertainties and degradations related information, follows a layered modeling methodology. In this layered configuration, the DIM is subdivided into three distinct layers with an intent to separate general knowledge into different levels of abstractions, and to reach a balance between information reusability and information usability. The performance evaluation of the DIM (usability and reusability) is accessed by successful implementations of the DIM model into two prototype software applications in the domain of disassembly planning. The first application, called the Disassembly Sequence Generator (DSG), identifies the optimal disassembly sequence using a CAD based searching algorithm and a disassembly Linear Programming (LP) model. The searching process results in an AND/OR graph, which represents all the feasible disassembly sequences of a specific EOL product; whereas the LP model takes the AND/OR graph as an input and determines the economically optimal process sequence among all the possibilities. The second application is called the Adaptive Disassembly Planning (ADP), which further takes the EOL product uncertainty and degradation issues into consideration. In order to address these issues, fuzzy logic and Bayesian Network methodologies are used to develop a Disassembly Decision Network (DDN), which adaptively generates the optimal disassembly sequence based on the current available information. This research work is the first attempt to develop a comprehensive Information Model in the domain of disassembly planning. The associated modeling methodology that has been developed in this research is generic and scalable, and it could be widely adopted in other engineering domains, like product assembly, production planning, etc. The ultimate objective of this work is to standardize the DIM into a reference model that will be acknowledged and agreed upon by the sustainable manufacturing community

"Ontological Representation of Constraints for Geographical Reasoning"

We describe a framework that supports multiple types of constraint-based reasoning tasks on a geographic domain, by exploiting a semantic representation of the domain itself and of its constraints. Our approach is based on an abstract graph representation of a geographical area and of its relevant properties, for performing the reasoning tasks. As a test-bed, we consider the domain of Ecological Networks (ENs), which describe the structure of existing real ecosystems and help planning their expansion, conservation and improvement by introducing constraints on land use. While some previous work has been done about supporting the verification of compliance of fully specified ENs, we aim at taking a significant step further, by addressing the automatic suggestion of suitable aggregations of land patches into elements of the EN. This automated generation of EN elements is relevant to support the human planner in the design of public policies for land use because it leverages automated tools to carry out a possibly lengthy and error-prone task

Modeling of systems

The handbook contains the fundamentals of modeling of complex systems. The classification of mathematical models is represented and the methods of their construction are given. The analytical modeling of the basic types of processes in the complex systems is considered. The principles of simulation, statistical and business processes modeling are described. The handbook is oriented on students of higher education establishments that obtain a degree in directions of “Software engineering” and “Computer science” as well as on lecturers and specialists in the domain of computer modeling

Spatial ontologies for architectural heritage

Informatics and artificial intelligence have generated new requirements for digital archiving, information, and documentation. Semantic interoperability has become fundamental for the management and sharing of information. The constraints to data interpretation enable both database interoperability, for data and schemas sharing and reuse, and information retrieval in large datasets. Another challenging issue is the exploitation of automated reasoning possibilities. The solution is the use of domain ontologies as a reference for data modelling in information systems. The architectural heritage (AH) domain is considered in this thesis. The documentation in this field, particularly complex and multifaceted, is well-known to be critical for the preservation, knowledge, and promotion of the monuments. For these reasons, digital inventories, also exploiting standards and new semantic technologies, are developed by international organisations (Getty Institute, ONU, European Union). Geometric and geographic information is essential part of a monument. It is composed by a number of aspects (spatial, topological, and mereological relations; accuracy; multi-scale representation; time; etc.). Currently, geomatics permits the obtaining of very accurate and dense 3D models (possibly enriched with textures) and derived products, in both raster and vector format. Many standards were published for the geographic field or in the cultural heritage domain. However, the first ones are limited in the foreseen representation scales (the maximum is achieved by OGC CityGML), and the semantic values do not consider the full semantic richness of AH. The second ones (especially the core ontology CIDOC – CRM, the Conceptual Reference Model of the Documentation Commettee of the International Council of Museums) were employed to document museums’ objects. Even if it was recently extended to standing buildings and a spatial extension was included, the integration of complex 3D models has not yet been achieved. In this thesis, the aspects (especially spatial issues) to consider in the documentation of monuments are analysed. In the light of them, the OGC CityGML is extended for the management of AH complexity. An approach ‘from the landscape to the detail’ is used, for considering the monument in a wider system, which is essential for analysis and reasoning about such complex objects. An implementation test is conducted on a case study, preferring open source applications

Spatial ontologies for architectural heritage

Informatics and artificial intelligence have generated new requirements for digital archiving, information, and documentation. Semantic interoperability has become fundamental for the management and sharing of information. The constraints to data interpretation enable both database interoperability, for data and schemas sharing and reuse, and information retrieval in large datasets. Another challenging issue is the exploitation of automated reasoning possibilities. The solution is the use of domain ontologies as a reference for data modelling in information systems. The architectural heritage (AH) domain is considered in this thesis. The documentation in this field, particularly complex and multifaceted, is well-known to be critical for the preservation, knowledge, and promotion of the monuments. For these reasons, digital inventories, also exploiting standards and new semantic technologies, are developed by international organisations (Getty Institute, ONU, European Union). Geometric and geographic information is essential part of a monument. It is composed by a number of aspects (spatial, topological, and mereological relations; accuracy; multi-scale representation; time; etc.). Currently, geomatics permits the obtaining of very accurate and dense 3D models (possibly enriched with textures) and derived products, in both raster and vector format. Many standards were published for the geographic field or in the cultural heritage domain. However, the first ones are limited in the foreseen representation scales (the maximum is achieved by OGC CityGML), and the semantic values do not consider the full semantic richness of AH. The second ones (especially the core ontology CIDOC – CRM, the Conceptual Reference Model of the Documentation Commettee of the International Council of Museums) were employed to document museums’ objects. Even if it was recently extended to standing buildings and a spatial extension was included, the integration of complex 3D models has not yet been achieved. In this thesis, the aspects (especially spatial issues) to consider in the documentation of monuments are analysed. In the light of them, the OGC CityGML is extended for the management of AH complexity. An approach ‘from the landscape to the detail’ is used, for considering the monument in a wider system, which is essential for analysis and reasoning about such complex objects. An implementation test is conducted on a case study, preferring open source applications