142,606 Hits in 4.0 sec

Model-driven development of industrial process control applications

David Hästbacka, Timo Vepsäläinen, Seppo Kuikka
2011 Journal of Systems and Software  
as a supplement to (UML Automation Profile based) models -A semantic layer on top of the modeling language -Support development of control software applications in • classification of concepts and  ...  guidance for choosing design patterns that promote desirable features UML AP Tool Editor Design Pattern Assistant View Design Pattern Semantics KB Search request Semantic KB (of Model)  ... 
doi:10.1016/j.jss.2011.01.063 fatcat:flchiw4ejnetpcrtmfkbx6myzu

Automated Semantic Analyses of Conceptual Models

Jörg Becker, Daniel Pfeiffer
2007 International Conference on Advanced Information Systems Engineering  
We argue that if modelling grammars are endowed with specific characteristics the semantics of the resulting models can be analysed in an automated manner.  ...  The retrieval of this knowledge can prepare reorganisations projects and support IT investment decisions. However, so far this information source has hardly been utilized in automated analyses.  ...  It does not represent the view of European Commission or the PICTURE consortium and the authors are solely responsible for the paper's content.  ... 
dblp:conf/caise/BeckerP07 fatcat:6pkpsw7xk5avfnjwkivtmdy37a

A framework for automated finite element analysis with an ontology-based approach

Wei Sun, Qinyi Ma, Shuang Chen
2009 Journal of Mechanical Science and Technology  
The three-stage automated finite element analysis method is applied to mark up artifact in problem definition, to reuse domain knowledge in problem formulation, and to enable the automation of the FEM  ...  The knowledge found in design and FEA theories is presented by ontology in order to uniformly describe the physical phenomenon with the same semantic meanings.  ...  The authors gratefully acknowledge the co-workers who aided in the preparation of this paper.  ... 
doi:10.1007/s12206-009-1005-0 fatcat:unjssxvjbrdvne7my6kjggnvna

IEC 61499 ontology model for semantic analysis and code generation

Wenbin Dai, V. Dubinin, V. Vyatkin
2011 2011 9th IEEE International Conference on Industrial Informatics  
This design process is including design recovery, configuration, semantic analysis and code generation using ontology models as the knowledge base.  ...  The IEC 61499 standard is targeting the enhancement of the IEC 61131-3 PLC standard in distributed automation systems improving the reconfigurability, portability and reusability of automation software  ...  This research work will continue with completing the IEC 61499 semantic analyser based on DL and SWRL. The semantic analysis shall automatic detect any semantic errors.  ... 
doi:10.1109/indin.2011.6034946 fatcat:iumwhsd4kvcx7hv57hpbx744by

A Methodology and Framework for Creating Domain-Specific Development Infrastructures

George Edwards, Nenad Medvidovic
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
DSDIs are commonly created in a costly, ad-hoc fashion because current model-driven engineering (MDE) technologies lack sufficient mechanisms for capturing the semantics of domain concepts.  ...  In this paper, we propose a methodology for incorporating semantics within MDE frameworks to simplify and automate DSDI integration.  ...  MIFs define semantic transformations from architectural models to analysis models by relying on the semantics defined for ACT metatypes.  ... 
doi:10.1109/ase.2008.27 dblp:conf/kbse/EdwardsM08 fatcat:2pq2iu3vwvbnxmhjd5kdas7qay

Abstracts of Recent PhDs

2011 Knowledge engineering review (Print)  
In order to define the semantics of the possibilistic disjunctive programs, three approaches are defined:  ...  In the context of knowledge representation, by considering ideas from possibilistic logic and answer set programming approach, we define a possibilistic disjunctive logic programming approach for modelling  ...  the automation of the collaboration and interaction analysis tasks.  ... 
doi:10.1017/s0269888910000238 fatcat:ic34qr5vpbbo7ofrwq4c4snzhe

Ontology based semantic-predictive model for reconfigurable automation systems

Jiayi Zhang, Bilal Ahmad, Daniel Vera, Robert Harrison
2016 2016 IEEE 14th International Conference on Industrial Informatics (INDIN)  
2016) Ontology based semantic-predictive model for reconfigurable automation systems.  ...  The proposed methodology is based on a robust semantic-predictive model supported by ontology representations and predictive algorithms for the integration of Product, Process, Resource and Requirement  ...  Several automation systems have been built with semantic data analysis tools [15] .  ... 
doi:10.1109/indin.2016.7819328 dblp:conf/indin/ZhangAVH16 fatcat:yg6x6ajj45cf3homqzascwku2m

Modeling distributed automation systems in cyber-physical view

Wenbin Dai, Valeriy Vyatkin, Cailian Chen, Xinping Guan
2015 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA)  
One key research topic is to solve design complexities of industrial cyber-physical systems by applying modeling techniques.  ...  With increasing complexity of automation processes, distributed automation systems are required to meet real-time constraints of control and communication for processes.  ...  So Heterogeneous Modeling methodologies for design CPS is essential. During CPS design process, specifications as well as model analysis are considered by hybrid heterogeneous modeling.  ... 
doi:10.1109/iciea.2015.7334251 fatcat:7tetnkzppze73jkdjr4n7rpy2m

