Search

This paper presents the process of real estate reallocation as a mass cadastral subdivision process of agrarian communities’ customary rights. The agricultural communities have existed for centuries and have been jointly owning and using the common land. Such gatherings were developed mainly due to the unique requirements deriving from land use and relief characteristics, such as joint forest management on mountain slopes. The main objective of this research has been to analyse the process of real estate subdivision, which has its legal background in Slovenian legislation. In this paper, the process of cadastral subdivision of land owned by agricultural communities is presented as a mass cadastral land subdivision process: from preparatory work to the new geometric structure of the common land. The cadastral, organisational, and engineering role of the chartered surveying engineer and the surveying company is examined. An aim of the paper is, inter alia, to develop a conceptual model of the process that will serve as a basis for optimisation, for a more just and more efficient distribution of assets among community members. The course of the individual steps of the community established land subdivision is shown with unified modelling language (UML) activity diagrams. As a case study, we have considered the subdivision of the property of the agricultural community of Zgornja Sorica in Slovenia.

Since web technologies are constantly evolving, the adaptation of legacy web applications to new paradigms such as rich internet applications (RIAs) is become a necessity. In such tendencies, we notice that several web leaders has already migrated their web applications to RIAs. However, it faces many challenges due to the variety of frameworks. Nevertheless, and in order to facilitate the process of migration, it would be ideal to use tools that could help automatically generate or ease the generation of UML (Unified Modeling Language) models from legacy web application. In this context, novel technical frameworks used for information integration and migration processes such as Architecture-Driven Modernization Task Force (ADMTF) were fashioned to describe specifications and promote industry accord on the modernization of existing applications. In this paper, we propose a process for migrating application from Struts to UML model using ADM standards and MoDisco. We then present a case study as an example illustrating the different steps of the proposed process. We then validated the proposition within Eclipse Modelling Framework since a number of its tools and run-time environments are indeed aligned with ADM standards.

This paper presents the process of real estate reallocation as a mass cadastral subdivision process of agrarian communities% customary rights. The agricultural communities have existed for centuries and have been jointly owning and using the common land. Such gatherings were developed mainly due to the unique requirements deriving from land use and relief characteristics, such as joint forest management on mountain slopes. The main objective of this research has been to analyse the process of real estate subdivision, which has its legal background in Slovenian legislation. In this paper, the process of cadastral subdivision of land owned by agricultural communities is presented as a mass cadastral land subdivision process: from preparatory work to the new geometric structure of the common land. The cadastral, organisational, and engineering role of the chartered surveying engineer and the surveying company is examined. An aim of the paper is, inter alia, to develop a conceptual model of the process that will serve as a basis for optimisation, for a more just and more efficient distribution of assets among community members. The course of the individual steps of the community established land subdivision is shown with unified modelling language (UML) activity diagrams. As a case study, we have considered the subdivision of the property of the agricultural community of Zgornja Sorica in Slovenia. V prispevku je predstavljen postopek razdružitve nepremičnega premoženja agrarnih skupnosti kot primer množične katastrske preureditve območja agrarne skupnosti. To je skupnost lastnikov zemljišč, ki obstaja več stoletij in ima v skupni lastnini ali solastnini zemljišča v vasi oziroma njeni bližini. Take oblike lastništva zemljišč so nastale predvsem na območjih, kjer so naravne razmere in raba zemljišč narekovali skupno upravljanje in izkoriščanje zemljišč, kot je na primer skupno upravljanje gorskih gozdov. Namen raziskave je bil vsebinsko in procesno analizirati postopek razdruževanja lastnine agrarnih skupnosti. Rezultat je sistematično opisan postopek operacije razdeljevanja zemljišč agrarnih skupnosti, in sicer kot množični katastrski postopek preurejanja zemljišč: od ugotavljanja obstoječega katastrskega stanja do nove parcelne strukture zemljišč. Ob tem je proučena katastrska, organizatorska in projektantska vloga pooblaščenega inženirja geodetske stroke in geodetskega podjetja v Sloveniji. Cilj prispevka je bil oblikovati konceptualni procesni model, ki bo podlaga za optimizacijo razdeljevanja premoženja med člane skupnosti. Zaporedni potek posameznih korakov razdružitve zemljišč agrarne skupnosti je predstavljen z diagrami aktivnosti v jeziku UML. Kot študijo primera obravnavamo razdelitev premoženja Agrarne skupnosti Zgornja Sorica

