Artículos de revistas: "Automatic software transformation"

1

Vákár, Matthijs y Tom Smeding. "CHAD: Combinatory Homomorphic Automatic Differentiation". ACM Transactions on Programming Languages and Systems 44, n.º 3 (30 de septiembre de 2022): 1–49. http://dx.doi.org/10.1145/3527634.

Texto completo

Resumen

We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward and reverse mode automatic differentiation (AD) on programming languages with expressive features. It implements AD as a compositional, type-respecting source-code transformation that generates purely functional code. This code transformation is principled in the sense that it is the unique homomorphic (structure preserving) extension to expressive languages of Elliott’s well-known and unambiguous definitions of AD for a first-order functional language. Correctness of the method follows by a (compositional) logical relations argument that shows that the semantics of the syntactic derivative is the usual calculus derivative of the semantics of the original program. In their most elegant formulation, the transformations generate code with linear types. However, the code transformations can be implemented in a standard functional language lacking linear types: While the correctness proof requires tracking of linearity, the actual transformations do not. In fact, even in a standard functional language, we can get all of the type-safety that linear types give us: We can implement all linear types used to type the transformations as abstract types by using a basic module system. In this article, we detail the method when applied to a simple higher-order language for manipulating statically sized arrays. However, we explain how the methodology applies, more generally, to functional languages with other expressive features. Finally, we discuss how the scope of CHAD extends beyond applications in AD to other dynamic program analyses that accumulate data in a commutative monoid.

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Hammoudi, Slimane, Wajih Alouini, Denivaldo Lopes y Marianne Huchard. "Towards A Semi-Automatic Transformation Process in MDA". International Journal of Information System Modeling and Design 1, n.º 4 (octubre de 2010): 48–76. http://dx.doi.org/10.4018/jismd.2010100103.

Texto completo

Resumen

Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories, and the Eclipse Modeling Framework (EMF) are representative MDE approaches. These MDE approaches have concepts and techniques in common such as modeling, metamodels, and model transformation. Today, it is well recognized that model transformation is the most important of MDE approaches and is one of the most important operations in MDE. Despite the multitude of model transformation language proposals emerging from university and industry, these transformations are often created manually, which is a tedious and error-prone task and therefore an expensive process. In this paper, the authors propose an extended architecture that aims to semi-automate the process of transformation in the context of MDA. This architecture involves concepts and techniques of metamodel matching, inspired and borrowed from schema matching techniques that are an important issue in the database and ontology domain. This architecture is enforced by a methodology which details the different steps leading to a semi-automatic transformation process. Matching foundations and the authors’ approach for metamodel matching are discussed.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Varró, Dániel, Gergely Varró y András Pataricza. "Designing the automatic transformation of visual languages". Science of Computer Programming 44, n.º 2 (agosto de 2002): 205–27. http://dx.doi.org/10.1016/s0167-6423(02)00039-4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Mahmood, Hina, Atif Aftab Jilani y Abdul Rauf. "Code Swarm: A Code Generation Tool based on the Automatic Derivation of Transformation Rule Set". International Journal of Software Engineering & Applications 14, n.º 6 (29 de noviembre de 2023): 01–11. http://dx.doi.org/10.5121/ijsea.2023.14601.

Texto completo

Resumen

Automatic generation of software code from system design models remains an actively explored research area for the past several years. A number of tools are currently available to facilitate and automate the task of generating code from software models. To the best of our knowledge, existing software tools rely on an explicitly defined transformation rule set to perform the model-to-code transformation process. In this paper, we introduce a novel tool named Code Swarm, abbreviated as CodS, that automatically generates implementation code from system design models by utilizing a swarm-based approach. Specifically, CodS is capable of generating Java code from the class and state models of the software system by making use of the previously solved model-to-code transformation examples. Our tool enables the designers to specify behavioural actions in the input models using the Action Specification Language (ASL). We use an industrial case study of the Elevator Control System (ECS) to perform the experimental validation of our tool. Our results indicate that the code generated by CodS is correct and consistent with the input design models. CodS performs the process of automatic code generation without taking the explicit transformation rule set or languages metamodels’ information as input, which distinguishes it from all the existing automatic code generation tools.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Damouche, Nasrine, Matthieu Martel y Alexandre Chapoutot. "Improving the numerical accuracy of programs by automatic transformation". International Journal on Software Tools for Technology Transfer 19, n.º 4 (26 de septiembre de 2016): 427–48. http://dx.doi.org/10.1007/s10009-016-0435-0.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Lafi, Lamine, Jamel Feki y Slimane Hammoudi. "Metamodel Matching Techniques". International Journal of Information System Modeling and Design 5, n.º 2 (abril de 2014): 70–94. http://dx.doi.org/10.4018/ijismd.2014040104.

Texto completo

Resumen

During the last decade, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are among the most representatives MDE approaches. Nowadays, it is well recognized that model transformation is at the heart of MDE approaches and, consequently represents one of the most important operations in MDE. However, despite the multitude of model transformation language proposals emerging from academic world and industry, these transformations are often manually specified; which is a tedious and error-prone task, and therefore an expensive process. Matching operation between metamodels is the keystone toward a (semi-)automatic transformation process. In this paper, the authors review metamodel matching techniques of the literature and then analyze their pros and cons in order to show how they can be useful for a semi-automatic transformation process. The result is a comparison of metamodel matching techniques, highlighting their similarities and differences in terms of information used for matching, demonstrating significant similarities between these techniques. Next, the authors compare four well-known metamodel matching techniques namely Similarity flooding, SAMT4MDE+ (extended Semi-Automatic Matching Tool for Model Driven Engineering), ModelCVS and AML (AtlanMod Matching Language) on ten couples of metamodels. For this comparison, the authors define a set of six criteria inspired from the database schema matching. One among these criteria is relevant to the quality of matching and for which we define a quality measure metrics. Furthermore, the authors develop a plug-in under Eclipse to support our comparison using ten couples of metamodels.

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Janulevicius, Justinas, Simona Ramanauskaite, Nikolaj Goranin y Antanas Cenys. "Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security". International Journal of Computers Communications & Control 11, n.º 2 (26 de enero de 2016): 233. http://dx.doi.org/10.15837/ijccc.2016.2.2021.

Texto completo

Resumen

Model-Driven Engineering uses models in various stages of the software engineering. To reduce the cost of modelling and production, models are reused by transforming. Therefore the accuracy of model transformations plays a key role in ensuring the quality of the process. However, problems exist when trying to transform a very abstract and content dependent model. This paper describes the issues arising from such transformations. Solutions to solve problems in content based model transformation are proposed as well. The usage of proposed solutions allowing realization of semi-automatic transformations was integrated into a tool, designed for OPC/XML drawing file transformations to CySeMoL models. The accuracy of transformations in this tool has been analyzed and presented in this paper to acquire data on the proposed solutions influence to the accuracy in content based model transformation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Konevtsov, Vladimir Aleksandrovich y Lilia Motaylenko. "NON-LINEAR TRANSFORMATION OF SIGNALS IN SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS COMPLEX". Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (15 de junio de 2017): 140. http://dx.doi.org/10.17770/etr2017vol3.2537.

