Search results for "Metamodeling"

showing 10 items of 66 documents

Categorical Modeling Method, Proof of Concept for the Petri Net Language

2019

Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provi…

Limit (category theory)FunctorTheoretical computer scienceComputer scienceProof of conceptAlgebraic operationPetri netCategory theoryCategorical variableMetamodelingProceedings of the 7th International Conference on Model-Driven Engineering and Software Development
researchProduct

A survey on handling computationally expensive multiobjective optimization problems using surrogates: non-nature inspired methods

2015

Computationally expensive multiobjective optimization problems arise, e.g. in many engineering applications, where several conflicting objectives are to be optimized simultaneously while satisfying constraints. In many cases, the lack of explicit mathematical formulas of the objectives and constraints may necessitate conducting computationally expensive and time-consuming experiments and/or simulations. As another challenge, these problems may have either convex or nonconvex or even disconnected Pareto frontier consisting of Pareto optimal solutions. Because of the existence of many such solutions, typically, a decision maker is required to select the most preferred one. In order to deal wi…

Mathematical optimizationEngineeringControl and Optimizationbusiness.industryPareto principlePareto frontierDecision makerSampling techniqueComputer Graphics and Computer-Aided DesignMulti-objective optimizationComputer Science ApplicationsMultiobjective optimization problemPareto optimalConflicting objectivesBlack-box functionControl and Systems EngineeringMulticriteria Decision Making (MCDM)Computational costNature inspiredMetamodeling techniquebusinessEngineering design processSoftwareStructural and Multidisciplinary Optimization
researchProduct

UML-Based Metamodeling for Information System Engineering and Evolution

2003

In modelers’ practice metamodels have become the core of UML-based metamodeling environments: metamodels form the basis of application domain descriptions, and they are instantiated into models. In the context of information system engineering and interoperability, we have developped two operations on metamodels: metamodel integration and measure of semantical distance between metamodels. In this paper, we explore application of these operations to information systems’ evolution.

Measure (data warehouse)ComputingMethodologies_SIMULATIONANDMODELINGbusiness.industryComputer scienceInteroperabilityContext (language use)MetamodelingUnified Modeling LanguageSoftware_SOFTWAREENGINEERINGApplication domainInformation systemSoftware_PROGRAMMINGLANGUAGESSoftware engineeringbusinesscomputerAlgorithmSoftware architecture descriptioncomputer.programming_language
researchProduct

Meta model of e-learning materials development

2014

The multitude of software tools is available for the creation of learning resources. However the majority of these tools provided by different software producers do not have a unified mechanism by means of which it would be possible to search and reuse the existing learning resources or their elements. To solve this problem the structures of descriptive data can be used. The aim of this paper is to describe a meta-model of e-learning objects and e-learning formats that could be used in the creation of e-learning materials compatible with various e-learning standards. The meta-data models that are used in widely-known learning resources’ repositories and their structure’s metadata standa…

MetadataSoftwareDescriptive statisticsbusiness.industryComputer scienceCompatibility (mechanics)Logical data modelInformation repositoryReuseSoftware engineeringbusinessData scienceMetamodeling
researchProduct

PerPot: A metamodel for simulation of load performance interaction

2001

A metamodel is introduced, which on one hand can help to understand particular effects and phenomena in the interaction of load and performance in training processes. On the other hand, it can be used as a starting point for refinements to specific adaptation models. Finally, a software tool has been developed that supports different simulation approaches—for example, basic analysis of model parameter influences, diagnosis of the state of real adaptation systems, optimization of given load performance interactions, and planning optimal training schedules.

Model parameterComputer scienceSoftware toolGenetic algorithmOrthopedics and Sports MedicinePhysical Therapy Sports Therapy and RehabilitationPoint (geometry)Control engineeringGeneral MedicineState (computer science)Adaptation (computer science)MetamodelingScheduling (computing)European Journal of Sport Science
researchProduct

Consistency Analysis of Genome-Scale Models of Bacterial Metabolism: A Metamodel Approach.

2015

