A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
An application of graph traversal algorithm to design task planning in model-based product development
2016
Journal of Advanced Mechanical Design, Systems, and Manufacturing
Preserved Fulltext
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
1999
ACM Transactions on Modeling and Computer Simulation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1996
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Seminal Contributions to Information Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Journal of Robotics, Networking and Artificial Life (JRNAL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1995
Computer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2013
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE 6th International Conference on Service-Oriented Computing and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2012
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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