Search results for "Modeling language"

showing 10 items of 82 documents

Statechart-based design controllers for FPGA partial reconfiguration

2015

Statechart diagram and UML technique can be a vital part of early conceptual modeling. At the present time there is no much support in hardware design methodologies for reconfiguration features of reprogrammable devices. Authors try to bridge the gap between imprecise UML model and formal HDL description. The key concept in author's proposal is to describe the behavior of the digital controller by statechart diagrams and to map some parts of the behavior into reprogrammable logic by means of group of states which forms sequential automaton. The whole process is illustrated by the example with experimental results.

Programming languageProcess (engineering)Computer scienceControl reconfigurationcomputer.software_genreAutomatonLogic synthesisUnified Modeling LanguageComputer architectureKey (cryptography)Digital controlField-programmable gate arraycomputercomputer.programming_languagePhotonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015
researchProduct

Enterprise Knowledge Modeling, UML vs Ontology: Formal Evaluation

2019

International audience; Everyday activities in enterprises rely heavily on the experts' know-how. Due to experts departure, the loss of expertise and knowledge is a reoccurring problem in these enterprises. Recently, in order to capture experts knowledge into intelligent systems, formal knowledge representation methods, such as ontologies, are being studied and have caught up with non-formal or semi-formal representation, such as UML. The similarities and differences between UML class diagram and computational ontology have for long raised questions about the possibility of synthesizing them in a common representation (usually an ontology). Indeed, the problem of migrating knowledge encoded…

REPRESENTATIONKnowledge representation and reasoningComputer sciencebusiness.industryIntelligent decision support system02 engineering and technologyOntology (information science)computer.software_genre[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Knowledge modelingUnified Modeling LanguageCode refactoring020204 information systemsSIMILARITY0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs]020201 artificial intelligence & image processingClass diagramSoftware engineeringbusinesscomputercomputer.programming_languageSemantic matching2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP)
researchProduct

Web engineering and multi-criterion analisys of modeling languages used in production systems

2010

Abstract Economic globalization and strong, unprecedented, industrial competition, the overwhelming influence of information and communication technology, the Internet and its most important service, i.e. the World Wide Web have an undisputed impact upon all enterprises, exerting a strong influence on the competition system, the accelerated development of new products and services through reducing the development time of the product life cycle, as well as the improvement of upstream and downstream communication with suppliers and customers. Within this framework, taking into account the decline in worldwide economy, especially during the past few years, this paper aims to proposing a new so…

Service (business)Competition (economics)EngineeringProduct lifecycleCommerceInformation and Communications TechnologyModeling languagebusiness.industryThe InternetWeb engineeringbusinessEconomic globalizationIndustrial organizationIFAC Proceedings Volumes
researchProduct

PMG-pro: A model-driven method for the development of service-based applications in a heterogenous services environment

2010

This paper presents PMG-pro (present, model, generate and provide), a development method of service-based applications. With PMG-pro, the composition of heterogeneous pre-made services is done at model levels and thereby different executable software systems for different target platforms can be generated automatically. To illustrate the method, we present a case study of developing a service-based application in a smart home environment.

Service (systems architecture)Javabusiness.industryService delivery frameworkComputer scienceDistributed computingcomputer.file_formatcomputer.software_genreUnified Modeling LanguageHome automationEmbedded systemExecutableSoftware systemWeb servicebusinesscomputercomputer.programming_language2010 IEEE International Conference on Software Engineering and Service Sciences
researchProduct

An Agile methodology for Manufacturing Control Systems development

2007

Robotized manufacturing cells are required more and more often to process high variety of short life-cycle product. This increases the need for methods and techniques for easy reconfiguration of software programs running in Programmable Logic Controllers (PLC), i.e., devices able to control manufacturing systems. PLCs run embedded code characterized by a procedural nature that does not make it quite reconfigurable. In this paper we propose an AGIle COntrol System Development (AGICOSD) methodology that uses various practices of Agile software development methodologies and the Design By Contract (DBC) practice for modeling and programming manufacturing control systems. In this context we prop…

Source codeComputer sciencebusiness.industryCellular manufacturingmedia_common.quotation_subjectInstruction listAgile manufacturingSettore ING-IND/35 - Ingegneria Economico-GestionaleSoftware qualityComputer-integrated manufacturingManufacturing control systems development Robotized manufacturing cellsEmbedded systembusinessSoftware engineeringAgile software developmentmedia_commonJava Modeling Language2007 5th IEEE International Conference on Industrial Informatics
researchProduct

Implementation aspects of interactive multiobjective optimization for modeling environments: The case of GAMS-NIMBUS

