Thesis (M.S.)--Mississippi State University. Department of Computer Science. / Title from title screen. Includes bibliographical references.

Vast amounts of evolving data are created in the design of hard real-time software systems. This data must be managed so that it can be stored and retrieved according to the needs of design engineers. In the Computer-Aided Prototyping System (CAPS), a Design Database (DDB) must manage the storage and retrieval of the entire Prototype System Description Language (PSDL) program. This thesis presents a conceptual design and initial implementation of a Design Database (DDB) for the Computer-Aided Prototyping System (CAPS).

Thesis (Ph.D.) -- University of Western Sydney, 2004. / "Submitted as fulfilling the requirements for the Doctor of Philosophy Degree"-- t.p. "March 2004" Includes bibliographic references.

Orientador: Ricardo da Silva Torres / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-20T03:10:49Z (GMT). No. of bitstreams: 1 Toffoli_TicianaOniki_M.pdf: 3006898 bytes, checksum: 09832cb2965a248613f643435f1f9be6 (MD5) Previous issue date: 2012 / Resumo: Bibliotecas digitais são avançados e complexos sistemas de informação que armazenam, agregam e gerenciam informações correlatas para que comunidades específicas possam ter acesso a objetos digitais de interesse. Grandes volumes de dados de diferentes tipos e formatos vêm sendo gerados. Muitos desses dados são organizados em objetos digitais que podem ser objetos complexos, ou seja, objetos compostos de outros objetos digitais. Como a especificação e a implementação de uma biblioteca digital são tarefas cruciais para um gerenciamento eficaz de documentos, ferramentas vêm sendo criadas para auxiliar na especificação e na implementação de bibliotecas digitais. Entretanto, poucas ferramentas existentes permitem a especificação de objetos complexos em bibliotecas digitais. Além disso, dificuldades são encontradas na especificação, na modelagem e no reuso desse tipo complexo de dado. O objetivo desta dissertação foi propor um metamodelo de bibliotecas digitais de objetos complexos para especificar instâncias de bibliotecas digitais que gerenciem objetos complexos. O novo metamodelo foi incluído na ferramenta 5SGraph, ferramenta gráfica baseada no formalismo 5S (Streams, Structures, Spaces, Scenarios e Societies) que permite a especificação formal de bibliotecas digitais. A validação do novo metamodelo foi realizada por estudos de caso, por uma avaliação com usuários potenciais da ferramenta 5SGraph e pela implementação de um protótipo de uma biblioteca digital de documentos legais. Com os resultados obtidos, comprovou-se que a ferramenta 5SGraph estendida pode ser usada para especificar bibliotecas digitais de objetos complexos. As principais contribuições deste trabalho são: a caracterização de documentos legais como objetos complexos; a especificação de um metamodelo para especificação de bibliotecas digitais de objetos complexos; a implementação de um metamodelo para uso na ferramenta 5SGraph com o objetivo de especificar e instanciar bibliotecas digitais contendo objetos complexos; uma apresentação de estudos de casos para especificar objetos complexos de bibliotecas digitais na ferramenta 5SGraph; a validação do uso do novo metamodelo na ferramenta 5SGraph por usuários potenciais; e a especificação e a implementação de um protótipo de biblioteca digital de objetos complexos do tipo documento legal / Abstract: Digital libraries are advanced and complex information systems that store, aggregate, and manage correlated information. These systems are used by specific communities to access digital objects of interest. Due to the creation of huge collections of heterogeneous data (in terms of type and format), some of these data are organized in digital complex objects, in the sense that they are composed by other digital objects. Since specification and implementation of digital libraries are decisive tasks to achieve an effective management of documents, specific software tools have been created to help and facilitate the specification and implementation of digital libraries. However, few existing tools used to model digital libraries allow the specification of complex objects. Besides, this kind of complex data make more difficult the tasks of specification, modeling, and reusing of complex objects. The objective of this dissertation was to propose a digital library metamodel in order to specify instances of digital libraries that manage complex objects. The new metamodel was included in the 5SGraph tool. 5SGraph is a software tool based on the 5S theory (Streams, Structures, Spaces, Scenarios, and Societies) and provides a visual environment for the formal specification of digital libraries. The new metamodel was validated through: case studies, an evaluation with potential users, and the implementation of a digital library prototype containing legal documents. According to the results, the extended 5SGraph tool can be used to specify digital libraries of complex objects. The main contributions of this work are: the characterization of legal documents as complex objects; the specification of a metamodel to be used in the specification of digital libraries of complex objects; the implementation of a metamodel in the 5SGraph tool, making the tool capable of specifying digital libraries of complex objects; the presentation of some case studies using the 5SGraph tool to specify complex objects of digital libraries; validation of the new metamodel in the 5SGraph with potential users; and the specification and implementation of a digital library prototype containing complex objects related to legal documents / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

