Prospective Enhancement of Urban Planning Methodology Based on OO Modeling and Rational Unified Process

Objective of paper is to try to define preliminary release for new urban planning methodology24 based on strong positive knowledge and practice of Object Oriented Methodologies, particular Unified Process and Model Driven Architecture widely used in IT industry. This should be in the same time starting step for the whole process of establishing this methodology which we consider as extremely complex, extensive and long-lasting as it is described later. One of the most important and effective characteristics of Unified Process is its iterative approach resulting in incremental advancement towards targeted goals opposite to the more traditional “waterfall” approach. We suggest the same method for urban planning methodology definition process previously mentioned. Actually, this method suggests to start with simple and small models and methodology elements25, which may not look useful at the start, and iterative improve it to the complex, strong and valuable methodology at the end. This is the way how modern IT methodology and modeling techniques are built to this level of complexity and expressiveness. Recommended method is especially important for urban planning methodology establishment process as complex and multidisciplinary research of application of formal methods, modeling methods, and theory for the solution of spatial problems including building environment, spatial city or regional structure. Planning theory and practice currently use several different methodologies or planning techniques but most of them are typically partial, verbal and informal, restricted to the local ambient, non-automated and thus especially difficult to be established within the IT. There is reasonable advancement in the different categories like GIS, Planning Support Systems, Decision Support System, Sketch Design, Modeling and automata theory. GIS, as the most mature one, is still not solution for all and whole problem of urban planning as it is explained in the literature (L8, L18). Planning and Decision support systems are still more in the academic and discussion phase than in actual implementation and use (L11, L13). Automata theory is exceptionally good and already widely used but has very limited implementation covering only narrow problem domain subset (L1, L10). Sketch Design and Modeling are not developed to the useful level despite theirs recent resurrection (L5, L6, L16, L17). Situation within the IT industry is opposite and we may find emerging standards for Analysis, Design, Implementation, Testing and Deployment of computer based systems which are successfully applied in many vertical industries. Results are improved controllability, quality, efficiency and accuracy of solutions, active participation of all participants, knowledge accumulation, knowledge transfer and at the end complete industry improvement. Papers propose multidisciplinary research focused on development, advancement and application of formal computer based modeling methodologies for better understanding and improvement of urban systems. Result of this research is not new programming or software tool, ready to solve all possible problems encountered to the planners in everyday work, but it is formal and standardized planning methodology. This methodology may be later used for software tool production as it was the case in the IT industry. For this we suggest as starting point OO Modeling (L7, L16), Unified Process (L12) and Unified Modeling Language (L4, L14). It is obvious that linear and direct application of Unified Process, to the urban systems, is not appropriate therefore localization to the urban domain should occur. Once again we strongly want to recommend iterative and incremental approach to the whole process and therefore we may consider this as a process of establishment of formal planning methodology26. Proposed Establishment Process is extremely difficult and complex therefore all participants should take active role. Moreover, it certainly requires a strong and widely supported strategic decision within the urban industry before it even starts. Without this support the whole research is destined to fail since it can not be established properly and will not be used and further developed. We will emphasize existence of two targeted directions of proposed research. The First considers mutation and application of Unified Process methodology and UML to the urban planning and urban systems domain and the second targets further enhancement of urban planning knowledge and techniques as the result of applied formal methodology. The First direction will question and improve Unified Process and UML completeness and universality through its further enrichment, by adding and generalize domain specific particularities. The Second direction aims to establish new planning methodology as solution for emerging problems found in contemporary urban systems

Iterative criteria-based approach to engineering the requirements of software development methodologies