The processes starting with the identification and registration of treasury properties have an essential place in the cadastral systems. Spatial data modelling studies were conducted in 2002 to establish a common standard structure on the fundamental similarities of land management systems. These studies were stated as a beginning named Core Cadastral Domain Model (CCDM), since 2006, it has been started to be made under the name of LADM. This model was accepted in 2012 as a standard model in the field of land administration by the International Organization for Standardization (ISO). In this study, an external model class is proposed for LADM’s transactions related to Treasury’s real estates properties which are related National Property Automation Project (MEOP). In order to determine the deficiency of this current external model, databases containing records related to spatial data and property rights were examined, and the deficiencies related to transactions on treasury properties were determined. The created external class is associated with the LADM’s LA_Party, LA_RRR, LA_SpatialUnit and LA_BAUnit master classes. Herewith the standardization of the external data model is ensured. If the external model is implemented by the responsible standardization of the archiving processes will be more comfortable and faster to register. Resumo: Os processos que se iniciam na identificação e registo de bens do tesouro têm um lugar essencial nos sistemas cadastrais. Estudos de modelagem de dados espaciais foram conduzidos em 2002 para estabelecer uma estrutura padrão comum sobre as semelhanças fundamentais dos sistemas de gestão da terra. Esses estudos foram declarados como um início denominado Core Cadastral Domain Model (CCDM), desde 2006, passou a ser feito com o nome de LADM. Este modelo foi aceito em 2012 como um modelo padrão na área de administração de terras pela International Organization for Standardization (ISO). Neste estudo, uma classe de modelo externo é proposta para as transações do LADM relacionadas a propriedades imobiliárias do Tesouro que estão relacionadas ao Projeto de Automação Imobiliária Nacional (MEOP). Para apurar a deficiência do atual modelo externo, foram examinadas bases de dados contendo registros relativos a dados espaciais e direitos de propriedade e apuradas as deficiências relacionadas a transações com bens do tesouro. A classe externa criada está associada às classes master LA_Party, LA_RRR, LA_SpatialUnit e LA_BAUnit do LADM. Com isso, a padronização do modelo de dados externo é garantida. Se o modelo externo for implementado pelo responsável pela padronização dos processos de arquivamento ficará mais confortável e rápido de se cadastrar.

The growing interest of companies in integration and interoperability between information systems has caused increase in significance of Service-Oriented Architecture which provides tools for Enterprise Application Integration. In that architecture, Enterprise Service Bus provides technical possibilities of communication between IT systems. A key element in the communication are integration flows. Objective: The aim of this article is to present a new transformation Integration2BPEL, which automates the development of executable integration flow expressed in the Web Services Business Process Execution Language (WS-BPEL) based on the model of the integration flow presented in the Unified Modelling Language (UML) activity diagram. Method: The author proposes a transformation of the type of model-to-code type which generates integration flow expressed in WS-BPEL, which can be executed in any BPEL-compliant process engine. The integration flow is modelled using UML activity diagram with stereotypes from ‘UML Profile for Integration Flows’ profile in an IBM Rational Software Architect (RSA). Using Integration2BPEL transformation a complete, executable integration flow is generated, which is composed of many mediation mechanisms. Generated integration flows have been executed on OpenESB. Results: The ability to generate a complete integration flow in BPEL, which without any additions can be run on enterprise service bus. Implementation phase of an integration flow construction was automated. Each of integration flows is implemented according to the same rules. In addition, it allows to avoid mistakes made by designers and programmers. Conclusions: Model-Driven Development is an approach that leads to the automation of the design and programming phases. Integration2BPEL transformation is a uniform mechanism to design integration flow. Potentially, it also allows to avoid implementation errors. Keywords: Web Services Business Process Execution Language (BPEL), Enterprise Service Bus (ESB), Unified Modelling Language (UML), UML activity diagram, Model-Driven Development (MDD), Transformation. null

The MUNIN project is doing a feasibility study on an unmanned bulk carrier on an intercontinental voyage. To develop the technical and operational concepts, MUNIN has used a risk-based design method, based on the Formal Safety Analysis method which is also recommended by the International Mari-time Organization. Scenario analysis has been used to identify risks and to simplify operational scope. Systematic hazard identification has been used to find critical safety and security risks and how to address these. Technology and operational concept testing is using a hypothesis-based test method, where the hypotheses have been created as a result of the risk assessment. Finally, the cost-benefit assessment will also use results from the risk assessment. This paper describes the risk assessment method, some of the most important results and also describes how the results have been or will be used in the different parts of the project.

