Automatically Deriving the Specification of Model Editing Operations from Meta-Models

Author(s):  
Timo Kehrer ◽  
Gabriele Taentzer ◽  
Michaela Rindt ◽  
Udo Kelter
Keyword(s):  
2021 ◽  
Vol 26 (1) ◽  
pp. 1-11
Author(s):  
Marvin Chandra Wijaya ◽  
Zulisman Maksom ◽  
Muhammad Haziq Lim Abdullah

Multimedia authoring is the process of assembling various types of media content such as audio, video, text, images, and animation into a multimedia presentation using tools. Multimedia Authoring Tool is a useful tool that helps authors to create multimedia presentations. Multimedia presentations are very widely used in various fields, such as broadcast digital information delivery, digital visual communication in smart cars, and others. The Multimedia Authoring tool attributes are the factors that determine the quality of a multimedia authoring tool. A multimedia authoring tool needs to have several attributes so that these tools can be used properly. The purpose of this literature review study is to find the advantages of the multimedia authoring tool attribute in each of the existing studies to produce knowledge on how to create a good quality multimedia authoring tool. These attributes are Editing, Services, Performance, and the Formal Verification Model. Editing attribute is an attribute for interfacing with the author. Followed by Service attribute and performance attribute to check and achieve proper multimedia documents. Since 1998, a multimedia modeling tool has been studied, and up to now, there have been many studies that have focused on one or more of these attributes. This article discusses the existing studies to examine the attributes generated from the studies. Multimedia authoring attributes are very important to study because they are the benchmarks of the software requirement specifications of Multimedia Authoring tools. The use of the Petri net model, the Hoare Logic, and the Simple Interactive Multimedia Model as a formal verification model can improve the performance of the Multimedia Authoring Tool. In the questionnaire that was submitted to the users, it was assessed positively by the users with the improvements in the Multimedia Authoring Tool.


Author(s):  
J. G. Michopoulos ◽  
R. Martin ◽  
B. Anto

Development of the finite element modeling Markup Language (femML) was motivated by the need to address data exchange issues associated with intra- and inter-application interoperability in the context of finite element modeling and analysis. This paper describes femML advances during the past four years and describes current status of various tools and technologies associated with femML. In particular, the current schema is described along with XSLT-based translation of femML to SVG and X3D for quick model visualization. Java, C++ and Visual Basic tools have been developed for model editing and visualization as well. The paper concludes with identification of standing issues to be resolved relative to femML’s evolution and the future directions and plans about further evolution of femML.


2015 ◽  
Vol 809-810 ◽  
pp. 805-810
Author(s):  
Giorgiana Elena Armasoiu

This paper emphasizes the benefits of part-model editing process that does not depend on hystory-based modelling system. The use of synchronous technology in mechanical engineering applications allows the NC programmer to efficiently generate the NC program regardless the source of 3D model. The programming and machining process can be more efficient if the intuitive geometric changes on 3D model are allowed. Synchronous technology makes possible NC programmer’s intervention over 3D model geometry, without breaking the rules defined in CAD. Synchronous technology works with both, native and non-native models and it is available in NX and Solid Edge. With synchronous technology, the changes are performed with or without regard to the history of the model.


Author(s):  
Naoto Wada ◽  
Yuki Noyori ◽  
Hironori Washizaki ◽  
Yoshiaki Fukazawa ◽  
Hideyuki Kanuka ◽  
...  

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 167209-167224
Author(s):  
Min Pang ◽  
Ligang He ◽  
Liqun Kuang ◽  
Min Chang ◽  
Zhiying He ◽  
...  
Keyword(s):  
3D Face ◽  

Author(s):  
Beizhan Wang ◽  
Qichao Ge ◽  
Qingqi Hong ◽  
Yangjing Li ◽  
Kunhong Liu ◽  
...  

2002 ◽  
Vol 2002.12 (0) ◽  
pp. 415-416
Author(s):  
Hidekazu KOBAYASHI ◽  
Hiroshi MASUDA ◽  
Hiroyuki YAMATO ◽  
Susumu SHIRAYAMA
Keyword(s):  

2008 ◽  
Vol 41 (3) ◽  
pp. 641-643 ◽  
Author(s):  
Norman Stein

CHAINSAWis a model editing program for use in molecular replacement. Given a sequence alignment between template and target, it modifies the template structure on a residue-by-residue basis by pruning nonconserved residues while leaving conserved residues unchanged. Three degrees of pruning are possible. An internal alignment algorithm is used to cope with any residues that may be missing from the X-ray structure.CHAINSAWhas been successfully used as a tool to assist in solving a number of protein structures.


Sign in / Sign up

Export Citation Format

Share Document