Filters








758,976 Hits in 5.6 sec

An application of graph traversal algorithm to design task planning in model-based product development

Hitoshi KOMOTO, Shinsuke KONDOH, Keijiro MASUI
2016 Journal of Advanced Mechanical Design, Systems, and Manufacturing  
Acknowledgements This research is partially supported by the Japanese Society for Promotion of Science (JSPS), Ministry of Education, Culture, Sports, Science and Technology, Japan, under a Grant-in-Aid  ...  Fumihiko Kimura at Hosei University for insightful suggestions about the direction of the study.  ...  Execution costs and execution durations of each partial product model are defined with regard to all the specifications and attributes connected with the corresponding relation.  ... 
doi:10.1299/jamdsm.2016jamdsm0092 fatcat:focym7war5eqzid6yv7xq33rmq

Redundancy in model specifications for discrete event simulation

Richard E. Nance, C. Michael Overstreet, Ernest H. Page
1999 ACM Transactions on Modeling and Computer Simulation  
Focusing on the most interesting source of redundancy-that which is intentionally induced by a modeling methodology-we demonstrate that automated elimination of redundancy can actually improve model execution  ...  Although redundancy in model specification generally has negative connotations, we offer arguments for revising those convictions.  ...  model specification from model execution.  ... 
doi:10.1145/347823.347831 fatcat:rvwn2odnajgl7ekxf6cnf3ulcu

An executable specification language for specification understanding in object-oriented specification reuse

Shih-Chien Chou, Jen-Yen Chen, Chyan-Goei Chung
1996 Information and Software Technology  
This paper presents an object-oriented executable specification language which reduces understanding time through executing specifications.  ...  This facilitates specification modification. Moreover, the language explicitly specifies interface parameters of specification components. This facilitates specification composition.  ...  The OOA model Our OOA model is composed of two sub-models: (1) the class sub-model that specifies classes and relationships among classes, and (2) the function sub-model Name (instance limit) Attribute  ... 
doi:10.1016/0950-5849(95)01080-7 fatcat:3emu6tr37fh7blycv47hjwshby

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods [chapter]

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Romero, José Merseguer
2013 Seminal Contributions to Information Systems Engineering  
00-Method is an 00 Methodology that blends the use of formal specification systems with conventional 00 methodologies based on practice.  ...  This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user  ...  Furthermore, the definition of a concise execution model and the mapping between the specification language and the execution model notions, makes it possible to build an operational implementation of  ... 
doi:10.1007/978-3-642-36926-1_11 fatcat:e6q4qxwc2fhqno7ka2jij4au44

Self-configuring data mining for ubiquitous computing

Aysegul Cayci, Ernestina Menasalvas, Yucel Saygin, Santiago Eibe
2013 Information Sciences  
We again prefer to use symbols instead of the names describing the execution file attributes and the abstract attributes.  ...  The objectives of the experimental evaluation are: i) compare in terms of accuracy and specificity, the behavior models that classify execution data by different data mining quality abstractions extracted  ... 
doi:10.1016/j.ins.2013.05.015 fatcat:ec45txxxivddhbuekbwof5grcu

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens

Tomohiko Takagi, Ryo Kurozumi
2021 Journal of Robotics, Networking and Artificial Life (JRNAL)  
CONFLICTS OF INTEREST The authors declare they have no conflicts of interest. ACKNOWLEDGMENT This work was supported by JSPS KAKENHI Grant Number JP17K00103.  ...  Extended Place/transition Net with Attributed Tokens (EPNAT) [1] is a formal specification description language for modeling the expected behavior of state transition-based software that consists of  ...  Regression Testing of EPNAT Models A good execution trace in the simulation is recorded as a test case for the regression testing of future EPNAT models.  ... 
doi:10.2991/jrnal.k.210713.009 fatcat:5nhygw45qjd5zki2h5b7ky2g5u

Incorporating Security Requirements into Service Composition: From Modelling to Execution [chapter]

Andre R. R. Souza, Bruno L. B. Silva, Fernando A. A. Lins, Julio C. Damasceno, Nelson S. Rosa, Paulo R. M. Maciel, Robson W. A. Medeiros, Bryan Stephenson, Hamid R. Motahari-Nezhad, Jun Li, Caio Northfleet
2009 Lecture Notes in Computer Science  
execution.  ...  identification of security requirements for composition, absence of notations to express them, difficulty in integrating them into the business processes, complexity of mapping them into security mechanisms  ...  ] [12] , the executable composition [3] [18] [8] [5] [6] , or enforcement of specific security requirements at execution time [10] [16] .  ... 
doi:10.1007/978-3-642-10383-4_27 fatcat:qlr4r5puo5ftnc6odgjywwdkgq

AWS-Policy: An Extension for Autonomic Web Service Description