This thesis describes a visual programming language designed to describe and generate Ada program unit specifications. The author first describes the foundations for the work, and gives a brief introduction to some of the features of the language. Most of the thesis is dedicated to describing the visual representation for each portion of an Ada package specification. The BNF grammar of an Ada package specification is used as a basis for organization. By organizing the thesis via the package specification, all program unit specifications i.e., package, task, subprogram and generic specifications) are described and given a representation in the language. Toward the end of the thesis, the design and reference of a package specification is demonstrated in a hypothetical implementation. / Master of Science

Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design [7, 12, 17, 6]. Their classical use in the (usually computer aided) database design process can roughly be described as follows: after evaluating the requirements of the application, the database designer constructs an ER schema, which represents the conceptual model of the new database. CASE tools can be used to automatically transform the ER schema into a relational database schema, which is then manually fine-tuned. During the last years, the initially rather simple ER formalisms has been extended by various means of expressivity to account for new, more complex application areas such as schema integration for data warehouses [12, 3, 13]. Designing a conceptual model with such enriched ER diagrams is a nontrivial task: there exist complex interactions between the various means of expressivity, which quite often result in unnoticed inconsistencies in the ER schemas and in implicit ramifications of the modeling that have not been intended by the designer. To address this problem, Description Logics (DLs) have been proposed and succesfully used as a tool for reasoning about ER diagrams and thereby detecting the aforementioned anomalies [5, 6, 8].

Thesis (M. Tech. (Engineering: Electrical)) -- Central University of technology, Free State, 2013 / The South African (SA) manufacturing industry requires developing similar levels of sophistication and expertise in automation as its international rivals to compete for global markets. To achieve this, manufacturing plants need to be managed extremely efficiently to ensure the quality of manufactured products and these plants must also have the relevant infrastructure. Furthermore, this industry must also compensate for rapid product introduction, product changes and short product lifespan. To support this need, this industry must engage in the current trend in automation known as reconfigurable manufacturing. The aim of the study is to develop a reconfigurable assembly system with enhanced control capabilities by utilizing virtual commissioning. In addition, this system must be capable of assembling multiple different products of a product range; reconfigure to accommodate the requirements of these products; autonomously reroute the product flow and distribute workload among assembly cells; handle erroneous products; and implement enhanced control methods. To achieve this, a literature study was done to confirm the type of components to be used, reveal design issues and what characteristics such a system must adhere to. Software named DELMIA was used to create a virtual simulation environment to verify the system and simultaneously scrutinize the methods of verification. On completion, simulations were conducted to verify software functions, device movements and operations, and the control software of the system. Based on simulation results, the physical system was built, and then verified with a multi agent system as overhead control to validate the entire system. The final results showed that the project objectives are achievable and it was also found that DELMIA is an excellent tool for system verification and will expedite the design of a system. By obtaining these results it is indicated that companies can design and verify their systems earlier through virtual commissioning. In addition, their systems will be more flexible, new products or product changes can be introduced more frequently, with minimum cost and downtime. This will enable SA manufacturing companies to be more competitive, ensure increased productivity, save time and so ensure them an advantage over their international competition.

Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T21:42:32Z (GMT). No. of bitstreams: 1 Maranesi_LuisAlfredoHarriss_M.pdf: 1573468 bytes, checksum: a5643eac32cc4886a7cfc43507758fd6 (MD5) Previous issue date: 2011 / Resumo: Soluções de Software de Gestão Empresarial (ERP - Enterprise Resource Planning) no Brasil são normalmente de código proprietário, caras de adquirir e implantar. No mercado brasileiro micro e pequenas empresas poderiam se beneficiar muito com a existência de soluções de ERP mais acessíveis. Uma possível solução seria o uso de programas de código livre para atender a essa demanda, tal como o projeto Apache Open For Business, um conjunto de aplicativos e um framework voltado para soluções de gestão empresarial. Neste estudo espera-se investigar a localização (processo de adaptação de um sistema para uma determinada cultura). Não apenas no que diz respeito a mera tradução dele, mas a aspectos legais, fiscais e contábeis, buscando aumentar sua usabilidade e viabilidade para empresários brasileiros / Abstract: In Brazil, Enterprise Resource Planning (ERP) software are usually proprietary, expensive to acquire and deploy. Micro and small businesses could benefit greatly from the existence of more affordable ERP solutions. One possible solution would be to use open source software to meet this demand. Of relevance in this scenario there is the project Apache Open For Business, a suite of applications and a framework aimed at business management solutions. The main purpose of this study is to investigate the localization (i.e. adapting computer software to different cultural contexts) of this software, not only regarding to mere translation, but also the legal, tax and accounting aspects, seeking to increase its usability and feasibility for Brazilian businessmen. / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