A knowledge-based method for inferring semantic concepts from visual models of system behavior

Kevin L. Mills, Hassan Gomaa
2000 ACM Transactions on Software Engineering and Methodology  
While semantic concepts can be attached manually to diagrams using labels, such as stereotypes in the Unified Modeling Language (UML), this paper considers the possibility of providing automated assistance  ...  To illustrate the approach, the paper describes a metamodel for data flow/control flow diagrams used in the context of a specific software modeling method, Concurrent Object-Based Real-time Analysis (COBRA  ...  The intent of CODA is to provide a designer with an automated assistant that can help to transform an analysis model, typically expressed in some form of flow diagram, into a concurrent software design  ... 
doi:10.1145/352591.352594 fatcat:phlx74t5vjemhawe2qnh23sf2q

Selected Topics on Enterprise and Automated Systems: Editorial Introduction to Issue 4 of CSIMQ

Raimundas Matulevičius, Thorsten Weyer
2015 Complex Systems Informatics and Modeling Quarterly  
OR-joint semantics, validation of automated plant control, and safety analysis in complex embedded systems.  ...  Amme continues the topic on enterprise modeling. More specifically, the authors focus on the semantics of the business process modeling.  ... 
doi:10.7250/csimq.2015-4.00 fatcat:tqouut3ijjgt3ihkxmudd76tzu

Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies

Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In model-driven engineering, the aim of design space exploration (DSE) is to generate a set of design candidates that satisfy a given set of constraints and requirements, and are optimal with respect to  ...  In multi-paradigm modeling it is not uncommon to perform a variety of computationally expensive analyses as part of such an exploration process.  ...  Towards an orchestration modeling language Our goal with this work is to implement automated backtracking semantics on top of an orchestration modeling language used for defining the forward flow of the  ... 
dblp:conf/models/HerzigKCDSV14 fatcat:23agtue7zvb3hkrex25egldctm

Knowledge Engineering and Machine Learning for Design and Use in Cyber-Physical Environments

Michael Walch
2019 AAAI Spring Symposia  
feasible, desirable, and viable designs and one for efficient, automated, and reliable use of CPSs.  ...  Thereby, the idea is to utilize human knowledge & design in an automated manner throughout the life-cycle of CPS.  ...  Another option is to employ the semantic web stack to automate the connection of conceptual models and operation environments.  ... 
dblp:conf/aaaiss/Walch19 fatcat:x2npt5fhubdyxfsdnvcjdc47le

Semantic Business Process Management: Scaling Up the Management of Business Processes

Carlos Pedrinaci, John Domingue, Christian Brelage, Tammo van Lessen, Dimka Karastoyanova, Frank Leymann
2008 2008 IEEE International Conference on Semantic Computing  
We argue that Semantic BPM, that is, the enhancement of BPM with Semantic Web Services technologies, provides further scalability to BPM by increasing the level of automation that can be achieved.  ...  Despite its success however, BPM suffers from a lack of automation that would support a smooth transition between the business world and the IT world.  ...  The BPM life-cycle is composed of four phases [25] . The first phase called Design or Modelling is concerned with the (re)design of business processes.  ... 
doi:10.1109/icsc.2008.84 dblp:conf/semco/PedrinaciDBLKL08 fatcat:arvdfddb3rcptj7xdwafvtyz4a

Risk Mitigation Strategies in High Automation

Mario Gleirscher
2019 Software Engineering  
The work underlying this presentation is titled "From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case," accepted as a peer-reviewed full technical paper at the "NASA Formal Methods  ...  This presentation discusses an analysis and design method for high-level controllers for highly automated or autonomous machines with run-time mechanisms for risk monitoring and mitigation.  ...  Moreover, the provided algorithm then calculates an operational semantics of the composed model.  ... 
doi:10.18420/se2019-12 dblp:conf/se/Gleirscher19 fatcat:4l7tktuydnbypd57e66xl36dz4

DefectNet – A Deep Convolutional Neural Network for Semantic Segmentation of Crystallographic Defects in Advanced Microscopy Images

Graham Roberts, Rajat Sainju, Brian Hutchinson, Mychailo B. Toloczko, Danny J. Edwards, Yuanyuan Zhu
2019 Microscopy and Microanalysis  
The lack of automated defect analysis for statistically meaningful quantification of a variety types of crystallographic defects is causing an increasingly large bottleneck for rational alloy design.  ...  The first and most important step of automating defect analysis is perceptual defect identification.  ...  The lack of automated defect analysis for statistically meaningful quantification of a variety types of crystallographic defects is causing an increasingly large bottleneck for rational alloy design.  ... 
doi:10.1017/s1431927619001557 fatcat:bl3jcsjymrf45agbkukksg5wiu
« Previous Showing results 1 — 15 out of 142,606 results