To see the other types of publications on this topic, follow the link: Unifiel modeling language.
Dissertations / Theses on the topic 'Unifiel modeling language'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Unifiel modeling language.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Yang, Mikai. "Action semantics of unified modeling language." Thesis, Heriot-Watt University, 2009. http://hdl.handle.net/10399/2282.
Full textAbstract:
The Uni ed Modeling Language or UML, as a visual and general purpose modeling language, has been around for more than a decade, gaining increasingly wide application and becoming the de-facto industrial standard for modeling software systems. However, the dynamic semantics of UML behaviours are only described in natural languages. Speci cation in natural languages inevitably involves vagueness, lacks reasonability and discourages mechanical language implementation. Such semi-formality of UML causes wide concern for researchers, including us. The formal semantics of UML demands more readability and extensibility due to its fast evolution and a wider range of users. Therefore we adopt Action Semantics (AS), mainly created by Peter Mosses, to formalize the dynamic semantics of UML, because AS can satisfy these needs advantageously compared to other frameworks. Instead of de ning UML directly, we design an action language, called ALx, and use it as the intermediary between a typical executable UML and its action semantics. ALx is highly heterogeneous, combining the features of Object Oriented Programming Languages, Object Query Languages, Model Description Languages and more complex behaviours like state machines. Adopting AS to formalize such a heterogeneous language is in turn of signi cance in exploring the adequacy and applicability of AS. In order to give assurance of the validity of the action semantics of ALx, a prototype ALx-to-Java translator is implemented, underpinned by our formal semantic description of the action language and using the Model Driven Approach (MDA). We argue that MDA is a feasible way of implementing this source-to-source language translator because the cornerstone of MDA, UML, is adequate to specify the static aspect of programming languages, and MDA provides executable transformation languages to model mapping rules between languages. We also construct a translator using a commonly-used conventional approach, in i which a tool is employed to generate the lexical scanner and the parser, and then other components including the type checker, symbol table constructor, intermediate representation producer and code generator, are coded manually. Then we compare the conventional approach with the MDA. The result shows that MDA has advantages over the conventional method in the aspect of code quality but is inferior to the latter in terms of system performance.
2
Kreische, David. "Geschäftsprozessmodellierung mit der "Unified Modeling Language (UML)"." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=972544232.
Full text
3
MEDEPALLI, SATEESH V. "UNIFIED SIMULATION AND MODELING PARADIGM DESCRIPTION LANGUAGE." University of Cincinnati / OhioLINK, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1175184959.
Full text
4
Tanuan, Meyer C. "Automated Analysis of Unified Modeling Language (UML) Specifications." Thesis, University of Waterloo, 2001. http://hdl.handle.net/10012/1140.
Full textAbstract:
The Unified Modeling Language (UML) is a standard language adopted by the Object Management Group (OMG) for writing object-oriented (OO) descriptions of software systems. UML allows the analyst to add class-level and system-level constraints. However, UML does not describe how to check the correctness of these constraints. Recent studies have shown that Symbolic Model Checking can effectively verify large software specifications. In this thesis, we investigate how to use model checking to verify constraints of UML specifications. We describe the process of specifying, translating and verifying UML specifications for an elevator example. We use the Cadence Symbolic Model Verifier (SMV) to verify the system properties. We demonstrate how to write a UML specification that can be easily translated to SMV. We propose a set of rules and guidelines to translate UML specifications to SMV, and then use these to translate a non-trivial UML elevator specification to SMV. We look at errors detected throughout the specification, translation and verification process, to see how well they reveal errors, ambiguities and omissions in the user requirements.
5
Totapally, Hara. "Virtual design office: A collaborative unified modeling language tool." CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/1994.
Full textAbstract:
Real-time conferencing and collaborative computing is a great way to make developers more effective. This project is a collaborative framework development comprising configurable client and server components.
6
Ata-Ul-Nasar, Mansoor. "Modeling Intel® Cilk™ Plus Programs with Unified Modeling Languages." Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-46717.
Full textAbstract:
Recently multi-core processors have become very popular in computer systems. It allows multiple threads to be executed simultaneously. The advantage of multi-core comes by parallelizing codes to expand the work across hardware. Furthermore, this can be done by using a parallel environment developed by M.I.T. called Intel Cilk Plus, which is design to provide an easy and well-structured parallel programming approach. Intel Cilk Plus is an extension of C and C++ programming languages that describes data parallelism. This extension is very helpful and easy to use among other languages in this field. It has different features including keywords, reducers and array notations etc. In general, this article describes Intel Cilk Plus and its features. In addition, Unified Modelling Language, activity diagrams are used in term of graphical modelling of Intel Cilk Plus by describing the process of a system, capturing the dynamic behaviour of it and representing the flow from one activity to another using control flow. Later on Intel Cilk Plus keywords and UML diagrams tools will be evaluated, a comparison of different UML modelling tools will also be provided.
7
Lie, Jonathan Ken 1977. "Correlation of data in the unified modeling language interaction diagram." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/86541.
Full text
8
Schmider, Christoph. "Konzeption und Realisierung eines Metrikenwerkzeugs für die Unified Modeling Language." [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB9866643.
Full text
9
Burkhardt, Rainer. "UML - Unified Modelling Language : objektorientierte Modellierung für die Praxis /." Bonn [u.a.] : Addison-Wesley, 1997. http://www.gbv.de/dms/ilmenau/toc/243054106.PDF.
Full text
10
Telikapalli, Surya. "Collaborative design (COLLDESIGN): A real-time interactive unified modeling language tool." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2669.
Full textAbstract:
This project extended COLLDESIGN, an interactive collaborative modeling tool that was developed by Mr. Hara Totapally. The initial version included a collaborative framework comprised of configurable client and server components. This project accomplished a complete implementation of the Class Diagram view. In addition, extending the framework, text messaging and audio conferencing features have been implemented to allow for real-time textual and audio communication between team members working on a particular project. VideoClient is the GUI of the application.
11
Staron, Miroslaw. "Improving Modeling with UML by Stereotype-based Language Customization." Doctoral thesis, Blekinge Tekniska Högskola [bth.se], School of Engineering - Dept. of Systems and Software Engineering, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00270.
Full textAbstract:
Graphical modeling is becoming an increasingly important part of software engineering as it provides means of increasing productivity by raising the level of abstraction in software devel-opment. One of the most widely adopted modeling notations is the Unified Modeling Language (UML) which has gained popularity due to its generality and broad applicability. Despite its advantages, this general purpose notation is burdened with the lack of purpose specific model-ing abstractions. The modeling abstractions in the language lack specialized properties and thus models might not precisely express the intentions of the modeler. In consequence, this leads to ineffectiveness of using models in UML. This thesis presents research aimed at improving modeling with UML. By exploiting the language customization mechanisms inherent in UML – stereotypes and profiles – the research presented in the thesis explores such aspects of improving modeling as creating language cus-tomizations or using a customized modeling language. The context, in which the modeling is considered, is delineated by the principles of model driven software development (MDD). The principles recognize the usage of models as the primary artefacts in software development thus providing a solid foundation for considering the use of models in software development. One of the contributions in the thesis is the identification and definition of factors determin-ing the successful realization of MDD in industry. These factors provide means of positioning language customization in the forefront of MDD. Another contribution in the thesis is eliciting and prioritizing a set of criteria for choosing between language customization mechanisms, which is a result of another industrial case study. A series of experiments in academic and industrial environments showed the magnitude of improvements to be expected after replacing a standard modeling language with a customized modeling notation. This series of experiments provided a basis for experimenting with stereo-types and software inspections which indicated a considerable increase in effectiveness of the reading techniques used in software inspections after replacing a standard notation with a cus-tomized one. The results from all empirical studies affected the development of quality assessment crite-ria for stereotypes. The criteria and the exploration of several existing profiles led to the devel-opment of guidelines for creating “good” stereotypes by analyzing existing UML profiles. An additional contribution in the thesis is exploring the usage of an alternative mechanism to stereo-types – model libraries – for adaptation of a modeling language. The way in which model librar-ies can be created in an efficient way is studied by creating a method for extracting knowledge from ontologies into UML domain models. The results of the research presented in the thesis show how to improve modeling with UML by customizing the language with stereotypes. The main contribution is the exploration and evaluation of issues related to creating language customizations and using the customized language.
12
Bolton, Christie. "On the refinement of state-based and event-based models." Thesis, University of Oxford, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270246.
Full text
13
Els, Lynette. "Using the Unified Modeling language (UML) to represent artifacts in the Zachmann frameword." Pretoria [s.n], 2000. http://upetd.up.ac.za/thesis/available/etd-10252006-165845.
Full text
14
Dong, Zhijiang. "A framework for transforming, analyzing, and realizing software designs in unified modeling language." FIU Digital Commons, 2006. http://digitalcommons.fiu.edu/etd/3077.
Full textAbstract:
Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design. In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.
15
Li, Kaiyan. "Unified modeling language class diagram translator for the online design pattern library system." CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2194.
Full textAbstract:
The Unified Modeling Language (UML) is the successor to the wave of object-oriented analysis and design (OOA&D) methods that appeared in the late '80s and early '90s. The class diagram is one of the most useful diagrams in UML. The class diagram technique has become truly central within object-oriented methods.
16
Figl, Kathrin, Michael Derntl, and Sonja Kabicher. "Visual modelling and designing for cooperative learning and development of team competences." Inderscience Enterprises Ltd, 2009. http://epub.wu.ac.at/5649/1/b807.pdf.
Full textAbstract:
This paper proposes a holistic approach to designing for the promotion of team and social competences in blended learning courses. Planning and modelling cooperative learning scenarios based on a domain specific modelling notation in the style of UML activity diagrams, and comparing evaluation results with planned outcomes allows for iterative optimization of a course's design. In a case study - a course on project management for computer science students - the instructional design including individual and cooperative learning situations was modelled. Specific emphasis was put on visualising the hypothesised development of team competences in the course design models. These models were subsequently compared to evaluation results obtained during the course. The results show that visual modelling of planned competence promotion enables more focused design, implementation and evaluation of collaborative learning scenarios.
17
Naylor, Patrick Joseph. "A generic risk and protection integration model in the unified modelling language." Thesis, Liverpool John Moores University, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.420076.
Full text
18
Balram, Shivanand. "Collaborative GIS process modelling using the Delphi method, systems theory and the unified modelling language (UML)." Thesis, McGill University, 2005. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=85881.
Full textAbstract:
Efforts to resolve environmental planning and decision-making conflicts usually focus on participant involvement, mutual understanding of the problem situation, evaluation criteria identification, data availability, and potential alternative solutions. However, as the alternatives become less distinct and participant values more diverse, intensified negotiations and more data are usually required for meaningful planning and decision-making. Consequently, questions such as "What collaborative spatial decision making design is best for a given context?" "How can the values and needs of stakeholders be integrated into the planning process?" and "How can we learn from decision making experiences and understanding of the past?" are crucial considerations. Answers to these questions can be developed around the analytic and discursive approaches that transform diffused subjective judgments into systematic consensus-oriented resolutions.<br>This dissertation examines the above issues through the design, implementation, and assessment of the Collaborative Spatial Delphi (CSD) Methodology. The CSD methodology facilitates spatial thinking and discursive strategies to describe the complex social-technical dynamics associated with the knowledge-structuring-consensus nexus of the participation process. The CSD methodology describes this nexus by synthesizing research findings from knowledge management, focus group theory, systems theory, integrated assessment, visualization and exploratory analysis, and transformative learning all represented within a collaborative geographic information system (GIS) framework.<br>The CSD methodology was implemented in multiple contexts. Its use in two contexts - strategic planning and management of urban green spaces in Montreal (Canada); and priority setting for North American biodiversity conservation - are reported in detail in this dissertation. The summative feedbacks from all the CSD planning workshops help incrementally improve the design of the CSD process. This dissertation also reports on the design and use of questionnaire surveys to incorporate local realities into planning, as well as the development of an evaluation index to assess the face validity and effectiveness of the CSD process from the perspective of workshop participants.<br>The accumulated evidence from the CSD implementations suggests that many core issues exist across spatial problem solving situations. Thus, the design and specification of a core collaborative process model provides benefits for knowledge exchange. General systems theory was used to classify the core technical components of the collaborative GIS design, and soft systems theory was used to characterize the human activity dynamics. Object oriented principles enabled the generation of a flexible domain model, and the unified modelling language (UML) visually described the collaborative process. The CSD methodology is used as a proof of concept.<br>This dissertation contributes to knowledge in the general areas of Geography, Geographic information systems and science, and Environmental decision making. The specific contributions are threefold. First, the CSD provides a synthesis of multi-disciplinary theories and a tested tool for environmental problem solving. Second, the CSD facilitates a fusion of local and technical knowledge for more realistic consensus planning outcomes. Third, an empirical-theoretical visual formalism of the CSD allows for process knowledge standardization and sharing across problem solving situations.
19
Cunha, José Antônio da. "Utilização da agent unified modeling language na modelagem da estrutura e iteração entre agentes." Florianópolis, SC, 2001. http://repositorio.ufsc.br/xmlui/handle/123456789/79513.
Full textAbstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico<br>Made available in DSpace on 2012-10-18T04:49:26Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:57:08Z : No. of bitstreams: 1
179214.pdf: 8459388 bytes, checksum: f81f9a8cf78aab6271c788aa1969362d (MD5)<br>O presente trabalho aborda um estudo sobre a tecnologia de agentes inteligentes, bem como um estudo sobre a expansão da UML para a modelagem desses agentes, levando-se em conta também os protocolos de comunicação nas trocas de mensagens entres esses agentes, com base nos diagramas UML. Nessa perspectiva, será proposto um modelo de agentes que, dado um problema inicial, este será subdividido em problemas menores e, distribuídos entre os Agentes, tornando a busca pela solução mais simples e rápida
20
Molina, Fernando. "Reasoning with extended Venn-Peirce diagrammatic systems." Thesis, University of Brighton, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366385.
Full textAbstract:
Traditionally the dominant formalist school in mathematics has considered diagrams as merely heuristic tools. However, the last few years have seen a renewed interest in visualisation in mathematics and, in particular, in diagrammatic reasoning. This has resulteQ from the increasing capabilities of modern computers, the key role that design and modelling notations play in the development process of software systems, and the emergence of the first formal diagrammatic systems. Constraint diagrams are a diagrammatic notation for expressing constraints that can be used in conjunction with the Unified Modelling Language (UML) in object-oriented modelling. Recently, full formal semantics and sound and complete inference rules have been developed for Venn-Peirce diagrams and Euler circles. Spider diagrams emerged from work on constraint diagrams. They combine and extend Venn-Peirce diagrams and Euler circles to express constraints on sets and their relationships with other sets. The spider diagram system SDI developed in this thesis extends the second Venn-Peirce system that Shin investigated, Venn II, to give lower bounds for the cardinality of the sets represented by the diagrams. A sound and complete set of reasoning rules is given. The diagrammatic system SD2 extends SD 1 so that lower and upper bounds can be inferred for the cardinalities of the set represented by the diagrams. Soundness and completeness results are also given extending the proof strategies used in SD 1. The system SD2 is also shown to be syntactically rich enough to express the negation of any diagram. Finally, the ESD2 system incorporates syntactic elements from the spider diagram notation, so that information within a diagram can be expressed more compactly, and is proved equivalent to SD2. Two important innovations are introduced with respect to Venn I, Venn II, and Higraphs: two levels of syntax - abstract and concrete - and a proof of completeness that omits the use of maximal diagram used in these systems. This work will help to provide the necessary mathematical underpinning for the development of software tools to aid the reasoning process . and the development and formalisation of more expressive diagrammatic notations.
21
Teyssié, Cédric. "Modélisation de réseaux à qualité de service avec UML et ses extensions." Toulouse 3, 2005. http://www.theses.fr/2005TOU30201.
Full text
22
Bohdanowicz, Daniel. "Toward Tool Support for Usage of Object-Oriented Design Patterns Expressed in Unified Modeling Language." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5895.
Full textAbstract:
Design patterns describe solutions that can be used in a particular context for commonly recurring problems at the detailed design level of a software system. Patterns have become an important concept in object-oriented development and their usage is a widely accepted practice. This thesis investigates issue of tool support for design patterns usage that can be offered by UML modelling tools, and proposes UML based method and notation for specification of the patterns, and documentation of their instances in a design model, facilitating such support. Different ways of such support are presented and classified, and comparison of tools offering assistance for patterns usage is depicted. UML profile supporting specification of structural aspects of solutions proposed by design patterns, and documentation of their instances is specified in the thesis.
23
Heverhagen, Torsten [Verfasser]. "Integration von Sprachen für speicherprogrammierbare Steuerungen in die Unified Modeling Language durch Funktionsbausteinadapter / Torsten Heverhagen." Aachen : Shaker, 2003. http://d-nb.info/1181601274/34.
Full text
24
Katzke, Uwe. "Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML)." Kassel Kassel Univ. Press, 2008. http://d-nb.info/992129842/04.
Full text
25
Yamada, Takahiro. "DEVELOPMENT OF GENERIC GROUND SYSTEMS BY THE USE OF A STANDARD MODELING METHOD." International Foundation for Telemetering, 2005. http://hdl.handle.net/10150/604787.
Full textAbstract:
ITC/USA 2005 Conference Proceedings / The Forty-First Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2005 / Riviera Hotel & Convention Center, Las Vegas, Nevada<br>This paper presents an approach to development of generic ground systems to be used for
spacecraft testing and operations. This method makes use of a standard modeling method, which
enables virtualization of spacecraft. By virtualizing spacecraft, development of generic systems
that are applicable to different spacecraft becomes possible even if spacecraft themselves are not
standardized. This is because systems can utilize (1) a standard database that can store
information on any virtual spacecraft and (2) standard software tools that can be used for any
virtual spacecraft. This paper explains the concept of virtualization of spacecraft, introduces the
standard model used for virtualization of spacecraft, shows how to manipulate virtual spacecraft
with software tools, and presents the core elements of generic ground systems.
26
Millham, Richard C. "Evolution of batch-oriented COBOL systems into object-oriented systems through unified modelling language." Thesis, De Montfort University, 2006. http://hdl.handle.net/2086/4961.
Full textAbstract:
Throughout the world, there are many legacy systems that fulfil critical business functions but often require new functionality to comply with new business rules or require redeployment to another platform. Legacy systems vary tremendously in size, functionality, type (such as batch-oriented or real-time), programming language source code, and many other factors. Furthermore, many of these legacy systems have missing or obsolete documentation which makes it difficult for developers to re-develop the system to meet any new functionality. Moreover, the high cost of whole scale redevelopment and high switchover costs preclude any replacement systems for these legacy systems. Reengineering is often proposed as a solution to this dilemma of high re-development and switchover costs. However, reengineering a legacy system often entails restructuring and re-documenting a system. Once these restructuring and re-documentation processes have been completed, the developers are better able to redevelop the parts of the systems that are required to meet any new functionality. This thesis introduces a number of methods to restructure a procedurally-structured, batch-oriented COBOL system into an object-oriented, event-driven system through the use of an intermediate mathematical language, the Wide Spectrum Language (WSL), using system source code as the only documentation artefact. This restructuring process is accomplished through the application of several algorithms of object identification, independent task evaluation, and event identification that are provided in the thesis. Once these transformations are complete, method(s) are specified to extract a series of UML diagrams from this code in order to provide documentation of this system. This thesis outlines which of the UML diagrams, as specified in the UML Specifications version 1.5, can be extracted using the specified methods and under what conditions this extraction, using system source code only, can occur in a batch-oriented system. These UML diagrams are first expressed through a WSL-UML notation; a notation which follows the semantics and structure of UML Specifications version 1.5 in order to ensure compatibility with UML but is written as an extension of WSL in order to enable WSL to represent abstract modelling concepts and diagrams. This WSL-UML notation is then imported into a visual UML diagramming tool for the generation of UML diagrams to represent this system. The variety of legacy systems precludes any universal approach to reengineering. Even if a legacy system shares a common programming language, such as COBOL, the large number of COBOL constructs and the huge number of possible dialects prevents any universal translator of the original program code to another. It is hoped that by focusing on one particular type of legacy system with constraints, in this case a batch-oriented COBOL system with its source code its only surviving artefact, and by providing validated algorithms to restructure and re-document these legacy systems in the Unified Modelling Language, an industry system modelling standard, and by determining which of these Unified Modelling Language can be extracted practically from such a system, some of the parameters and uncertainties, such as program understanding of an undocumented system, in reengineering this type of system can be reduced.
27
Katzke, Uwe [Verfasser]. "Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML) / Uwe Katzke." Kassel : Kassel University Press, 2009. http://d-nb.info/1006966005/34.
Full text
28
Rudram, Christopher. "A method for generating test cases with the unified modeling language for use with hyper-sequential programming." Thesis, University of Sheffield, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.398487.
Full text
29
Lawesson, Dan. "Towards Behavioral Model Fault Isolation for Object Oriented Control Systems." Licentiate thesis, Linköping University, Linköping University, TCSLAB - Theoretical Computer Science Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5734.
Full textAbstract:
<p>We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. Thus, we perform post mortem fault isolation which has implications in terms of the information available; the temporal order in the error log can not be trusted. In our previous work we have used a structural model for fault isolation. In this thesis we provide a formal framework and a prototype implementation of an approach taking benefit of a behavioral model. This gives opportunities to perform more sophisticated reasoning at the cost of a more detailed system model. We use a model-checker to reason about causal dependencies among the events of the modeled system. The model-checker performs reasoning about temporal dependencies among the events in the system model and the scenario at hand, allowing for conclusions about the causal relation between the events of the scenario. This knowledge can then be transferred to the corresponding fault in the system, allowing us to pinpoint the cause of a system failure among a set of potential causes.</p><br>Report code: LiU-Tek-Lic-2000:59.
30
Stevens, Leon. "A Model for Transforming Legacy Systems in a client/Server Environment Based on the Unified Modeling Language(UML)." NSUWorks, 2000. http://nsuworks.nova.edu/gscis_etd/862.
Full textAbstract:
In this dissertation the researcher developed the methodology for the migration of computer programs from a legacy architecture to client/server architecture. System migrations have failed frequently, and even so-called successful migrations may have serious usability problems. Additional difficulties include missing documentation of the existing program(s), the persons who developed the existing system are not available for consultation, and, frequently, there are important operational and economic issues that must be considered. The client/server environment is quite different from the source environment; the operating system and implementation languages have changed, and system requirements may have been greatly expanded, frequently including the Internet. User interface equipment and techniques are more comprehensive, system response times may be more demanding, significant software system components may be purchased instead of developed in-house, and other elements of the operating theater may be either entirely new or greatly revised. The methodology for developing systems has evolved significantly. In order to make use of the advantages of client/server equipment, new concepts will need to be embodied in the migrated program, such as the use of middleware, object technology to permit the development of higher quality software, and the separation of functionality into server-side and client-side procedures. This dissertation identifies those factors that most critically affect the possibility of success or of failure in the migration. These factors will make it possible to lessen or eliminate the potential for failure. In addition, this dissertation will provide a model for the conversion of legacy systems to more reliable and scalable client/server systems. For this dissertation, the researcher gathered published material relating to the migration of computer systems from one hardware/software platform to a second. Some of the material discussed the conversion process itself. Other material described successes, failures, general techniques and approaches to the migration. Still others discussed nontechnical aspects, including the creation of migration teams and user training. From this material, the most pertinent factors were identified, and from them, a plan of success was developed. That plan of success is this dissertation.
31
Garzón, Miguel Alejandro. "Reverse Engineering Object-Oriented Systems into Umple: An Incremental and Rule-Based Approach." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/32615.
Full textAbstract:
This thesis investigates a novel approach to reverse engineering, in which modeling information such as UML associations, state machines and attributes is incrementally added to code written in Java or C++, while maintaining the system in a textual format. Umple is a textual representation that blends modeling in UML with programming language code. The approach, called umplification, produces a program with behavior identical to the original one, but written in Umple and enhanced with model-level abstractions. As the resulting program is Umple code, our approach eliminates the distinction between code and model. We implemented automated umplification in a tool called the Umplificator. The tool is rule-driven: code, including Umple code, is parsed and processed into an internal representation, which is then operated on by rules; transformed textual code and model, in Umple, is then generated. The rules used to transform code to model have been iteratively refined by using the tool on a variety of open-source software systems.
The thesis consists of three main parts. The first part (Chapters 1 and 2) present the research questions and research methodology, as well as introducing Umple and the background necessary to understand the rest of the thesis. The umplification method is presented at increasing levels of detail through Chapters 3 and 4. Chapters 5 and 6 present the tool and evaluation of our approach, respectively. An analysis of related work, and comparison to our own, appears in Chapter 7. Finally, conclusions and future work directions are presented in Chapter 8.
32
TAVARES, Marcellus Antonius de Castro. "Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/1385.
Full textAbstract:
Made available in DSpace on 2014-06-12T15:49:38Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011<br>Antonius de Castro Tavares, Marcellus; Pierre Louis Robin, Jacques. Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2011.
33
Fernandez, Rigoberto. "Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation." FIU Digital Commons, 2001. http://digitalcommons.fiu.edu/etd/3306.
Full textAbstract:
The purpose of this thesis was to design and implement a software engineering tool that supports the editing of Hierarchical Predicate Transition Nets (HPrTNets) in a graphical environment. This tool allowed the user to create a new HPrTNets structure or to load the data associated to a class diagram stored in Rational Rose files converting it to the HPrTNets notation.
This software engineering tool allowed the graphical representation of the static aspect of a system as defined by Unified Modeling Language (UML) class diagrams. The HPrTNets structure consisted of formalizing syntactic structures of UML class diagrams. This tool served as a benchmark in order to lead to a better understanding of UML, reveal potential problems in the current definition of UML, and formally analyze UML specifications and designs. The tool was implemented in Microsoft Visual J++ communicating with Rational Rose via a Component Object Model (COM). The userfriendly graphical interface was created in JBuilder.
34
Sin, Thant. "Improving Novice Analyst Performance in Modeling the Sequence Diagram in Systems Analysis: A Cognitive Complexity Approach." FIU Digital Commons, 2009. http://digitalcommons.fiu.edu/etd/86.
Full textAbstract:
The Unified Modeling Language (UML) has quickly become the industry standard for object-oriented software development. It is being widely used in organizations and institutions around the world. However, UML is often found to be too complex for novice systems analysts. Although prior research has identified difficulties novice analysts encounter in learning UML, no viable solution has been proposed to address these difficulties. Sequence-diagram modeling, in particular, has largely been overlooked. The sequence diagram models the behavioral aspects of an object-oriented software system in terms of interactions among its building blocks, i.e. objects and classes. It is one of the most commonly-used UML diagrams in practice. However, there has been little research on sequence-diagram modeling. The current literature scarcely provides effective guidelines for developing a sequence diagram. Such guidelines will be greatly beneficial to novice analysts who, unlike experienced systems analysts, do not possess relevant prior experience to easily learn how to develop a sequence diagram. There is the need for an effective sequence-diagram modeling technique for novices. This dissertation reports a research study that identified novice difficulties in modeling a sequence diagram and proposed a technique called CHOP (CHunking, Ordering, Patterning), which was designed to reduce the cognitive load by addressing the cognitive complexity of sequence-diagram modeling. The CHOP technique was evaluated in a controlled experiment against a technique recommended in a well-known textbook, which was found to be representative of approaches provided in many textbooks as well as practitioner literatures. The results indicated that novice analysts were able to perform better using the CHOP technique. This outcome seems have been enabled by pattern-based heuristics provided by the technique. Meanwhile, novice analysts rated the CHOP technique more useful although not significantly easier to use than the control technique. The study established that the CHOP technique is an effective sequence-diagram modeling technique for novice analysts.
35
AL-Aqrabawi, Mohammad Saleh. "Combat System Modeling:Modeling Large-Scale Software and Hardware Application Using UML." Thesis, Virginia Tech, 2001. http://hdl.handle.net/10919/33172.
Full textAbstract:
Maintaining large-scale legacy applications has been a major challenge for software producers. As the application evolves and gets more complicated, it becomes harder to understand, debug, or modify the code. Moreover, as new members are joining the development team, and others are leaving, the need for a well-documented code arises. Good documentation necessitates the visualization of the code in an easy to understand manner. The Unified Modeling Language (UML), an Object Management Groupâ s (OMG) standard, is a graphical modeling language used for specifying, visualizing, constructing, and documenting software intensive artifacts. UML, which has been accepted as an industry standard in November 1997, has aided the design and maintenance of object-oriented legacy applications. While the software developers were building UML models for their existing applications as part of a reverse-engineering process, development of next generation software applications started from the models (forward-engineering process). In the forward engineering process, the systemâ s code is specified and constructed from the UML models, which evolve as the system evolves in order to maintain consistent documentation and visualization of the system. Moreover, UML has the power of hiding unnecessary details of the system by the ability to model its different views. This enables visualizing the system at different levels of hierarchy.
This thesis documents how to use UML to model a software-intensive simulation for the combat systems of a fully automated naval â digital shipâ . This process started with building the use case diagrams based on the system requirements given by the domain experts. Then activity diagrams were used to describe the exact performance of the use cases. The logical view of the system was built using class, interaction, and activity diagrams. Then, the physical view of the system was built using component diagrams. Finally, an example of the code generation process from the UML models was carried out for one of the system components.
These models are to be maintained as the application evolves. Using UML has aided in building a well-structured object-oriented application, validating the use cases of the application with the domain experts, visualizing and validating the structure of the source code before writing it, communicating between different members of the development team, and providing an easily understandable documentation of the system.<br>Master of Science
36
Jones, David R. "A Software Reengineering Method for Evolving a Structured Legacy System to an Object-Oriented System Model Using the Unified Modeling Language." NSUWorks, 2001. http://nsuworks.nova.edu/gscis_etd/618.
Full textAbstract:
The problem investigated by the researcher in this study is the lack of advancement of software reengineering methods that involve modeling and the migration of a structured legacy system to an object-oriented system. The solution proposed in the study was implemented with the Unified Modeling Language (UML). Given the many benefits of object-oriented systems over conventional procedural systems and the rapidly escalating costs of maintenance of systems written in conventional languages, the migration of billions of lines of procedural code written into object-oriented languages is an attractive option. However, conversion of procedural systems into object-oriented systems has been an elusive goal. The purpose of the researcher in this study was to define a method from a systems perspective for the software reengineering of legacy systems into an object-oriented system using the UML as the textual and graphical depiction of the reengineered legacy system. The method consisted of the process or steps to be taken when extracting the functionality of the legacy system to its subsequent depiction using the UML. The expectations of this research included the development of an abstract methodology for software reengineering of a structured legacy system into the model of an object-oriented design using the UML from a systems perspective. The model was validated through the study of a specific example. This approach did not employ a traditional quantitative research method; demonstration of the methodology's feasibility was based on a case study that consisted of application of the methodology to a legacy system. Metrics were applied to determine the quality of the resulting reengineered object-oriented UML model. The method this researcher defined integrated the extraction of coded information with domain knowledge to achieve the UML depicted object-oriented target architecture. It was demonstrated through the reengineering of a single application in the legacy.
37
Thurn, Christian. "Verification and Validation of Object Oriented Software Design : Guidelines on how to Choose the Best Method." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2590.
Full textAbstract:
The earlier in the development process a fault is found, the cheaper it is to correct the fault. Therefore are verification and validation methods important tools. The problem with this is that there are many methods to choose between. This thesis sheds light on how to choose between four common verification and validation methods. The verification and validation methods presented in this thesis are reviews, inspections and Fault Tree Analysis. Review and inspection methods are evaluated in an empirical study. The result of the study shows that there are differences in terms of defect detection. Based on this study and literature study, guidelines on how to choose the best method in a given context are given.<br>Desto tidigare i utvecklingsprocessen som ett fel hittas, desto billigare är det att rätt till detta fel. Därför är verifierings- och valideringsmetoder viktiga verktyg. Problemet är att det finns många metoder. Den här rapporten sprider ljus över hur man ska välja mellan fyra vanliga verifierings- och valideringsmetoder. Verifierings- och valideringsmetoderna i den här rapporten är granskningar, inspektioner och "Fault Tree Analysis". Granskningar och inspektioner är utvärderade i en empiriskt studie. Resultatet av studien visar att det finns skillnader mellan metoderna när det gäller att hitta fel.
38
Toschev, Jöran. "Entwurf und Implementierung einer neuen Architektur für TESSI." Master's thesis, Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200301179.
Full textAbstract:
Das Projekt TESSI beschäftigt sich mit der Entwicklung eines Verfahrens und eines CASE-Werkzeugs zur Analyse von Anforderungstexten und dem parallelen Entwurf eines objektorientierten Modells. Veränderte Anforderungen und geplante Erweiterungen machten eine Überarbeitung der Version 1.1 des Programms TESSI notwendig. Diese Diplomarbeit beschreibt das Reengineering der Altsoftware und den Entwurf sowie die Implementierung der neuen Version 2.0 von TESSI.
39
Jayaweera, Prasad M. "A Unified Framework for e-Commerce Systems Development : Business Process Pattern Perspective." Doctoral thesis, Kista : Dept. of Computer and Systems Sciences [Institutionen för Data- och Systemvetenskap], Univ./KTH, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-219.
Full text
40
Schütze, Lars. "Implementing a Debugger for Dresden OCL." Bachelor's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-118599.
Full textAbstract:
Although originally designed as an extension for the Unifi ed Modeling Language (UML), today, the Object Constraint Language (OCL) has been broadly adopted in the context of both UML and other modeling and domain-specifi c languages. However, appropriate tooling, supporting modelers and software developers on using OCL is still scarce and lacks important features such as debugging support. As OCL constraints are likely to become rather complex for real world examples, it is hard to comprehend the in uence of single OCL expressions and subexpressions on the result of a completely evaluated OCL constraint in the context of speci fic constrained objects. Therefore, debugging is of topmost importance for both constraint comprehension and maintenance. Thus, the major task of this work is to develop a graphical debugger integrated into Dresden OCL and the Eclipse Integrated Development Environment (IDE) to fill this gap.
41
Ramasubbu, Surendranath. "Reverse Software Engineering Large Object Oriented Software Systems using the UML Notation." Thesis, Virginia Tech, 2001. http://hdl.handle.net/10919/31960.
Full textAbstract:
A common problem experienced by the software engineering community traditionally has been that of understanding legacy code. A decade ago, legacy code was used to refer to programs written in COBOL, typically for large mainframe systems. However, current software developers predominantly use Object Oriented languages like C++ and Java. The belief prevalent among software developers and object philosophers that comprehending object-oriented software will be relatively easier has turned out to be a myth. Tomorrow's legacy code is being written today, since object oriented programs are even more complex and difficult to comprehend, unless rigorously documented. Reverse Engineering is a methodology that greatly reduces the time, effort and complexity involved in solving the program comprehension problem.
This thesis deals with Reverse Engineering complex object oriented software and the experiences with a sample case study. Extensive survey of literature and contemporary research on reverse engineering and program comprehension was undertaken as part of this thesis work. An Energy Information System (EIS) application created by a leading energy service provider and one that is being used extensively in the real world was chosen as a case study. Reverse engineering this industry strength Java application necessitated the definition of a formal process. An intuitive Reverse Engineering Process (REP) was defined and used for the reverse engineering effort. The learning experiences gained from this case study are discussed in this thesis.<br>Master of Science
42
Bendraou, Reda. "Uml4spm : un @langage de modélisation de procédés de développement logiciel exécutable et orienté modèle." Paris 6, 2007. http://www.theses.fr/2007PA066287.
Full textAbstract:
Même si la fiabilité des applications logicielles a souvent été évaluée par les traditionnelles approches de Vérification et de Validation (V&V), il n'en est pas moins établi que le choix des acteurs ainsi que du procédé de développement suivi lors de leur réalisation y contribue fortement. Les entreprises ont très vite compris cet enjeu et leur intérêt à vouloir capitaliser leur savoir-faire sous forme de Modèles de Procédés n'a cessé de s'accroître. L'objectif sous-jacent étant bien sûr de pérenniser une connaissance précieuse et répétitive de leur Procédés de Développement Logiciel, mais aussi de s'en servir à des fins de compréhension, d'analyse et d'exécution. Depuis bientôt trois décennies, on assiste à une prolifération de ce que l'on appelle communément les Langages de Modélisation de Procédés (LMPs). Néanmoins, aucun d'entre eux n'a réussi à s'imposer comme le Langage pour la modélisation de procédés de développement logiciel. Leur complexité, leur applicabilité à des domaines dédiés ou leur manque d'expressivité sont parmi les freins qui ont pénalisé leur adoption. Ajouter à cela, un besoin critique, rarement satisfait, qui est celui de pouvoir simuler ces Modèles de Procédés, de les exécuter et de gérer leur répartition sur plusieurs sites distants et hétérogènes. Le but de cette thèse est de proposer un Langage de Modélisation de Procédés de Développement Logiciel selon une approche normative visant à répondre aux nouvelles attentes de la communauté logicielle. Ce dernier devra satisfaire un certain nombre d'exigences que nous aurons identifiées au préalable avec comme priorités premières, une simplicité d'utilisation et de compréhension ainsi qu'une prédisposition des modèles instance de ce langage à être simulés et exécutés.
43
Kwan, Irwin. "On the Maintenance Costs of Formal Software Requirements Specification Written in the Software Cost Reduction and in the Real-time Unified Modeling Language Notations." Thesis, University of Waterloo, 2005. http://hdl.handle.net/10012/1092.
Full textAbstract:
A formal specification language used during the requirements phase can reduce errors and rework, but formal specifications are regarded as expensive to maintain, discouraging their adoption. This work presents a single-subject experiment that explores the costs of modifying specifications written in two different languages: a tabular notation, Software Cost Reduction (SCR), and a state-of-the-practice notation, Real-time Unified Modeling Language (UML). The study records the person-hours required to write each specification, the number of defects made during each specification effort, and the amount of time repairing these defects. Two different problems are specified—a Bidirectional Formatter (BDF), and a Bicycle Computer (BC)—to balance a learning effect from specifying the same problem twice with different specification languages. During the experiment, an updated feature for each problem is sent to the subject and each specification is modified to reflect the changes. <br /><br /> The results show that the cost to modify a specification are highly dependent on both the problem and the language used. There is no evidence that a tabular notation is easier to modify than a state-of-the-practice notation. <br /><br /> A side-effect of the experiment indicates there is a strong learning effect, independent of the language: in the BDF problem, the second time specifying the problem required more time, but resulted in a better-quality specification than the first time; in the BC problem, the second time specifying the problem required less time and resulted in the same quality specification as the first time. <br /><br /> This work demonstrates also that single-subject experiments can add important information to the growing body of empirical data about the use of formal requirements specifications in software development.
44
Filho, Domenico Schettini. "Projeto e implementação de um gerador automático de serviços web a partir de diagramas de classes." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12122016-163007/.
Full textAbstract:
A indústria de desenvolvimento de software está em constante evolução e em busca de novos desafios, como por exemplo: novas tecnologias, linguagens de programação e estratégias para aumentar a produtividade no desenvolvimento. Com o passar do tempo, essa evolução desejada tem se concretizado, em especial com o surgimento de conceitos como Service Oriented Architecture (SOA) e Model-Driven Development (MDD). Nesse contexto, ganha importância a reutilização de software, por exemplo por meio do uso de serviços que facilitam a interoperabilidade entre diferentes sistemas. Ambientes de desenvolvimento de software, em especial ambientes de reúso de software, poderiam se adequar à arquitetura SOA para facilitar a disponibilização de serviços a outros ambientes, promovendo sua integração e aumentando a possibilidade de reúso. Após um levantamento bibliográfico sobre ambientes integrados de reúso que utilizassem serviços para permitir o compartilhamento de recursos, percebeu-se que os trabalhos nessa direção são poucos. Ao mesmo tempo, observou-se que para integração de sistemas por meio de serviços é necessário criar camadas de acesso às entidades dos sistemas que compartilharão informações. A implementação desses serviços de forma manual é repetitiva e sujeita a erros, principalmente por programadores que não estão familiarizados com SOA. Por outro lado, diagramas de classes em UML (Unified Modeling Language) são de amplo conhecimento por parte de desenvolvedores e estão em um nível de abstração que é suficientemente detalhado para permitir a derivação de serviços de acesso às suas classes. Desta forma, para atender uma demanda crescente de sistemas que precisam oferecer serviços para possibilitar sua integração com outros sistemas, este mestrado tem por objetivo promover a geração automatizada de código de serviços por meio de transformações de modelo para texto, em que o modelo de entrada é um diagrama de classes derivado da UML e os serviços gerados cobrem operações básicas do tipo CRUD. O gerador resultante foi validado por meio de duas provas de conceito e mostrou-se adequado para cumprir os objetivos estabelecidos, visto que o desenvolvedor trabalha com um modelo em alto nível de abstração, não precisando conhecer os detalhes inerentes à implementação dos serviços.<br>The software development industry is constantly evolving and looking for challenges, such as: new technologies, programming languages and strategies to increase developers productivity. During the course of time, this required evolution has been concretized, especially with the emergency of concepts such as Service Oriented Architecture (SOA) and Model-Driven Development (MDD). In this context, software reuse gains importance, for example through the use of services that ease the interoperability of different systems. Software development environments, in special reuse environments, could be adapted to the SOA architecture to ease the availability of services to other environments, thus promoting its integration and possibility of reuse. After a literature review about integrated reuse environments that use services to allow resources sharing, it has been observed that there are only a few works in this direction. At the same time, it was observed that for system integration through services it is required to create an access layer for the system entities that share information. The manual implementation of these services is repetitive and error prone, especially for programmers who are not familiar with SOA. On the other hand, UML (Unified Modeling Language) class diagrams are widely known by developers and are at a level of abstraction that is sufficiently detailed to allow the derivation of access services to their classes. Thus, to meet a growing demand for systems that need to provide services to enable its integration with other systems, this masters dissertation aims to promote the automated generation of service code through transformations from model to text, where the input model is a class diagram derived from UML, and the generated services cover the basic CRUD operations. The resulting generator has been validated through two proofs of concepts and was adequate to meet the stated objectives, as the developer works with a model in a high abstraction level, and does not need to know the details related with the service implementation.
45
Rudolph, Melanie M. "National freight transport planning : towards a Strategic Planning Extranet Decision Support System (SPEDSS)." Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/7080.
Full textAbstract:
This thesis provides a `proof-of-concept' prototype and a design architecture for a Object Oriented (00) database towards the development of a Decision Support System (DSS) for the national freight transport planning problem. Both governments and industry require a Strategic Planning Extranet Decision Support System (SPEDSS) for their effective management of the national Freight Transport Networks (FTN). This thesis addresses the three key problems for the development of a SPEDSS to facilitate national strategic freight planning: 1) scope and scale of data available and required; 2) scope and scale of existing models; and 3) construction of the software. The research approach taken embodies systems thinking and includes the use of: Object Oriented Analysis and Design (OOA/D) for problem encapsulation and database design; artificial neural network (and proposed rule extraction) for knowledge acquisition of the United States FTN data set; and an iterative Object Oriented (00) software design for the development of a `proof-of-concept' prototype. The research findings demonstrate that an 00 approach along with the use of 00 methodologies and technologies coupled with artificial neural networks (ANNs) offers a robust and flexible methodology for the analysis of the FTN problem domain and the design architecture of an Extranet based SPEDSS. The objectives of this research were to: 1) identify and analyse current problems and proposed solutions facing industry and governments in strategic transportation planning; 2) determine the functional requirements of an FTN SPEDSS; 3) perform a feasibility analysis for building a FTN SPEDSS `proof-of-concept' prototype and (00) database design; 4) develop a methodology for a national `internet-enabled' SPEDSS model and database; 5) construct a `proof-of-concept' prototype for a SPEDSS encapsulating identified user requirements; 6) develop a methodology to resolve the issue of the scale of data and data knowledge acquisition which would act as the `intelligence' within a SPDSS; 7) implement the data methodology using Artificial Neural Networks (ANNs) towards the validation of it; and 8) make recommendations for national freight transportation strategic planning and further research required to fulfil the needs of governments and industry. This thesis includes: an 00 database design for encapsulation of the FTN; an `internet-enabled' Dynamic Modelling Methodology (DMM) for the virtual modelling of the FTNs; a Unified Modelling Language (UML) `proof-of-concept' prototype; and conclusions and recommendations for further collaborative research are identified.
46
Tufan, Emrah. "Developing A Parcel-based Information System By Object-oriented Approach." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/1053263/index.pdf.
Full textAbstract:
The cadastre contains parcel related data which must be up-to-date. The cadastral data in any country constitute a very big dataset. Therefore parcel related data should be carefully managed.
Today, using a database is an effective way of data management. The relational database management system can be a good one for parcel related data. However when the information system concept is considered, just relational database management system is not enough. Some tools are needed in order to manipulate the data in the relational database management system. Object oriented analysis and design is a good choice to develop these tools.
In this study, a parcel-based information system is developed and it is implemented for Ç<br>ankaya Municipality. During the development relational database management system is used for attribute data management, and object-oriented analysis and design is used for development of application to manipulate the data in the relational database management system. The cadastral data are separated into two parts and each part is handled separately. The first part is the geographic or spatial data. These data are handled by the help of the MapInfo Professional Version 6.5. The other part is the attributes of these spatial data. For this part, relational database is designed and implemented on Microsoft SQL Server Version 2000. During the development of the relational database, conceptual database design is performed by enhanced entity-relationship (EER) model. Then in the logical design, the conceptual model is mapped into the relational model. After data storage area is created, the application is developed on that data by using principles of object-oriented design and analysis and unified modeling language. By the help of the software developed, the data management can be carried out easily. By this study, a solution is proposed for the cadastral data management problem of the municipalities, and this study is one of the first studies developed for parcel related data using object-oriented approach for municipalities.
47
Farquhar, Cynthia Patrice. "An empirical study: Usage of the Unified Modeling Language in the Bachelor of Science and Master of Science degree programs at California State University, San Bernardino." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2929.
Full textAbstract:
The Unified Modeling Language (UML) became part of the curriculum in the Department of Computer Science at California State University, San Bernardino (CSUSB) in September 1997. The intent was to integrate the object-oriented paradigm in the undergraduate courses. Subsequently, this use has shifted to the graduate level. The purpose of this thesis is: 1) to determine what the students know about UML, 2) to reveal if the students were using UML, 3) to clarify how students use the UML.
48
Budak, Basar Onur. "Development Of A Tool Management System For A Job Shop." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/1094804/index.pdf.
Full textAbstract:
A tool management system for a job shop was developed in this study. The system
is based on the rules of the plant of Tü<br>rk Traktö<br>r ve Ziraat Makineleri A.S. in
Ankara. An object-oriented methodology was used during the system
development. Unified Modeling Language (UML), which is the standard
diagramming notation for object-oriented development, is used to model the
system. Entity-Relation (E-R) modeling is used during the construction of the
database. System was developed using three-tiered Microsoft Windows
Distributed Internet Applications (DNA) Architecture. Microsoft Visual Basic 6.0
and Visual InterDev 6.0, which are the members of Microsoft Visual Studio 6.0
were used as programming tools. Internet Information Server was used as web
server and Microsoft Transaction Server was used as object broker. Microsoft
SQL Server was used as database server.
Software was developed in three modules: gage-fixture, cutting tool-tool holder
and tool requirement plan modules. Gage- fixture module tracks the location of
measuring equipment, fixture and fixture assemblies<br>keeps the related data about
these tools and manage calibration of the measuring equipments. Cutting tool-tool holder module tracks the issue and return of cutting tools and tool holders<br>sharpening of cutting tools<br>keeps the related data about these tools. Tool
requirement plan module tracks the purchase orders and cutting tool receivings
from vendors<br>prepares tool requirement plan and suggests purchase orders
according to the requirement calculation.
49
Činčikas, Evaldas. "UAB „Švaros komanda“ vadybininko darbo vietos kompiuterizavimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050110_195041-53474.
Full textAbstract:
The aim of this master work is to create flexible information system, based on the up-to-date technologies and tailored to the users’ needs. The information system aims to facilitate work, presentation of the information and customers’ service. Joint-stock company “Švaros komanda“ offers waste disposal facilities for citizens and companies. The main goal of this project is to computerize workplace of manager. The data will be stored in the database, created by using Access 2002. The information system helps to solve these goals: • To make contracts with customers; • To create the timetables; • To fix services; • To collect the data from posts ant banks and to import into data base; • Accounts control. The usage of system will simplify system administrator functions and will reduce level of mistakes.
50
Ferreira, Ana Cristina Martins. "Refinamento de diagramas de classes: análise e verificação." Master's thesis, Faculdade de Ciências e Tecnologia, 2009. http://hdl.handle.net/10362/3981.
Full textAbstract:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática<br>A qualidade do Software foi sempre uma das grandes preocupações das empresas de desenvolvimento de software. O suporte à constante necessidade de actualização e adaptações dos sistemas é essencial ao sucesso dos mesmos.
O paradigma orientado a objectos centraliza uma grande parte dos seus esforços, na criação de sistemas de software bem planeados, robustos, modificáveis e, sempre que possível, reutilizáveis.
O UML (Unified Modelling Language) é uma linguagem de modulação visual, complementada pela linguagem de especificação formal de restrições OCL (Object Constraint Language). O OCL permite aumentar a expressividade dos diagramas, mas não consegue colmatar totalmente a informalidade do UML.
O refinamento baseia-se na premissa de que temos uma dada especificação e através de um conjunto de regras bem-formadas podemos obter uma segunda especificação aperfeiçoada, em que o comportamento inicialmente observado é mantido.
O Alloy é uma linguagem de especificação formal, orientada a objectos, direccionada para a criação de micro-modelos, que nos possibilita a análise e verificação formal, através da ferramenta associada Alloy Analyzer.
Com o objectivo de verificar a correcção das transformações de refinamento de diagramas de classe do UML, propomos a definição de um conjunto de regras de refinamento. Com base nessas regras e nos modelos (modelo original e concreto), propomos usar a ferramenta Alloy Analyzer para a verificação formal automática da correcção do refinamento.