Texto completo

Resumen

Dependencies between signals and dependence of signals on time are strictly non-linear. Non-linear elements, commonly used in the synthesis of automatic control systems, include: a two-point link, a two-point link with hysteresis, a three-point link, a three-point link with hysteresis, a module, saturation with insensitivity.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Vree, Willem G. y Pieter H. Hartel. "Communication lifting: fixed point computation for parallelism". Journal of Functional Programming 5, n.º 4 (octubre de 1995): 549–81. http://dx.doi.org/10.1017/s0956796800001477.

Texto completo

Resumen

AbstractCommunication lifting is a program transformation that can be applied to a synchronous process network to restructure the network. This restructuring in theory improves sequential and parallel performance. The transformation has been formally specified and proved correct and it has been implemented as an automatic program transformation tool. This tool has been applied to a small set of programs consisting of synchronous process networks. For these networks communication lifting generates parallel programs that do not require locking. Measurements indicate performance gains in practice both with sequential and parallel evaluation. Communication lifting is a worthwhile optimization to be included in a compiler for a lazy functional language.

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Thangaraj, Jagadeeswaran y Senthilkumaran Ulaganathan. "A Comparative Study on Transformation of UML/OCL to Other Specifications". Recent Advances in Computer Science and Communications 13, n.º 2 (3 de junio de 2020): 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.

Texto completo

Resumen

Background: Static verification is a sound programming methodology that permits automated reasoning about the correctness of an implementation with respect to its formal specification before its execution. Unified Modelling Language is most commonly used modelling language which describes the client’s requirement. Object Constraint Language is a formal language which allows users to express textual constraints regarding the UML model. Therefore, UML/OCL express formal specification and helps the developers to implement the code according to the client’s requirement through software design. Objective: This paper aims to compare the existing approaches generating Java, C++, C# code or JML, Spec# specifications from UML/OCL. Methods: Nowadays, software system is developed via automatic code generation from software design to implementation when using formal specification and static analysis. In this paper, the study considers transformation from design to implementation and vice versa using model transformation, code generation or other techniques. Results: The related tools, which generate codes, do not support verification at the implementation phase. On the other hand, the specification generation tools do not generate all the required properties which are needed for verification at the implementation phase. Conclusion: If the generated system supports the verification with all required properties, code developer needs less efforts to produce correct software system. Therefore, this study recommends introducing a new framework which can act as an interface between design and implementation to generate verified software systems.

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

André, Pascal y Mohammed El Amin Tebib. "Assistance in Model Driven Development: Toward an Automated Transformation Design Process". Complex Systems Informatics and Modeling Quarterly, n.º 38 (30 de abril de 2024): 54–99. http://dx.doi.org/10.7250/csimq.2024-38.03.

Texto completo

Resumen

Model driven engineering aims to shorten the development cycle by focusing on abstractions and partially automating code generation. We long lived in the myth of automatic Model Driven Development (MDD) with promising approaches, techniques, and tools. Describing models should be a main concern in software development as well as model verification and model transformation to get running applications from high level models. We revisit the subject of MDD through the prism of experimentation and open mindness. In this article, we explore assistance for the stepwise transition from the model to the code to reduce the time between the analysis model and implementation. The current state of practice requires methods and tools. We provide a general process and detailed transformation specifications where reverse-engineering may play its part. We advocate a model transformation approach in which transformations remain simple, the complexity lies in the process of transformation that is adaptable and configurable. We demonstrate the usefulness, and scalability of our proposed MDD process by conducting experiments. We conduct experiments within a simple case study in software automation systems. It is both representative and scalable. The models are written in UML; the transformations are implemented mainly using ATL, and the programs are deployed on Android and Lego EV3. Last we report the lessons learned from experimentation for future community work.

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Aftab, Zain, Waheed Iqbal, Khaled Mohamad Almustafa, Faisal Bukhari y Muhammad Abdullah. "Automatic NoSQL to Relational Database Transformation with Dynamic Schema Mapping". Scientific Programming 2020 (1 de julio de 2020): 1–13. http://dx.doi.org/10.1155/2020/8813350.

Texto completo

Resumen

Recently, the use of NoSQL databases has grown to manage unstructured data for applications to ensure performance and scalability. However, many organizations prefer to transfer data from an operational NoSQL database to a SQL-based relational database for using existing tools for business intelligence, analytics, decision making, and reporting. The existing methods of NoSQL to relational database transformation require manual schema mapping, which requires domain expertise and consumes noticeable time. Therefore, an efficient and automatic method is needed to transform an unstructured NoSQL database into a structured database. In this paper, we proposed and evaluated an efficient method to transform a NoSQL database into a relational database automatically. In our experimental evaluation, we used MongoDB as a NoSQL database, and MySQL and PostgreSQL as relational databases to perform transformation tasks for different dataset sizes. We observed excellent performance, compared to the existing state-of-the-art methods, in transforming data from a NoSQL database into a relational database.

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Huning, Lars y Elke Pulvermueller. "Automatic Code Generation of Safety Mechanisms in Model-Driven Development". Electronics 10, n.º 24 (17 de diciembre de 2021): 3150. http://dx.doi.org/10.3390/electronics10243150.

Texto completo

Resumen

In order to meet regulatory standards in the domain of safety-critical systems, these systems have to include a set of safety mechanisms depending on the Safety Integrity Level (SIL). This article proposes an approach for how such safety mechanisms may be generated automatically via Model-Driven Development (MDD), thereby improving developer productivity and decreasing the number of bugs that occur during manual implementation. The approach provides a structured way to define safety requirements, which may be parsed automatically and are used for the generation of software-implemented safety mechanisms, as well as the initial configuration of hardware-implemented safety mechanisms. The approach for software-implemented safety mechanisms relies on the Unified Modeling Language (UML) for representing these mechanisms in the model and uses model transformations to realize them in an intermediate model, from which code may be generated with simple 1:1 mappings. The approach for hardware-implemented safety mechanisms builds upon a template-based code snippet repository and a graphical user interface for configuration. The approach is applied to the development of a safety-critical fire detection application and the runtime of the model transformations is evaluated, indicating a linear scalability of the transformation steps. Furthermore, we evaluate the runtime and memory overhead of the generated code.

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Masero, V., J. Moreno, F. Andres, A. Silva, J. Chambel y J. Uson. "Telereconstruction from computerized tomography images for the distance teaching of medicine". Journal of Telemedicine and Telecare 6, n.º 2_suppl (agosto de 2000): 90–94. http://dx.doi.org/10.1258/1357633001935761.