支援自動即時雙向工程（Roundtrip engineering，自即雙工）與重構，是當前先進整合開發環境的兩項殺手級特色。然而，當今自即雙工所實現的即時同步，僅針對特定塑模環境（如圖形使用者介面編排、物件類別設計等）量身訂製，並非任意同步。而精確字串匹配的彈性不足，也使以此為基礎的重構技術面臨些瓶頸。以上限制，使我們無法在跨模型、語言或文件的層次進行同步或重構，以滿足現今系統開發過程中的龐大資料同步需求。 我們的補強方案就是梭。這是一具在Eclipse【1】圖形化塑模框架（Graphical Modeling Framework，GMF【2】）下運作的塑模輔助引擎。梭可監聽GMF編輯器的模型元素輸入，同時連結元素與「同步概念」，以建立同步規則，最後依據規則，輸出視覺化的模型同步建議，輔助達成模型－模型間的資訊同步。 我們借鏡知識本體與資訊擷取「概念搜尋」中的「概念（Concept）」觀，提出了「概念同步」的想法。用以同步的「同步概念」，則延伸自詞網（WordNet【3】）的自然語言同義詞集合，代表著「擁有相關自然語言內容的模型元素間，應當同步」的關係。梭對模型元素屬性內容進行自然語言斷詞後，將斷詞結果投入詞網搜尋，以取得前述的相似內容。 梭以「概念」串連了原本難以即時同步的模型元素。梭的規則推論架構，也為未來的知識本體化、結構化模型同步推論、驗證，鋪好了道路。開發者的夢想──在開發的任何階段，系統皆能維持同步──離實現又邁進一步。 / Roundtrip engineering and refactoring are killer features of modern IDE systems. Most implementations of these features nowadays, however, are tailor-made for scenarios like GUI or UML diagramming ones and hence are hard to generalize; moreover, existing refactoring ways are usually restricted to exact string matching and are thus unable to synchronize artifacts with different occurrences of the equivalent term. These problems inhibit today's IDEs from supporting developments requiring synchronization across models, languages and documents. Shuttle is a modeling assistant developed by us running on Eclipse GMF editors. It monitors users' input model elements and link them by related concepts automatically. Later modifications of an element will trigger rules to find the others under the same related concepts and result in various synchronization recommendations which developers may choose to take to enforce consistency among parts of the developed system. The linking-triggering mechanism of Shuttle is based on what we call concept synchronization (CS), which is inspired by the idea of concept in ontology and concept search in information retrieval. CS captures the simple idea that model elements with related text descriptions would be very likely modified accordingly if one of them is changed by the developer. To detect all others related to a target model element, we establish a many-to-many mapping between elements and WordNet Synsets【3】according to element text descriptions ahead of time and then, with WordNet’s help【40】, all elements related to the target can be found by looking for those mapped to a Synset associated with the target.