Model-driven software development can help tackle complexity when developing large software systems. Model-driven development tools facilitate this. Such tools support multiple features and languages; some are multi-platform and support multi-language code generation from models. Umple is a full-featured open source language and modelling tool that we used as a basis for this thesis. Distribution concerns have become a critical part of modern software systems. In this thesis, we present how we extended Umple to support the development of model-driven synchronous or asynchronous distributed systems. Our contributions provide simple syntax, model analysis capabilities, and programming APIs, which allow users to change the configuration of systems both at development and deployment stages. We also demonstrate how a system can be modeled without distribution concerns and easily be transformed to a distributed system through our approach. The contributions of this thesis are: a) Creating a mechanism to distribute objects in Umple; b) Developing new semantics for modelling of distributed objects and providing supporting syntax for this in Umple; c) Investigating different patterns and technologies to implement code generation for distributed systems; d) Implementation, testing, and comparison of the distributed feature in Umple for executable Java code; and e) implementing a mechanism to dynamically modify the distribution plan at runtime.

Context-aware systems (CASs) have become a reality thanks to the development of smart software and hardware to assist the users in various real life activities. The proliferation of context-aware services has led to the emergence of environments where services are made available for usage anywhere and at any time. CASs have the ability to capture users’ contexts and use their instance values to provide self-adaptive services in response to context changes. Modelling and documenting the structure of such a system during the design phase is vital for system validation, testing, maintenance and version management. The Unified Modelling Language (UML) is the de facto industrial standard for system modelling and development. The UML class diagrams provide notations for modelling graphically the structure of a system in terms of classes and the relationships between them. However, these notations are insufficient to model the structure of CASs. This paper proposes a new set of notations to represent context and context-awareness and their relationships with classes in class diagrams. Hence, the structure of CASs can be specified, visualized, constructed, and documented distinctively during system development. The proposed approach is evaluated using real-world case studies.

The main characteristics of context-aware systems are their ability to sense perpetually the context of the user and adapt their behavior accordingly in response to changes the user's context. Modularity is an important property for any design language as it provides ways of decomposing a system into smaller constituents which are then analyzed separately. The activity diagram of the Unified Modelling Language is a powerful language for describing the functions of a system. However it lacks notations for distinctively capture the context-awareness requirements of context-aware systems. This paper proposes an extension of the activity diagram of Unified Modelling Language with new notations that enable the separation of concerns between the system functions, the context (or environment) constraints, and the adaption actions to be performed in reaction to changes in the system's environment. The pragmatics and flexibility of the proposed extension are demonstrated using a number of real-world case studies

This thesis describes extensions to state machines in the Umple model-oriented programming language to offer queued state machines (QSM), pooled state machines (PSM) and handing of the arrival of unexpected events. These features allow for modeling the behavior of a system or protocol in a more accurate way in Umple because they enable detecting and fixing common design errors such as unspecified receptions. In addition, they simplify the communication between communicating state machines by allowing for asynchronous calls of events and passing of messages between state machines. Also, a pooled state machine (PSM) has been developed to provide a different policy of handling events that avoid unspecified receptions. This mechanism has similar semantics as a queued state machine, but it differs in the way of detecting unspecified receptions because it helps handling these errors. Another mechanism has been designed to use the keyword ‘unspecified’ in whatever state of a state machine the user wants to detect these errors. In this thesis, the test-driven development (TDD) process has been followed to first modify the Umple syntax to add ‘queued,’ ‘pooled,’ and ‘unspecified’ keywords to Umple state machine’s grammar; and second, to make a change to the Umple semantics in order to implement these extensions in Umple. Then, additional modifications have been made to allow for Java code generation from those types of state machines. Finally, more test cases have been written to ensure that these models are syntactically and semantically correct. In order to show the usefulness and usability of these new features, an example is shown as a case study that is modeled using the queued state machine (QSM) besides other small tests cases.

This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in SIGMIS-CPR '10, http://dx.doi.org/10.1145/1796900.1796921, Proceedings of the 2010 Special Interest Group on Management Information System's 48th annual conference on Computer personnel research on Computer personnel research (Vancouver, BC, Canada), Software Engineering has been a fundamental part of many computing undergraduate courses for a number of years. Although many of the tools and techniques used to undertake software engineering have changed, the assessment has typically stayed the same. Students are commonly tasked with producing a number of software artefacts, for example designs using the Unified Modelling Language (UML). We recently attempted to extend the software engineering experience for a group of second year students with them participating in groups that attempt to replicate industrial practice. This paper reports our investigation into the correlation between the personality of group members, their approach with respect to using design patterns and their learning achievements.