Texto completo

Resumen

A system for making remote two- and three-dimensional reconstructions from computerized tomography images has been developed in order to improve medical teleteaching. It allows the automatic two- and three-dimensional remote visualization of the anatomical structure of interest. As a part of this system, software has been developed which allows many visual operations or transformations on a remote three-dimensional model. It permits the remote workstation and the local workstation to visualize every transformation simultaneously. It allows a doctor to interact virtually and remotely with the anatomical structure. The software enables examination of the anatomical model from all angles, even from inside (including planar and three-dimensional presentations).

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Ivanov, R. A. y T. F. Valeev. "Automatic Refactoring of Java Code Using the Stream API". Vestnik NSU. Series: Information Technologies 17, n.º 2 (2019): 49–60. http://dx.doi.org/10.25205/1818-7900-2019-17-2-49-60.

Texto completo

Resumen

For a long time, functional Java programming was not possible. However, lambda expressions appeared in version 8 of the Java language. Due to the support of standard library classes (Stream, Optional, etc.) in Java, it became possible to describe transformations over data in a functional style. Java is a rather old language with a large imperative code base written in it. In order to take advantage of the new approach, it is necessary to perform a non-trivial refactoring, which can be very tedious and error prone when applied manually. Fortunately, for a sufficiently large number of situations, this refactoring can be safely performed automatically. Using IntelliJ Idea as a platform software tool was developed that allows you to find places where it is possible to automatically convert an imperative code to an equivalent code that uses Stream API, as well as an automatic fix that allows you to make a replacement. Refactoring uses IntelliJ Idea framework to analyze Java code, and integrates into the IDE itself. One of the main criteria for the correct operation of the algorithm is the security of this transformation. The user cannot trust the tool if the transformation can change the semantics of the code. This article discusses various constraints that are imposed on code patterns so that transformation without distortion of semantics is possible. Refactoring has been tested in various libraries to verify the semantics are preserved by checking the test results before and after applying refactoring. This article will not describe the impact of using the Stream API on the performance of the application.

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Wang, Zhuo, Zixuan Wang y Likai Wang. "Automatic 3D Pollen Recognition Based on Convolutional Neural Network". Scientific Programming 2021 (19 de julio de 2021): 1–8. http://dx.doi.org/10.1155/2021/5577307.

Texto completo

Resumen

The importance of automatic pollen recognition has been examined in several areas ranging from paleoclimate studies to some daily practice such as pollen hypersensitivity forecasting. This paper attempts to present an automatic 3D pollen image recognition method based on convolutional neural network. To achieve this purpose, high feature dimensions and complex posture transformation should be taken into account. Therefore, this work focuses on a three-part novel approach: constructing spatial local key points to obtain local stable points of pollen images, computing orientational local binary pattern using local stable points as the inputs, and identifying the pollen grains using convolutional neural network as the classifier. Experiments are performed on two standard pollen image datasets: Confocal-E dataset and Pollenmonitor dataset. It is concluded that the proposed approach can effectively extract the features of pollen images and is robust to posture transformation, slight occlusion, and pollution.

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

San Martín, Luis, Alfonso Rodríguez, Angélica Caro y Ignacio Velásquez. "Obtaining secure business process models from an enterprise architecture considering security requirements". Business Process Management Journal 28, n.º 1 (16 de noviembre de 2021): 150–77. http://dx.doi.org/10.1108/bpmj-01-2021-0025.

Texto completo

Resumen

PurposeSecurity requirements play an important role in software development. These can be specified both in enterprise architecture models and in business processes. Enterprises increasingly carry out larger amounts of business processes where security plays a major role. Business processes including security can be automatically obtained from enterprise architecture models by applying a model-driven architecture approach, through a CIM to CIM transformation. The aim of this article is to present the specification of transformation rules for the correspondence between enterprise architecture and business process model elements focusing on security.Design/methodology/approachThis work utilizes motivational aspects of the ArchiMate language to model security in the business layer of enterprise architectures. Next, a set of transformation rules defined with the Atlas Transformation Language are utilized to obtain the correspondence of the enterprise architecture elements in a business process, modelled with a security extension of BPMN.FindingsA total of 19 transformation rules have been defined. These rules are more complex than element to element relations, as they take into consideration the context of the elements for establishing the correspondence. Additionally, the prototype of a tool that allows the automatic transformation between both models has been developed.Originality/valueThe results of this work demonstrate the possibility to tackle complex transformations between both models, as previous literature focuses on semantic correspondences. Moreover, the obtained models can be of use for software developers applying the model-driven approach.

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Feng, Jing Ge, Ye Ping He y Qiu Ming Tao. "Evaluation of Compilers’ Capability of Automatic Vectorization Based on Source Code Analysis". Scientific Programming 2021 (30 de noviembre de 2021): 1–15. http://dx.doi.org/10.1155/2021/3264624.

Texto completo

Resumen

Automatic vectorization is an important technique for compilers to improve the parallelism of programs. With the widespread usage of SIMD (Single Instruction Multiple Data) extensions in modern processors, automatic vectorization has become a hot topic in the research of compiler techniques. Accurately evaluating the effectiveness of automatic vectorization in typical compilers is quite valuable for compiler optimization and design. This paper evaluates the effectiveness of automatic vectorization, analyzes the limitation of automatic vectorization and the main causes, and improves the automatic vectorization technology. This paper firstly classifies the programs by two main factors: program characteristics and transformation methods. Then, it evaluates the effectiveness of automatic vectorization in three well-known compilers (GCC, LLVM, and ICC, including their multiple versions in recent 5 years) through TSVC (Test Suite for Vectorizing Compilers) benchmark. Furthermore, this paper analyzes the limitation of automatic vectorization based on source code analysis, and introduces the differences between academic research and engineering practice in automatic vectorization and the main causes, Finally, it gives some suggestions as to how to improve automatic vectorization capability.

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Li, Zonghua, Xiaofeng Zhou y Zhengwei Ye. "A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level". International Journal of Software Engineering and Knowledge Engineering 29, n.º 09 (septiembre de 2019): 1179–217. http://dx.doi.org/10.1142/s0218194019500372.

Texto completo

Resumen