Software engineering endeavours are typically based on and governed by the requirements of the target software; requirements identification is therefore an integral part of software development methodologies. Similarly, engineering a software development methodology (SDM) involves the identification of the requirements of the target methodology. Methodology engineering approaches pay special attention to this issue; however, they make little use of existing methodologies as sources of insight into methodology requirements. The authors propose an iterative method for eliciting and specifying the requirements of a SDM using existing methodologies as supplementary resources. The method is performed as the analysis phase of a methodology engineering process aimed at the ultimate design and implementation of a target methodology. An initial set of requirements is first identified through analysing the characteristics of the development situation at hand and/or via delineating the general features desirable in the target methodology. These initial requirements are used as evaluation criteria; refined through iterative application to a select set of relevant methodologies. The finalised criteria highlight the qualities that the target methodology is expected to possess, and are therefore used as a basis for de. ning the final set of requirements. In an example, the authors demonstrate how the proposed elicitation process can be used for identifying the requirements of a general object-oriented SDM. Owing to its basis in knowledge gained from existing methodologies and practices, the proposed method can help methodology engineers produce a set of requirements that is not only more complete in span, but also more concrete and rigorous

Business Domain Modelling using an Integrated Framework

This paper presents an application of a “Systematic Soft Domain Driven Design Framework” as a soft systems approach to domain-driven design of information systems development. The framework combining techniques from Soft Systems Methodology (SSM), the Unified Modelling Language (UML), and an implementation pattern known as “Naked Objects”. This framework have been used in action research projects that have involved the investigation and modelling of business processes using object-oriented domain models and the implementation of software systems based on those domain models. Within this framework, Soft Systems Methodology (SSM) is used as a guiding methodology to explore the problem situation and to develop the domain model using UML for the given business domain. The framework is proposed and evaluated in our previous works, and a real case study “Information Retrieval System for academic research” is used, in this paper, to show further practice and evaluation of the framework in different business domain. We argue that there are advantages from combining and using techniques from different methodologies in this way for business domain modelling. The framework is overviewed and justified as multimethodology using Mingers multimethodology ideas

A methodological proposal and tool support for the HL7 standards compliance in the development of health information systems

Health information systems are increasingly complex, and their development is presented as a challenge for software development companies offering quality, maintainable and interoperable products. HL7 (Health level 7) International, an international non-profit organization, defines and maintains standards related to health information systems. However, the modelling languages proposed by HL7 are far removed from standard languages and widely known by software engineers. In these lines, NDT is a software development methodology that has a support tool called NDT-Suite and is based, on the one hand, on the paradigm of model-driven engineering and, on the other hand, in UML that is a widely recognized standard language. This paper proposes an extension of the NDT methodology called MoDHE (Model Driven Health Engineering) to offer software engineers a methodology capable of modelling health information systems conforming to HL7 using UML domain models

Knowledge formalization in experience feedback processes : an ontology-based approach

Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understand and to solve the problems that happen in their organizations. Continuous improvement methodologies are powerful tools in order to understand and to solve problems, to control the effects of changes and finally to capitalize knowledge about changes and improvements. These tools involve suitably represent knowledge relating to the concerned system. Consequently, knowledge management (KM) is an increasingly important source of competitive advantage for organizations. Particularly, the capitalization and sharing of knowledge resulting from experience feedback are elements which play an essential role in the continuous improvement of industrial activities. In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an experience feedback (EF) process aiming at transforming information or understanding gained by experience into explicit knowledge. The reuse of such knowledge has proved to have significant impact on achieving themissions of companies. However, the means of describing the knowledge objects of an experience generally remain informal. Based on an experience feedback process model and conceptual graphs, this paper takes domain ontology as a framework for the clarification of explicit knowledge and know-how, the aim of which is to get lessons learned descriptions that are significant, correct and applicable

A formal verification framework and associated tools for enterprise modeling : application to UEML

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties

Conceptual Spaces in Object-Oriented Framework

The aim of this paper is to show that the middle level of mental representations in a conceptual spaces framework is consistent with the OOP paradigm. We argue that conceptual spaces framework together with vague prototype theory of categorization appears to be the most suitable solution for modeling the cognitive apparatus of humans, and that the OOP paradigm can be easily and intuitively reconciled with this framework. First, we show that the prototypebased OOP approach is consistent with Gärdenfors’ model in terms of structural coherence. Second, we argue that the product of cloning process in a prototype-based model is in line with the structure of categories in Gärdenfors’ proposal. Finally, in order to make the fuzzy object-oriented model consistent with conceptual space, we demonstrate how to define membership function in a more cognitive manner, i.e. in terms of similarity to prototype