International audience; Microfactories are new specific and flexible systems to produce and assemble micrometric products. These systems are different of standard production platforms because they are confronted with a lot of constraints without influence at human-scale systems. This approach will lead to the development of an architecture of the technical information system adapted to a modular, reconfigurable and evolutionary microfactory. In such a context of production of microproducts, the technical information system is the spinal cord of the microfactory. The definition of the data, their architecture and their organization will build up the base of the control structure. To efficiently and surely control the set of cells, the traditional control scheme must be integrated in a global information model. This paper presents the design of an information model dedicated to microfactories and its advantages.

International audience; La fabrication automatisée de microproduits requiert lors du prototypage une assistance technique à l'opérateur compte tenu de l'inaccessibilité directe que ce soit pour agir ou pour observer et mesurer. L'instrumentation des plateformes devient incontournable et l'interopérabilité des modules requiert une architecture adaptée du système d'information. Nous utilisons une modélisation du système d'information sous UML pour caractériser les spécificités de ces systèmes et nous avons développé une application en Programmation Orientée Objet. L'interface modulaire obtenue, nommée AP2M, a été testée puis validée sur plusieurs stations de télé-opération. Cette AP2M répond aux contraintes logicielles et matérielles des équipements périphériques de production.

Τα σύγχρονα συστήματα παραγωγής πρέπει να λειτουργούν αποδοτικά σε ένα δυναμικά μεταβαλλόμενο περιβάλλον. Ένα βασικό χαρακτηριστικό που πρέπει να λάβουν υπόψη τους οι μηχανικοί στη βιομηχανία είναι η ευελιξία των συστημάτων παραγωγής. Η ευελιξία αναφέρεται στην ικανότητα ενός συστήματος παραγωγής να ανταποκρίνεται και να προσαρμόζεται στις αλλαγές του περιβάλλοντος στο οποίο λειτουργεί. Αλλά η ευελιξία είναι δύσκολο να συμπεριληφθεί στη διαδικασία λήψης αποφάσεων κατά τον σχεδιασμό ή τη λειτουργία ενός συστήματος, αν δεν έχει περιγραφεί ποσοτικά. Ο σκοπός αυτής της διατριβής είναι να αναπτύξει και να επιδείξει μια μέθοδο για την εκτίμηση και ποσοτικοποίηση της ευελιξίας. Η μέθοδος μπορεί να χρησιμοποιηθεί σε πραγματικά προβλήματα στη βιομηχανία και να βοηθήση στη λήψη αποφάσεων σχετικά με τον απαραίτητο βαθμό της ευελιξίας που πρέπει να έχει ένα σύστημα παραγωγής ειδικά στην περίπτωση που υπάρχει αβεβαιότητα και είναι δύσκολο να γίνουν αξιόπιστες προβλέψεις σχετικά με τις απαιτήσεις της αγοράς. Στην διεθνή επιστημονική βιβλιογραφία έχουν καταγραφεί αρκετές εργασίες που προσεγγίζουν το πρόβλημα της εκτίμησης της ευελιξίας ενός συστήματος παραγωγής. Οι περισσότερες όμως από τις εργασίες αντιμετωπίζουν μεμονωμένα προβλήματα, κάτω από ειδικές συνθήκες, που τις περισσότερες φορές αναφέρονται και σε συγκεκριμένους τύπους συστημάτων παραγωγής. Η προτεινόμενη μέθοδος στηρίζεται στη θεώρηση ότι η ευελιξία ενός συστήματος παραγωγής καθορίζεται από την ευαισθησία του στις αλλαγές. Όσο λιγότερο ευαίσθητο ένα σύστημα είναι στις αλλαγές του περιβάλλοντος στο οποίο λειτουργεί τόσο περισσότερο ευέλικτο είναι. Η βασική αυτή θεώρηση εφαρμόζεται μέσω της μέτρησης του εύρους των διαφόρων τιμών του συνολικού κόστους ενός συστήματος παραγωγής. Οι τιμές του συνολικού κόστους υπολογίζεται για καθένα σενάριο από ένα μεγάλο αριθμό πιθανών σεναρίων αγοράς. Στη συνέχεια με στατιστική ανάλυση στις τιμές του συνολικού κόστους οδηγούμαστε σε συμπεράσματα για την ευαισθησία ενός συστήματος παραγωγής σε ένα αβέβαιο περιβάλλον λειτουργίας. Ο υπολογισμός του συνολικού κόστους λαμβάνει υπόψη του διάφορες φάσεις του συστήματος παραγωγής στον κύκλο ζωής του όπως την αρχική επένδυση και το κόστος των αλλαγών. Επιπλέον, για να μπορούν οι διαφορετικές τιμές του κόστους να είναι συγκρίσιμες θα πρέπει να υπολογιστούν με βάση κάποιον κανόνα. Η εργασία αυτή προτείνει έναν τρόπο για την εύρεση του ελάχιστου κόστους στον κύκλο ζωής ενός συστήματος παραγωγής. Η προτεινόμενη μέθοδος εφαρμόζεται σε μια περίπτωση μελέτης στην αυτοκινητοβιομηχανία και τέλος περιγράφεται ένα λογισμικό που υλοποιεί την προτεινόμενη μέθοδο καθώς και η UML (Unified Modelling Language) περιγραφή των βασικών οντοτήτων. Modern manufacturing firms must learn to operate effectively in very dynamic environments. One key aspect that firms must consider is manufacturing flexibility. Manufacturing flexibility refers to the ability of a manufacturing system to accommodate uncertainty in the production environment. But flexibility cannot be considered in the decision making process if it is not assessed in quantifiable terms. The goal of this dissertation is to develop and demonstrate a practical method to assist manufacturers in managing environmental uncertainty and in determining the appropriate level of flexibility in their production systems. A number of research efforts have been published in the litterature that deal with the scientific issue of flexibility assessment. However, most of the published research work deals with case specific engineering problems, under certain circumstances, and in most of the cases they are applicable to specific types of production system. The approach suggested by the this dissertation considers that manufacturing flexibility is determined by its sensitivity to changes. The less flexible a manufacturing system is the more flexible it should be considered. We consider flexibility during the lifecycle of a system, from initial investment to major reconfiguration. A large number of market scenarios are being considered and the lifecycle cost of the system for all scenarios is calculated. Following, statistical analysis on the lifecycle cost results provides results on the sensitivity of the system to the uncertainty of the market environment. Furthermore, in order to make the lifecycle cost values comparable amongst the different production systems, their minimum value is calculated at a minimum level with the help of a specially developed optimization algorithm. The proposed method is applied in a case study in the automotive industry. Finally, a web-based software package that implements the proposed method along with the UML (Unified Modelling Language) description of the main entities is also being described.