Model transformation is a keystone in carrying out model-driven development. Currently, many studies have focused on model transformation, those researches study the automatic transformation from PIM to PSM and from PSM to code, but only few have dealt with how the CIM-level model is automatically mapped onto the PIM-level model. Even though some studies have proposed the semi-automatic transformation from CIM-level model to PIM-level model, only few mechanisms are discussed to protect the consistency between the CIM-level model and the PIM-level model in these researches because notation specification of these CIM-level model and PIM-level model does not contain precise semantics. Focusing on workflow perspective, this paper proposes an automatic model transformation approach, which applies a formal model to define the automatic mapping of the workflow from CIM-level model to PIM-level model. This proposal extends Petri nets model elements to define a bridge model, then we use this bridge model to link the CIM-level model (BPMN) and PIM-level model (SCM) following model-driven approach. The metamodels, the transformation rule and the transformation plug-ins have been defined in Eclipse Modeling Framework. Meanwhile, the plug-ins have been empirically validated by a Travel Agency case study. This study shows that using extended Petri nets model as a bridge model to define an automatic model transformation between CIM-level model and PIM-level model is feasible. This approach by means of formal model can ensure the correctness and completeness of the target model, and it can also maintain the consistency between the source model and target model.

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

TERESA DE PEDRO, MARÍA y RICARDO GARCIA ROSA. "ROBOT PATH PLANNING IN THE CONFIGURATION SPACE WITH AUTOMATIC OBSTACLE TRANSFORMATION". Cybernetics and Systems 23, n.º 3-4 (mayo de 1992): 367–78. http://dx.doi.org/10.1080/01969729208927469.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Matsuda, Kazutaka, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana y Masato Takeichi. "Bidirectionalization transformation based on automatic derivation of view complement functions". ACM SIGPLAN Notices 42, n.º 9 (octubre de 2007): 47–58. http://dx.doi.org/10.1145/1291220.1291162.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

LEUSCHEL, MICHAEL y MAURICE BRUYNOOGHE. "Logic program specialisation through partial deduction: Control issues". Theory and Practice of Logic Programming 2, n.º 4-5 (julio de 2002): 461–515. http://dx.doi.org/10.1017/s147106840200145x.

Texto completo

Resumen

Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to exploit partial knowledge about the input. It is achieved through a well-automated application of parts of the Burstall-Darlington unfold/fold transformation framework. The main challenge in developing systems is to design automatic control that ensures correctness, efficiency, and termination. This survey and tutorial presents the main developments in controlling partial deduction over the past 10 years and analyses their respective merits and shortcomings. It ends with an assessment of current achievements and sketches some remaining research challenges.

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Yu, Hua-Feng. "Bibliographic automatic classification algorithm based on semantic space transformation". Multimedia Tools and Applications 79, n.º 13-14 (8 de marzo de 2019): 9283–97. http://dx.doi.org/10.1007/s11042-019-7400-3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Nikiforova, Oksana, Konstantins Gusarovs, Olegs Gorbiks y Natalja Pavlova. "Improvement of the Two-Hemisphere Model-Driven Approach for Generation of the UML Class Diagram". Applied Computer Systems 14, n.º 1 (1 de junio de 2013): 19–30. http://dx.doi.org/10.2478/acss-2013-0003.

Texto completo

Resumen

Abstract In this paper an ability to apply the two-hemisphere model-driven approach for creation of the UML class diagram is discussed and the way to avoid the limitations of the approach is offered. The result of the proposed improvement of the twohemisphere model-driven approach is the increased number of elements of the UML class diagram available for automatic generation and several statements for semi-automatic transformation of business process diagram and the concept diagram into software components. As a result, the authors can ascertain that it is possible to apply the improved twohemisphere model-driven approach in practice in the real software development, and not only for academic purpose.

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Akers, Robert L., Ira D. Baxter, Michael Mehlich, Brian J. Ellis y Kenn R. Luecke. "Case study: Re-engineering C++ component models via automatic program transformation". Information and Software Technology 49, n.º 3 (marzo de 2007): 275–91. http://dx.doi.org/10.1016/j.infsof.2006.10.012.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Safitri, Aila Gema y Firas Atqiya. "Automatic model transformation on multi-platform system development with model driven architecture approach". Computer Science and Information Technologies 3, n.º 3 (1 de noviembre de 2022): 157–68. http://dx.doi.org/10.11591/csit.v3i3.p157-168.

Texto completo

Resumen

Several difficulties commonly arise during the software development process. Among them are the lengthy technical process of developing a system, the limited number and technical capabilities of human resources, the possibility of bugs and errors during the testing and implementation phase, dynamic and frequently changing user requirements, and the need for a system that supports multi-platforms. Rapid application development (RAD) is the software development life cycle (SDLC) that emphasizes the production of a prototype in a short amount of time (30-90 days). This study discovered that implementing a model-driven architecture (MDA) approach into the RAD method can accelerate the model design and prototyping stages. The goal is to accelerate the SDLC process. It took roughly five weeks to construct the system by applying all of the RAD stages. This time frame does not include iteration and the cutover procedure. During the prototype test, there were no errors with the create, read, update, and delete (CRUD) procedure. It was demonstrated that automatic transformation in MDA can shorten the RAD phases for designing the model and developing an early prototype, reduce code errors in standard processes like CRUD, and construct a system that supports multi-platform.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Aila Gema Safitri y Firas Atqiya. "Automatic model transformation on multi-platform system development with model driven architecture approach". Computer Science and Information Technologies 3, n.º 3 (1 de noviembre de 2022): 157–68. http://dx.doi.org/10.11591/csit.v3i3.pp157-168.

Texto completo

Resumen

Several difficulties commonly arise during the software development process. Among them are the lengthy technical process of developing a system, the limited number and technical capabilities of human resources, the possibility of bugs and errors during the testing and implementation phase, dynamic and frequently changing user requirements, and the need for a system that supports multi-platforms. Rapid application development (RAD) is the software development life cycle (SDLC) that emphasizes the production of a prototype in a short amount of time (30-90 days). This study discovered that implementing a model-driven architecture (MDA) approach into the RAD method can accelerate the model design and prototyping stages. The goal is to accelerate the SDLC process. It took roughly five weeks to construct the system by applying all of the RAD stages. This time frame does not include iteration and the cutover procedure. During the prototype test, there were no errors with the create, read, update, and delete (CRUD) procedure. It was demonstrated that automatic transformation in MDA can shorten the RAD phases for designing the model and developing an early prototype, reduce code errors in standard processes like CRUD, and construct a system that supports multi-platform.

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Hue, Chu Thi Minh, Duc-Hanh Dang, Nguyen Ngoc Binh y Anh-Hoang Truong. "USLTG: Test Case Automatic Generation by Transforming Use Cases". International Journal of Software Engineering and Knowledge Engineering 29, n.º 09 (septiembre de 2019): 1313–45. http://dx.doi.org/10.1142/s0218194019500414.

Texto completo

Resumen