2014

Abstract. Interactive multiobjective optimization methods have provided promising results in the literature but still their implementations are rare. Here we introduce a core structure of interactive methods to enable their convenient implementation. We also demonstrate how this core structure can be applied when implementing an interactive method using a modeling environment. Many modeling environments contain tools for single objective optimization but not for interactive multiobjective optimization. Furthermore, as a concrete example, we present GAMS-NIMBUS Tool which is an implementation of the classification-based NIMBUS method for the GAMS modeling environment. So far, interactive met…

Structure (mathematical logic)Mathematical optimizationControl and OptimizationModeling languageComputer sciencepareto optimalityApplied Mathematicsinteractive methodsMultiple objective programmingMulti-objective optimizationComputational MathematicsMultiobjective optimization problemSingle objectivemultiple objective programmingNIMBUS methodImplementationmodeling languages
researchProduct

Machine Learning: An Overview and Applications in Pharmacogenetics.

2021

This narrative review aims to provide an overview of the main Machine Learning (ML) techniques and their applications in pharmacogenetics (such as antidepressant, anti-cancer and warfarin drugs) over the past 10 years. ML deals with the study, the design and the development of algorithms that give computers capability to learn without being explicitly programmed. ML is a sub-field of artificial intelligence, and to date, it has demonstrated satisfactory performance on a wide range of tasks in biomedicine. According to the final goal, ML can be defined as Supervised (SML) or as Unsupervised (UML). SML techniques are applied when prediction is the focus of the research. On the other hand, UML…

Structure (mathematical logic)Pharmacogenetics Supervised machine learning Unsupervised machine learningComputer sciencebusiness.industryComputational BiologyReviewQH426-470Machine learningcomputer.software_genreOutcome (game theory)Machine LearningUnified Modeling LanguagePharmacogeneticsGeneticsUnsupervised learningNarrative reviewsupervised machine learningArtificial intelligencebusinesscomputerunsupervised machine learningGenetics (clinical)BiomedicinePharmacogeneticscomputer.programming_languageGenes
researchProduct

Systems Engineering approach in support to the breeding blanket design

2019

Abstract Nowadays the Systems Engineering (SE) methodology is applied in several fields of engineering and it represents a powerful interdisciplinary means to enable the realisation of complex systems taking into account the customer and Stakeholder´s needs. Also in the fusion community, this theme is becoming increasingly pressing and the implementation of the SE approach, from the early stage of design, is now a must. Indeed, within the framework of EUROfusion activities, SE method has been selected for capturing the system and interface requirements and for their management and verification with particular focus to the Breeding Blanket (BB) System of the European Demonstration Fusion Pow…

TechnologyInterface (Java)Computer scienceSystems EngineeringBalance of plantComplex systemBlanket01 natural sciences7. Clean energy010305 fluids & plasmasSystems Modeling Language0103 physical sciencesGeneral Materials Science010306 general physicsCivil and Structural EngineeringFocus (computing)Functional architectureMechanical EngineeringRealisationInterfaceDesign phaseRequirementNuclear Energy and EngineeringSystems engineeringBreeding blanketddc:600
researchProduct

A Models-to-Program Information Systems Engineering Method

2021

The Model-Driven Development paradigm aims to represent all the information system features through models. Conceptual-Model Programming offers a similar approach, but with a focus on automatic code generation. Both approaches consider modeling and traceability of different abstraction levels, where each level can be tackled with different modeling methods. This heterogeneity introduces a challenge for the quality of the traceability and transformations among models, especially when aiming for automatic code generation. In this paper, we introduce a holistic conceptual-model programming method to generate code from different abstraction levels (from the problem space to the solution space),…

TraceabilityBusiness processbusiness.industryModeling languageComputer sciencemedia_common.quotation_subjectConsistency (database systems)Conceptual modelInformation systemCode generationSoftware engineeringbusinessmedia_commonAbstraction (linguistics)
researchProduct

Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product…

2010

UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today's UML modeling tools support sophisticated version management for managing parallel and distributed modeling. However, the literature does not provide a comprehensive set of industrial-level criteria to evaluate the version management capabilities of UML tools. This article's contributio…

UML toolComputer sciencebusiness.industryApplications of UMLDiagramming softwarecomputer.software_genreData modelingSoftwareUnified Modeling LanguageNew product developmentCode generationReference architectureModel-driven architectureSoftware product lineSoftware architecturebusinessSoftware engineeringcomputercomputer.programming_language2010 43rd Hawaii International Conference on System Sciences
researchProduct