There is a growing interest in applying standardized methods for Functional Size Measurement (FSM) to Functional User Requirements (FUR) based on models in the Unified Modelling Language (UML). No consensus exists on this issue. We analyzed the demands that FSM places on FURs. We propose a requirements space with several levels of refinement, and show how UML can be used to specify FURs at these levels. FSM can be applied at the product level of UML-based FURs. We discuss our experience for three case studies and with two FSM methods: Function Point Analysis (FPA) and COSMIC-Full Function Points (CFFP).

There is a growing interest in applying standardized methods for Functional Size Measurement (FSM) to Functional User Requirements (FUR) based on models in the Unified Modelling Language (UML). No consensus exists on this issue. We analyzed the demands that FSM places on FURs. We propose a requirements space with several levels of refinement, and show how UML can be used to specify FURs at these levels. FSM can be applied at the product level of UML-based FURs. We discuss our experience for three case studies and with two FSM methods: Function Point Analysis (FPA) and COSMIC-Full Function Points (CFFP).

2005

ARCADE is a project aimed to develop an integrated software platform for authoring and delivery of Internet-based distance courses covering the university needs. Unified Modeling Language (UML) and Unified Software Development Process were applied as a basis for the project development. The Assessments and Assignments package provides computer supported instructional feedback (tests, projects, essays, problems). The IMS Question and Test Interoperability specification (QTI) defines the basic structures (Assessment, Section, Item - ASI) for the Assessments module development. This module includes three main subsystems - ASI Structures Management, Tests Management, and Test Performance.

The constant demand for a better integration of utility applications and systems provokes the question on the compatibility of standards that were, and still are, developed for these individual utility disciplines. This paper discusses the need for an integration of two particularly important emerging standards related to data interchange in substations (IEC 61850) and control centres (IEC 61970). The relatively independent development of these two standards motivated us to create a model that can show explicitly how concepts from one standard relate to those of the other. Further, by making these models formal, which at least in the case of IEC 61850 is absent in its current daft, we can show the benefits in checking internal model consistency and in automating the model mapping. Concretely, our UML models proved helpful in detecting inconsistencies in draft versions of the IEC 61850 and they served as a basis for the software tool-based, bi-directional mapping of IEC 61850 to IEC 61970 data representations.