This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a transformation from use cases that are represented by a USL. The USLTG transformation includes three main steps in generating (1) scenarios, (2) test data, and (3) a TCSL model. Within our transformation, the OCL solver is employed in order to build system snapshots as the part of test cases and to identify other test data. We applied our method to two case studies and evaluated our method by comparing it with other recent works.

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Chen, Shu y Ming Kai Chen. "A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation". Advanced Materials Research 225-226 (abril de 2011): 776–79. http://dx.doi.org/10.4028/www.scientific.net/amr.225-226.776.

Texto completo

Resumen

Software engineering is a critical step in obtaining high quality production. However, requirement specifications that written in natural language is inevitably has ambiguity. Modern driven architecture makes use of requirement model for the complement of requirement specification to eliminate such ambiguity. However, currently, the transformation from requirement specification into formal model only limited in syntax level, thus lack of correctness and precision. This paper proposed an approach in semantical level to process textual specifications of the requirements of unlimited natural language and their automatic mapping to the formal presentation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Qu, Cai Ping y Yan She. "Network Transformation for Electric Control System of Mine Hoist". Applied Mechanics and Materials 321-324 (junio de 2013): 1409–13. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.1409.

Texto completo

Resumen

The hardware design and software design of network transformation to relay electric control system of the original mine hoist are introduced. Double PLC and computer control technology is adapted in the transformation project, in order to improve intelligent level of hoist control system. The monitoring system was design to monitor the hoist running state on line and realize remote monitoring through network. The systems successful transformation had done a leap from old relay-contact control to automatic control. Test running shows that, running safely and reliably and stabile performance of the system satisfies design requirements of hoist transportation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Kolchugina, E. A. "A Method of Representing Cyclic Program Structures in Artificial Chemistry Model". Programmnaya Ingeneria 14, n.º 2 (8 de febrero de 2023): 77–81. http://dx.doi.org/10.17587/prin.14.77-81.

Texto completo

Resumen

The need for automation of software development processes makes it necessary to search for forms of program representation that can undergo automatic transformations without violating the integrity and semantic significance of the results of such transformations. Previously, we have proposed a notation for programs that permits the use of automatic transformation methods, namely methods of evolutionary development used, in particular, in genetic programming. But we have considered only linear and tree-like structures. In this article, we expand the list of available types of structures by adding cyclic structures, as well as complex structural compositions obtained by combining structures of simpler types. We also propose a rule excluding possible anomalies with cyclic structures representation. In general, the proposed methods are based on the concept of artificial chemistry, where programs are considered as analogues of molecules, and program transformations are considered as analogs of reactions. We illustrate the application of proposed notation using examples of the Kekule formula and the cyclic program, automatically obtained in our previous studies. The results obtained demonstrate that the proposed notation and methods make it possible to compose formulas representing computational structures of various and even mixed types.

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Markiewicz, Jakub y Dorota Zawieska. "The Influence of the Cartographic Transformation of TLS Data on the Quality of the Automatic Registration". Applied Sciences 9, n.º 3 (1 de febrero de 2019): 509. http://dx.doi.org/10.3390/app9030509.

Texto completo

Resumen

This paper discusses the issue of the influence of cartographic Terrestrial Laser Scanning (TLS) data conversion into feature-based automatic registration. Automatic registration of data is a multi-stage process, it is based on original software tools and consists of: (1) Conversion of data to the raster form, (2) register of TLS data in pairs in all possible combinations using the SURF (Speeded Up Robust Features) and FAST (Features from Accelerated Segment Test) algorithms, (3) the quality analysis of relative orientation of processed pairs, and (4) the final bundle adjustment. The following two problems, related to the influence of the spherical image, the orthoimage and the Mercator representation of the point cloud, are discussed: The correctness of the automatic tie points detection and distribution and the influence of the TLS position on the completeness of the registration process and the quality assessment. The majority of popular software applications use manually or semi-automatically determined corresponding points. However, the authors propose an original software tool to address the first issue, which automatically detects and matches corresponding points on each TLS raster representation, utilizing different algorithms (SURF and FAST). To address the second task, the authors present a series of analyses: The time of detection of characteristic points, the percentage of incorrectly detected points and adjusted characteristic points, the number of detected control and check points, the orientation accuracy of control and check points, and the distribution of control and check points. Selection of an appropriate method for the TLS point cloud conversion to the raster form and selection of an appropriate algorithm, considerably influence the completeness of the entire process, and the accuracy of data orientation. The results of the performed experiments show that fully automatic registration of the TLS point clouds in the raster forms is possible; however, it is not possible to propose one, universal form of the point cloud, because a priori knowledge concerning the scanner positions is required. If scanner stations are located close to one another in raster images or in spherical images, Mercator projections are recommended. In the case where fragments of the surface are measured under different angles from different distances and heights of the TLS, orthoimages are suggested.

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

CHO, SUNG-BAE y THOMAS S. RAY. "AN EVOLUTIONARY APPROACH TO PROGRAM TRANSFORMATION AND SYNTHESIS". International Journal of Software Engineering and Knowledge Engineering 05, n.º 02 (junio de 1995): 179–92. http://dx.doi.org/10.1142/s0218194095000101.

Texto completo

Resumen

Efficiency is a problem in automatic programming, both in the programs produced and in the synthesis process itself. This paper presents a framework for using evolutionary mechanisms to guide program synthesis. A particular implementation of the framework, called Tierra, is described. Given a naive program and some limits on system resources, Tierra generates mutated programs and evolution proceeds by natural selection as the programs compete for Control Processing Unit (CPU) time and memory space. By applying the evolutionary mechanisms, Tierra has guided the automatic implementation of an efficient self-replicating program. The system is under continuing development; it is viewed more as a research tool than a prototype programming assistant; however, the performance of the system at present gives some hope for the ultimate feasibility of such systems.

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Huang, Yuxin. "Spatial Transformer Network-Based Automatic Modulation Recognition of Blind Signals". Scientific Programming 2021 (16 de diciembre de 2021): 1–7. http://dx.doi.org/10.1155/2021/9450961.

Texto completo

Resumen

Modulation recognition of communication signals plays an important role in both civil and military uses. Neural network-based modulation recognition methods can extract high-level abstract features which can be adopted for classification of modulation types. Compared with traditional recognition methods based on manually defined features, they have the advantage of higher recognition rate. However, in actual modulation recognition scenarios, due to inaccurate estimation of receiving parameters and other reasons, the input signal samples for modulation recognition may have large phase, frequency offsets, and time scale changes. Existing deep learning-based modulation recognition methods have not considered the influences brought by the above issues, thus resulting in a decreased recognition rate. A modulation recognition method based on the spatial transformation network is proposed in this paper. In the proposed network, some prior models for synchronization in communication are introduced, and the priori models are realized through the spatial transformation subnetwork, so as to reduce the influence of phase, frequency offsets, and time scale differences. Experiments on simulated datasets prove that compared with the traditional CNN, ResNet, and the CLDNN, the recognition rate of the proposed method has increased by 8.0%, 5.8%, and 4.6%, respectively, when the signal-to-noise ratio is greater than 0. Moreover, the proposed network is also easier to train. The training time required for convergence has reduced by 4.5% and 80.7% compared to the ResNet and CLDNN, respectively.

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Nikiforova, Oksana, Ludmila Kozacenko y Dace Ahilcenoka. "UML Sequence Diagram: Transformation from the Two-Hemisphere Model and Layout". Applied Computer Systems 14, n.º 1 (1 de junio de 2013): 31–41. http://dx.doi.org/10.2478/acss-2013-0004.