Genome-scale metabolic models usually contain inconsistencies that manifest as blocked reactions and gap metabolites. With the purpose to detect recurrent inconsistencies in metabolic models, a large-scale analysis was performed using a previously published dataset of 130 genome-scale models. The results showed that a large number of reactions (~22%) are blocked in all the models where they are present. To unravel the nature of such inconsistencies a metamodel was construed by joining the 130 models in a single network. This metamodel was manually curated using the unconnected modules approach, and then, it was used as a reference network to perform a gap-filling on each individual genome-s…

MultidisciplinaryConsistency analysisBacteriaProcess (engineering)lcsh:RGenome scalelcsh:MedicineBiologycomputer.software_genreBioinformaticsModels BiologicalMetamodelingSet (abstract data type)Consistency (database systems)Bacterial ProteinsProof of conceptlcsh:QData miningMetagenomicsCompleteness (statistics)lcsh:SciencecomputerGenome BacterialMetabolic Networks and PathwaysResearch ArticlePLoS ONE
researchProduct

ANOVA-MOP: ANOVA Decomposition for Multiobjective Optimization

2018

Real-world optimization problems may involve a number of computationally expensive functions with a large number of input variables. Metamodel-based optimization methods can reduce the computational costs of evaluating expensive functions, but this does not reduce the dimension of the search domain nor mitigate the curse of dimensionality effects. The dimension of the search domain can be reduced by functional anova decomposition involving Sobol' sensitivity indices. This approach allows one to rank decision variables according to their impact on the objective function values. On the basis of the sparsity of effects principle, typically only a small number of decision variables significantl…

Pareto optimality0209 industrial biotechnologyMathematical optimizationOptimization problempäätöksenteko0211 other engineering and technologies02 engineering and technologyMulti-objective optimizationdecision makingTheoretical Computer Science020901 industrial engineering & automationsensitivity analysisDecomposition (computer science)multiple criteria optimizationdimensionality reductionMathematicsta113021103 operations researchpareto-tehokkuusDimensionality reductionta111metamodelingmonitavoiteoptimointiMetamodelingOptimization methodsSoftwareSIAM Journal on Optimization
researchProduct

Editor Definition Language and Its Implementation

2001

Universal graphical editor definition language based on logical metamodel extended by presentation classes is proposed. Implementation principles of this language, based on Graphical Diagramming Engine are described.

PresentationComputer scienceProgramming languagemedia_common.quotation_subjectGraphicscomputer.software_genrecomputermedia_commonMetamodeling
researchProduct

The IEEE-FIPA Standard on the Design Process Documentation Template

2014

Nowadays, it is a matter of fact that a “one-size-fit-all” methodology or design process useful and fitting every kind of problem, situation, or design context does not exist. (Situational) Method Engineering (SME) discipline aims at determining techniques and tools for developing ad hoc design methodologies. SME mainly and highly focuses on the reuse of portion of existing design processes or methodologies (the method fragments). In order to have means for creating SME techniques and tools and for creating new design processes, some key elements are needed: a unique process metamodel for representing design processes and fragments, a proper template for the description of AO design process…

Process (engineering)Computer sciencebusiness.industryMethod engineeringContext (language use)FIPADesign Process IEEE-FIPA standardMetamodelingSOFTWARE DEVELOPMENT PROCESSSoftware development processDesign ProcessSTANDARDDocumentationMETHODOLOGIESDesign processAOSEmulti-agent systemsEngineering design processSoftware engineeringbusinessDOCUMENTATION STANDARD
researchProduct

The Art of Bootstrapping

2020

Language workbenches are used to define languages using appropriate meta-languages. Meta-languages are also just languages and can, therefore, be defined using themselves. The process is called bootstrapping and is often difficult to achieve.

Process (engineering)business.industryComputer science0211 other engineering and technologiesBootstrapping (linguistics)02 engineering and technologyMachine learningcomputer.software_genreLanguage workbenchMetamodeling0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingArtificial intelligencebusinesscomputer021102 mining & metallurgy
researchProduct