Haithem Mezni, Walid Chainbi, Khaled Ghedira
2012 Procedia Computer Science  
In this paper, we propose a rich information model that allows describing autonomic Web services based not only on QoS data but also on additional information such as service specific adaptation actions  ...  In addition, providers must participate in the self-adaptation process as they are aware of the capabilities and requirements of their published services and the exceptions that may occur.  ...  Fig. 1 shows the XML schemas of an AWS policy model. Fig. 1 (a) , each QoS attribute is described in a QoSAssertion element (line 5).  ... 
doi:10.1016/j.procs.2012.06.122 fatcat:w7jv3dxtlnemto2luykj7ataza

Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design

S. Chatterjee, J. Strosnider
1995 Computer journal  
An audio/video example is used in this paper to demonstrate the power and utility of distributed pipeline scheduling.  ...  This paper formalizes distributed pipelining scheduling by providing a set of abstractions and transformations to map real-time applications to system resources, to create highly efficient and predictable  ...  ACKNOWLEDGEMENTS This research was supported in part by a grant from the Office of Naval Research, in part by a grant from the Naval Research and Development Laboratory, and in part by a grant from Siemens  ... 
doi:10.1093/comjnl/38.4.271 fatcat:xp7msaoiwbc3tnwib63cubiuqu

OO-Method: An OO software production environment combining conventional and formal methods [chapter]

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Romero, José Merseguer
1997 Lecture Notes in Computer Science  
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice.  ...  This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative software development environment (depending on the user  ...  Furthermore, the definition of a concise execution model and the mapping between the specification language and the execution model notions, makes it possible to build an operational implementation of  ... 
doi:10.1007/3-540-63107-0_11 fatcat:3r6vwayipbfcnatmbmae5jubye

Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars

Niklas Fors, Görel Hedin
2013 Electronic Communications of the EASST  
This paper investigates how RAGs can be used to model visual languages, with a case study of a control language that also has a textual syntax.  ...  One strength of RAGs is reusability, and we demonstrate this by reusing the definition of the execution order in the visual editor to provide semantic feedback to the user.  ...  The execution order of the regulator model is shown in Figure 3a . Figure 3b shows how the execution order is changed when the grey block is moved in the editor.  ... 
doi:10.14279/tuj.eceasst.58.845 dblp:journals/eceasst/ForsH13 fatcat:4zwap6pu2jeu3ewncuk4j3ipsu

Implementing and Running Data-Centric Dynamic Systems

Alessandro Russo, Massimo Mecella, Fabio Patrizi, Marco Montali
2013 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications  
In this paper, we rely on the framework of Data-Centric Dynamic Systems (DCDSs), which has been recently introduced for the formal specification and verification of data-centric processes, and we discuss  ...  and verification is fully aligned with the one adopted for the execution.  ...  Process and Actions Execution The design steps produce a domain/fact model, and a specification of actions, their effects and the overall process.  ... 
doi:10.1109/soca.2013.37 dblp:conf/soca/0001MPM13 fatcat:5xvoscjqcvbcvh3ovpzqnrxnlq

EMorF - A tool for model transformations

Lilija Klassen, Robert Wagner
2012 Electronic Communications of the EASST  
In this paper, we present EMorF - a model transformation tool for EMF. EMorF supports the specification and execution of in-place model transformations as well as model-to-model transformations.  ...  In this paper, we focus on the provided tool support for the development and execution of model transformations.  ...  It supports the specification of in-place model transformations as well as model-to-model transformations.  ... 
doi:10.14279/tuj.eceasst.54.768 dblp:journals/eceasst/KlassenW12 fatcat:annwohqrknande3r23ouu2yo2i

Simulating domain specific visual models by observation

Javier Troya, José E. Rivera, Antonio Vallecillo
2010 Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10  
the system, and the execution of the system actions.  ...  Our proposal is supported by e-Motions, a graphical framework and tool for defining timed behavioral specifications of models.  ...  Some of these proposals also come with supporting environments for animating or executing the specifications, based on the transformations of the models into other models that can be executed [5, 6, 7  ... 
doi:10.1145/1878537.1878671 fatcat:7anmpaqz6zctlmuhed2tnqh7fq

Debugging Eli-Generated Compilers with Noosa [chapter]

Anthony M. Sloane
1999 Lecture Notes in Computer Science  
The compiler writer is required to understand a simple execution model that involves concepts that they already have to understand to write Eli specifications.  ...  An event system allows fine-tuned control of program execution.  ...  Acknowledgements Much of the functionality and style of Noosa has been influenced by past and current members of the Eli project.  ... 
doi:10.1007/978-3-540-49051-7_2 fatcat:krd4yy3qtre3bdi4w4khnp6kk4
« Previous Showing results 1 — 15 out of 758,976 results