Texto completo

Resumen

Abstract Modeling of the object interaction is one of the core tasks during system analysis and design, because it gives developer an ability to define responsibilities of class objects and to sketch general architecture of software components. In this task an ability of automatic generation of the UML sequence diagram becomes one of the most important activities. The twohemisphere model contains enough information to define operations to perform by classes and therefore is investigated in this paper in the context of the UML sequence diagram generation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Rashid, Sabreena y Rajdeep Kaur. "Automatic detection of ovarian cancer based on improved DWT transformation". International Journal of Engineering & Technology 7, n.º 2.27 (3 de agosto de 2018): 104. http://dx.doi.org/10.14419/ijet.v7i2.27.12575.

Texto completo

Resumen

Ovarian cancer sub-kinds are distinct pathologic individual with dissimilar prognostic and therapeutic suggestions. Histo-typing by pathologists has good reproducibility; therefore, occasional cases are challenging and require immuno-histo chemistry and sub-specialty discussion. Motivated by the need for more accurate and reproducible diagnosis and to facilitate pathologist’s work-flow, implement an au-tomated system for ovarian cancer classification and identification. The main problem discussed for detecting procedure fields: (i) the cancer detection on ultra sound image is not easy to classify on the basis of clustering or segmentation. It can involve the False Acceptance Rate and False Rejection Rate higher at the interval of time recognition from the knowledge base. (ii)The working accuracy rate is 90 to 95 of Normal SVM existing systems. Our technique is implemented by detection of the cancer stage accordingly workflow. We implement im-ages of cancer at two enlargement and extract features like a, color, text and shape data using digital image processing techniques. We ana-lyze the machine-learning algorithm and spatial domain algorithm used to extract the features in four phases: LL, HL, LH and HH. Extract the features used to dimension reduction and a SVM classification to divide the 5 ovarian cancer stages. The research paper represents, the details of our implementation and its validate on (Govt. hospital) clinically derived database of high-resolution diagnosis images. The new system attained a linear classification accuracy 98% when classifying un-seen tissues. The method has been implemented using simulation tool using MATLAB 2016a. The Ovarian Stages were then tested for the accuracy using transformation software. Testing consequences defined an accuracy of 94%, Specificity 0.99 and Sensitivity value is 0.9978 for MRI Medical Images respectively.

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Rashid, Sabreena y Rajdeep Kaur. "Automatic detection of ovarian cancer based on improved DWT transformation". International Journal of Engineering & Technology 7, n.º 3 (8 de julio de 2018): 77. http://dx.doi.org/10.14419/ijet.v7i3.12572.

Texto completo

Resumen

Ovarian cancer sub-kinds are distinct pathologic individual with dissimilar prognostic and therapeutic suggestions. Histo-typing by pathologists has good reproducibility; therefore, occasional cases are challenging and require immune histo chemistry and sub-specialty discussion. Motivated by the need for more accurate and reproducible diagnosis and to facilitate pathologist’s work-flow, implement an automated system for ovarian cancer classification and identification. The main problem discussed for detecting procedure fields: (i) the cancer detection on ultra sound image is not easy to classify on the basis of clustering or segmentation. It can involve the False Acceptance Rate and False Rejection Rate higher at the interval of time recognition from the knowledge base.(ii)The working accuracy rate is 90 to 95 of Normal SVM existing systems. Our technique is implemented by detection of the cancer stage accordingly workflow. We implement images of cancer at two enlargement and extract features like a, color, text and shape data using digital image processing techniques. We analyze the machine-learning algorithm and spatial domain algorithm used to extract the features in four phases: LL, HL, LH and HH. Extract the features used to dimension reduction and a SVM classification to divide the 5 ovarian cancer stages. The research paper represents, the details of our implementation and its validate on (Govt. hospital) clinically derived database of high-resolution diagnosis images. The new system attained a linear classification accuracy 98% when classifying un-seen tissues. The method has been implemented using simulation tool using MATLAB 2016a. The Ovarian Stages were then tested for the accuracy using transformation software. Testing consequences defined an accuracy of 94%, Specificity 0.99 and Sensitivity value is 0.9978 for MRI Medical Images respectively.

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Qawaqzeh, Mohamed Zaidan, Oleksandr Miroshnyk, Aleksandr Osichev, Andrii Tkachenko y Dmytro Danylchenko. "Analytical transformations software for stationary modes of induction motors and electric drives". International Journal of Electrical and Computer Engineering (IJECE) 12, n.º 6 (1 de diciembre de 2022): 5738. http://dx.doi.org/10.11591/ijece.v12i6.pp5738-5753.

Texto completo

Resumen

A program was developed in the package of symbolic transformations Maple. It provides automatic analytical transformation and derivation of formulas and plotting of the main characteristics of induction motors (IM) in a convenient form for an electrical engineer and student: torque=f(slip) T=f(s), angular speed=f(Torque) ω=f(T), angular speed=f(Current) ω=f(I), current=f(slip) I=f(s); cos(φ) and phase angle (phi) φ for stator currents and rotor currents, and magnetizing circuit, machine efficiency η=f(s) and a number of other characteristics. The calculation is based on the equivalent circuit of IM motors in its different variants: with one cage in the rotor, with two or more cages in the rotor, taking into account the skin effect in the rotor rods and without it. The user can build up the equivalent circuit to the desired configuration. The algorithm of further transformations is based on analytical obtaining of amplitude/frequency and phase/frequency characteristics in the nodes of the equivalent circuits with further calculation by power and slip. Online animation of the graphs with alternate variations of all resistances R and inductances L values of the model is provided. The article contains screenshots of important parts of the programs and illustrates the complete set of graphs.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Lew, Alexander K., Mathieu Huot, Sam Staton y Vikash K. Mansinghka. "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs". Proceedings of the ACM on Programming Languages 7, POPL (9 de enero de 2023): 121–53. http://dx.doi.org/10.1145/3571198.

Texto completo

Resumen

Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing. Unfortunately, automatic differentiation techniques developed for deterministic programs do not in general compute the correct gradients needed for widely used solutions based on gradient-based optimization. In this paper, we present ADEV, an extension to forward-mode AD that correctly differentiates the expectations of probabilistic processes represented as programs that make random choices. Our algorithm is a source-to-source program transformation on an expressive, higher-order language for probabilistic computation, with both discrete and continuous probability distributions. The result of our transformation is a new probabilistic program, whose expected return value is the derivative of the original program’s expectation. This output program can be run to generate unbiased Monte Carlo estimates of the desired gradient, that can be used within the inner loop of stochastic gradient descent. We prove ADEV correct using logical relations over the denotations of the source and target probabilistic programs. Because it modularly extends forward-mode AD, our algorithm lends itself to a concise implementation strategy, which we exploit to develop a prototype in just a few dozen lines of Haskell (https://github.com/probcomp/adev).

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Chen, Mingcan. "A Theoretical Scientific Programming Framework for Application of Linear Matrix Transformation in Plane Computer Graphics". Scientific Programming 2022 (21 de julio de 2022): 1–7. http://dx.doi.org/10.1155/2022/3456302.

Texto completo

Resumen

Plane computer graphics are basic information carriers in many industrial scenarios, such as engineering simulation, automatic control, and software design. Plane computer graphics are generally a kind of digital signals guided by mathematical symbols, and each vertex of a plane computer graph forms a graph matrix. Therefore, linear matrix transformation serves as the most common algorithmic unit to realize various information processing operations. To improve ease of graph matrix computing in practical engineering scenarios, this paper proposes a theoretical scientific programming framework for application of linear matrix transformation in plane computer graphics. Firstly, theoretical basis of linear matrix transformation in homogeneous plane coordinates is displayed and analyzed. Then, the universal theorem about linear transformation of graph matrices is deduced, and corresponding proofs are also given. Finally, a case study is set up to demonstrate the main workflow of the proposed theoretical scientific programming framework. The simulative results reveal feasibility of the proposal.

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Kharmoum, Nassim, Sara Retal, Karim El Bouchti, Wajih Rhalem y Soumia Ziti. "Interaction Multi-Agent Models' Automatic Alignment with MDA Higher Abstraction Level". International Journal of Online and Biomedical Engineering (iJOE) 19, n.º 02 (16 de febrero de 2023): 92–110. http://dx.doi.org/10.3991/ijoe.v19i02.37047.

Texto completo

Resumen

With the massive growth of the software sector as well as the erratic needs of end users, agent-based information systems and Model Driven Architecture (MDA) approach are among the liveliest and significant fields of experimentation and improvement to emerge in the recent decade. In this vein, we suggest in this research an innovative method that automates the construction and the generation processes of the interaction multi-agent models from the business requirements engineering models at the MDA highest abstraction levels. So, our defiance is to align the Agent Modeling Language (AML) Communicative Interaction diagram with the E3value model dealing with the MDA approach. The ATLAS-Transformation Language (ATL) is applied to automate the model alignment process. The goal is to reduce project effort, time, and development costs as all alignment process is automatically done, boosting the chances of being more competitive in the software business.

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Fakhouri Amr, Meryem, Nezha Benmoussa, Khalifa Mansouri y Mohammed Qbadou. "Transformation of the CIM Model into A PIM Model According to The MDA Approach for Application Interoperability: Case of the "COVID-19 Patient Management" Business Process". International Journal of Online and Biomedical Engineering (iJOE) 17, n.º 05 (20 de mayo de 2021): 49. http://dx.doi.org/10.3991/ijoe.v17i05.21419.

Texto completo

Resumen

Model-Driven Engineering (MDE) plays a very important role in improving the development of complex systems. It focuses more on modeling than on classical programming. In this sense, model transformation is at the heart of the Model Driven Architecture (MDA) approach which advocates the use of models throughout the software development cycle on two levels. The first being the transformation of the Computing Independent Model (CIM) into the Platform Independent Model (PIM) and the second concerning the transformation of PIM into Platform Specific Model (PSM).The latter has been dealt with in the majority of research works while the transformation from CIM to PIM which represents the highest level is rarely discussed in research topics. It is for this reason and in the spirit of improving the process of transforming the CIM model into PIM according to the MDA approach, that we have developed this research work in order to propose a new method and new transformation rules for optimization of the business process "COVID-19 patient management". Our contribution consists of the semi-automatic transformation of the CIM model presented by the BPMN (Business Process Model and Notation) source model into a PIM target model presented by a class diagram by using a set of transformation and correspondence rules that we performed manually using the language ATL (Atlas Transformation Language). This automatic transformation of the two source and target models is provided by the Eclipse Modeling Framework (EMF) which executes the transformation rules described manually in ATL and generates the PIM target model as an XMI (XML Metadata Interchange) file representing the target class diagram.

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Bastidas Fuertes, Andrés, María Pérez y Jaime Meza. "Transpiler-Based Architecture Design Model for Back-End Layers in Software Development". Applied Sciences 13, n.º 20 (17 de octubre de 2023): 11371. http://dx.doi.org/10.3390/app132011371.

Texto completo

Resumen

The utilization of software architectures and designs is widespread in software development, offering conceptual frameworks to address recurring challenges. A transpiler is a tool that automatically converts source code from one high-level programming language to another, ensuring algorithmic equivalence. This study introduces an innovative software architecture design model that integrates transpilers into the back-end layer, enabling the automatic transformation of business logic and back-end components from a single source code (the coding artifact) into diverse equivalent versions using distinct programming languages (the automatically produced code). This work encompasses both abstract and detailed design aspects, covering the proposal, automated processes, layered design, development environment, nest implementations, and cross-cutting components. In addition, it defines the main target audiences, discusses pros and cons, examines their relationships with prevalent design paradigms, addresses considerations about compatibility and debugging, and emphasizes the pivotal role of the transpiler. An empirical experiment involving the practical application of this model was conducted by implementing a collaborative to-do list application. This paper comprehensively outlines the relevant methodological approach, strategic planning, precise execution, observed outcomes, and insightful reflections while underscoring the the model’s pragmatic viability and highlighting its relevance across various software development contexts. Our contribution aims to enrich the field of software architecture design by introducing a new way of designing multi-programming-language software.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Wei, Ran, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos y Richard F. Paige. "Automatic generation of UML profile graphical editors for Papyrus". Software and Systems Modeling 19, n.º 5 (11 de agosto de 2020): 1083–106. http://dx.doi.org/10.1007/s10270-020-00813-6.

Texto completo

Resumen

Abstract UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts. Eclipse Papyrus is a powerful open-source UML modelling tool which supports UML profiling. However, with power comes complexity, implementing non-trivial UML profiles and their supporting editors in Papyrus typically requires the developers to handcraft and maintain a number of interconnected models through a loosely guided, labour-intensive and error-prone process. We demonstrate how metamodel annotations and model transformation techniques can help manage the complexity of Papyrus in the creation of UML profiles and their supporting editors. We present Jorvik, an open-source tool that implements the proposed approach. We illustrate its functionality with examples, and we evaluate our approach by comparing it against manual UML profile specification and editor implementation using a non-trivial enterprise modelling language (Archimate) as a case study. We also perform a user study in which developers are asked to produce identical editors using both Papyrus and Jorvik demonstrating the substantial productivity and maintainability benefits that Jorvik delivers.

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Guo, Tong Jun, Han Gang Huang y Fu Bao He. "Research on the Automatic Sorting System of Domestic Ceramic Products Based on Machine Visual Inspection". Advanced Materials Research 889-890 (febrero de 2014): 1034–37. http://dx.doi.org/10.4028/www.scientific.net/amr.889-890.1034.

Texto completo

Resumen

This article will use visual inspection techniques into the two-dimensional geometry measurement of ceramic products .It uses MATLAB 7.0 as image processing software, and the designing uses the gradient information into detection circular edge by Hough transformation method. The method is helpful to improve the production efficiency and the recognition rate. We can prove that this method has the feasibility by experiments, and achieve a satisfactory result .

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Meng, Qiaoling, Mingpeng Jiang, Zongqi Jiao y Hongliu Yu. "Bionic design and analysis of a multi-posture wheelchair". Mechanical Sciences 13, n.º 1 (7 de enero de 2022): 1–13. http://dx.doi.org/10.5194/ms-13-1-2022.

Texto completo

Resumen

Abstract. Posture transformation is an essential function for multi-posture wheelchairs. To improve the natural motion in posture transformation that is a popular problem in the design of multi-posture wheelchairs because the current wheelchair's posture transformation mechanism cannot remain consistent between the rotation center of the wheelchair and the rotation center of the human body joints. This paper proposes a sitting–standing–lying three-posture bionic transformation mechanism for a smart wheelchair. A human–wheelchair coupling model is described and analyzed according to the biomechanical characteristics of the posture transformation of human beings and their functional requirements. The configuration of the transformation mechanism is chosen by comparing the trails of the wheelchair rotation centers and the corresponding human joint rotation centers. The kinematics of the optimized configuration are discussed in detail to obtain the most bionic motion performance using the multivariable nonlinear constraint optimization algorithm. Finally, the mechanism is designed, and its posture transformation performance is simulated and verified using Adams (Automatic Dynamic Analysis of Mechanical Systems) software.

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Gorbatsevich, V., Yu Vizilter, V. Knyaz y S. Zheltov. "Face Pose Recognition Based on Monocular Digital Imagery and Stereo-Based Estimation of its Precision". ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XL-5 (6 de junio de 2014): 257–63. http://dx.doi.org/10.5194/isprsarchives-xl-5-257-2014.

Texto completo

Resumen

A technique for automated face detection and its pose estimation using single image is developed. The algorithm includes: face detection, facial features localization, face/background segmentation, face pose estimation, image transformation to frontal view. Automatic face/background segmentation is performed by original graph-cut technique based on detected feature points. The precision of face orientation estimation based on monocular digital imagery is addressed. The approach for precision estimation is developed based on comparison of synthesized facial 2D images and scanned face 3D model. The software for modelling and measurement is developed. The special system for non-contact measurements is created. Required set of 3D real face models and colour facial textures is obtained using this system. The precision estimation results demonstrate the precision of face pose estimation enough for further successful face recognition.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

SEDOV, ALEKSEY. "DEVELOPMENT OF AN INTELLIGENT MACHINE FOR SORTING ANIMALS ACCORDING TO SPECIFIED CRITERIA". Elektrotekhnologii i elektrooborudovanie v APK 4, n.º 41 (diciembre de 2020): 83–87. http://dx.doi.org/10.22314/2658-4859-2020-67-4-83-87.

Texto completo

Resumen

The Federal scientific Agroengineering center VIM has developed technical tools, algorithms and software for the intelligent automatic control system for milking animals “Stimul” on the “Herringbone” milking unit in three versions. The created system does not include automatic selection gates for effective management of zootechnical and veterinary services of animals. (Research purpose) The research purpose is in developing an intelligent machine for automatic sorting of animals for servicing and managing the herd according to specified characteristics. (Materials and methods) The article presents the development of control and management systems in dairy farming based on the conceptual principles of digital transformation. The digital control system is based on a multifunctional panel controller. The created control unit has a port for connecting to the RS 485 network and provides support for network functions via the Modbus Protocol. The programming of the control unit has been made in the SMLogix tool environment, which supports the FBD function block language. (Results and discussion) The article presents an intelligent machine for automatic sorting of animal flows for servicing and managing the herd according to specified characteristics with the unification of hardware, software modules and interface. The article describes the necessary parameters for the automatic remote animal identification system, the basic component of the control system of an intelligent machine for sorting animals according to specified characteristics. (Conclusions) The machine allows to automatically identify, sort and send animals to the specified areas for individual service.

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Alcaras, Emanuele, Claudio Parente y Andrea Vallario. "The Importance of the Coordinate Transformation Process in Using Heterogeneous Data in Coastal and Marine Geographic Information System". Journal of Marine Science and Engineering 8, n.º 9 (12 de septiembre de 2020): 708. http://dx.doi.org/10.3390/jmse8090708.

Texto completo

Resumen

Coastal and Marine Geographic Information Systems (CMGISs) permit to collect, manage, and analyze a great amount of heterogeneous data concerning coastal, sea, and ocean environments, e.g., nautical charts, topographic maps, remotely sensed images. To integrate those heterogeneous layers in CMGIS, particular attention is necessary to ensure the perfect geo-localization of data, which is a basic requirement for the correct spatial analysis. In fact, the above-mentioned types of information sources are usually available in different cartographic projections, geodetic datum, and scale of representation. Therefore, automatic conversions supplied by Geographic Information System (GIS) software for layer overlay do not produce results with adequate positional accuracy. This paper aims to describe methodological aspects concerning different data integration in CMGIS in order to enhance its capability to handle topics of coastal and marine applications. Experiments are carried out to build a CMGIS of the Campania Region (Italy) harmonizing different data (maps and satellite images), which are heterogeneous for datum (World Geodetic System 1984 and European Datum 1950), projection (Mercator and Universal Transverse of Mercator), and scale of representation (large and medium scale). Results demonstrate that automatic conversion carried out by GIS software are insufficient to ensure levels of positional accuracy adequate for large scale representation. Therefore, additional operations such as those proposed in this work are necessary.

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

van der Spek, H. L. A., S. Groot, E. M. Bakker y H. A. G. Wijshoff. "A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures". International Journal of Parallel Programming 36, n.º 6 (24 de septiembre de 2008): 592–623. http://dx.doi.org/10.1007/s10766-008-0085-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Artículos de revistas sobre el tema "Automatic software transformation"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros