Filters








520,261 Hits in 2.9 sec

Controlling Modelling Artifacts

Michael J.A. Smith, Flemming Nielson, Hanne Riis Nielson
2011 2011 Eighth International Conference on Quantitative Evaluation of SysTems  
In particular, we investigate the accuracy of a recently proposed high-level model of LMAC, and identify some modelling artifacts in the model.  ...  In this paper, we propose a novel methodology to reason about modelling artifacts, given a detailed model and a highlevel (more abstract) model of the same system.  ...  Using this knowledge, we can improve the high-level model, and therefore control the modelling artifacts within it. VI.  ... 
doi:10.1109/qest.2011.32 dblp:conf/qest/SmithNN11 fatcat:alnngnk56bfyjiigh7xknzvage

Deriving role engineering artifacts from business processes and scenario models

Anne Baumgrass, Mark Strembeck, Stefanie Rinderle-Ma
2011 Proceedings of the 16th ACM symposium on Access control models and technologies - SACMAT '11  
These tasks include the derivation of candidate RBAC artifacts from business processes and scenario models.  ...  In this paper, we present an approach to automatically derive role engineering artifacts from process and scenario models.  ...  Rinderle-Ma: Deriving Role Engineering Artifacts from Business Processes and Scenario Models, In: Proc. of the 16th ACM Symposium on Access Control Models and Technologies (SACMAT), Innsbruck, Austria,  ... 
doi:10.1145/1998441.1998445 dblp:conf/sacmat/BaumgrassSR11 fatcat:sgfdd2zli5ey5iy3l7hz6yfb6u

Application of Filtering Methods for Removal of Resuscitation Artifacts from Human ECG Signals [chapter]

Ivan Markovsky, Anton Amann, Sabine Van Huffel
2012 System Identification, Environmental Modelling, and Control System Design  
Band-pass, Kalman, and adaptive filters are used for removal of resuscitation artifacts from human ECG signals.  ...  A database of separately recorded human ECG and animal resuscitation artifact signals is used for evaluation of the methods.  ...  Left: naive model based method for artifact removal. The initial conditions of the model M are set to zero. Right: method for artifact removal based on the Kalman filter F for M.  ... 
doi:10.1007/978-0-85729-974-1_14 fatcat:5suyuhrf3fbhzd4vhothgziaua

Reasoning on the usage control security policies over data artifact business process models

Montserrat Estañol, Ángel Varela-Vaca, María Gómez-López, Ernest Teniente, Rafael Gasca
2021 Computer Science and Information Systems  
To do so, we transform the original models, including security policies, into the BAUML framework (an artifact-centric approach to business process modelling).  ...  the business process model.  ...  In [51] , an extension of artifact-centric process models based on the Usage Control Model introduces mechanisms to specify security policies and verify their correctness.  ... 
doi:10.2298/csis210217061e fatcat:smo5ijubovbqdgdg327mm7sx4a

A Model for Representing Artifacts Based on the Modality of Operations and States
操作と状態の様相性に着目した人工物表現モデルの提案

Hidetsugu SUTO, Hiroshi KAWAKAMI, Osamu KATAI
2001 Transactions of the Society of Instrument and Control Engineers  
doi:10.9746/sicetr1965.37.1078 fatcat:eeknjyt2svfw5l7zvkmx5mmidi

An Artifact Model with Structure of Operations and Its Application to Universal Design
操作構造に注目した人工物モデルとユニバーサルデザインへの応用

Hidetsugu SUTO, Hiroshi KAWAKAMI, Osamu KATAI
2002 Transactions of the Society of Instrument and Control Engineers  
Katai: Safety Modality Analysis of Artifacts by Teleological/Causal/ Interactional Modeling via Petri Nets and Modal Logic, Proc. of Asia Pacific Symposium on Safety 2001, 2, 249/252  ... 
doi:10.9746/sicetr1965.38.1008 fatcat:w62m3jzrnjgk3ira7bw7rfmccm

An Ontological Analysis of Modeling of Artifacts Considering Interactions with Human Operators
操作者とのインタラクションを考慮した人工物モデリングに関するオントロジカルな考察

Hidetsugu SUTO, Hiroshi KAWAKAMI, Tadashi HORIUCHI, Osamu KATAI
2002 Transactions of the Society of Instrument and Control Engineers  
systems (1996) Table 2 2 Modal operators for the •gfuture•h Table 3 3 Oriented Hierarchical Modeling of Artifacts from Teleological, Causal and Temporal Aspects, Proc. of the 5th International  ...  Horiuchi: Hierarchical Modeling of Artifacts Based on Interaction with Human and Environment, Proc. of the 4th International Conference on Engineering Design and Automation, CD-ROM An example of top ontology  ... 
doi:10.9746/sicetr1965.38.210 fatcat:b7etphxi6bfa5mcy57aangzviy

大規模人工物運転支援における人間中心設計(「人間を内部に含んだ系のモデリングと設計特集号」)
Human-Centered Design of Operation Support System for Management of Large-Scale Artifacts(Modeling and Design of Human-in-the-Loop Systems)

Masaharu KITAMURA, Makoto TAKAHASHI
2001 Systems, Control and Information  
nstein : Quantitative assessment of inforrna −tion lc − ad on control room operator in emergency situ− ationSI Proc .  ...  ー タ まか せ の 自動 化 は 実 現 で き ず 人 間 に よ る 判 断 や 操 作 が 避 け ら れ な い こ と を 考 え れ ば ,安全 上 は ハ ー ド ウ エ ア に 加 え て ソ * 東 北 大 学 大 学 院 工 学研 究科 Key i物 曲 : operation supPort system , user − cen 七ered design , user modeling  ... 
doi:10.11509/isciesci.45.11_630 fatcat:adytsjdocvapnovppl76rhv56q

Incorporating human visual model and spatial sampling in banding artifact reduction

Cheng-Lun Chen, G.T.-C. Chiu
2004 Proceedings of the 2004 American Control Conference   unpublished
In this paper, we will summarize the work to incorporated human visual model into control system design and point out one aspect of the human visual system model that will need to be addressed.  ...  Halftone banding, which affects the uniformity of xerographic images, is a well-known artifact for xerography, which appears as periodic light and dark bands across a printed page perpendicular to the  ...  HUMAN VISUAL MODEL FOR BANDING ANALYSIS Before any approach is developed to reduce banding artifact, method to quantitatively measure perceived banding needs to be developed.  ... 
doi:10.23919/acc.2004.1383863 fatcat:ydlvxtyjnzgundxqnivm73vata

AI for in-line vehicle sequence controlling: development and evaluation of an adaptive machine learning artifact to predict sequence deviations in a mixed-model production line

Max Stauder, Niklas Kühl
2021
mixed-model assembly lines.  ...  This includes all the necessary steps to design, implement, and assess an AI artifact, as well as data gathering, preprocessing, algorithm selection, and evaluation.  ...  The online learning module is integrated with our AI artifact and maintains the recency of the SML classification model. The architecture of the artifact is indicated in Fig. 3 .  ... 
doi:10.5445/ir/1000136184 fatcat:j36cscz7pjdr7cshwalr64ylfm

A Framework for Realizing Artifact-Centric Business Processes in Service-Oriented Architecture [chapter]

Kan Ngamakeur, Sira Yongchareon, Chengfei Liu
2012 Lecture Notes in Computer Science  
Recently, there exist proposals to achieve such realization by converting from artifact-centric model to activity-centric model that can be implemented on existing workflow management systems.  ...  Over the past few years, the artifact-centric approach to workflow modeling has been beneficially evidenced for both academic and industrial researches.  ...  An artifact model doesn't have any explicit control flows as in the traditional process model so this is not an easy task for the process modeler.  ... 
doi:10.1007/978-3-642-29038-1_7 fatcat:j5tozn3dardzda5izj3tjzceb4

A Workflow Execution Platform for Collaborative Artifact-Centric Business Processes [chapter]

Sira Yongchareon, Kan Ngamakeur, Chengfei Liu, Sivadon Chaisiri, Jian Yu
2014 Lecture Notes in Computer Science  
To execute an artifact-centric process model, current workflow execution approaches require it to be converted to some existing executable language (e.g., BPEL) in order to run on a workflow system.  ...  without performing model conversion.  ...  artifact-centric models in a distributed environment.  ... 
doi:10.1007/978-3-662-45550-0_65 fatcat:swyi6eklnbdyxbk27jhdsjmwz4

Compliance by design for artifact-centric business processes

Niels Lohmann
2013 Information Systems  
We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically.  ...  Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design.  ...  This coordination can be seen as a controller synthesis problem [22] : given an artifact A, we are interested in a controller C (in fact, also modeled as an artifact) such that their interplay is weakly  ... 
doi:10.1016/j.is.2012.07.003 fatcat:4b2dwkra7vbs3c327vu33g6kgy

Compliance by Design for Artifact-Centric Business Processes [chapter]

Niels Lohmann
2011 Lecture Notes in Computer Science  
We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically.  ...  Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design.  ...  This coordination can be seen as a controller synthesis problem [22] : given an artifact A, we are interested in a controller C (in fact, also modeled as an artifact) such that their interplay is weakly  ... 
doi:10.1007/978-3-642-23059-2_11 fatcat:72ku3rstpzd73fm7uaz7lwyqti

Artifact-Centric Choreographies [chapter]

Niels Lohmann, Karsten Wolf
2010 Lecture Notes in Computer Science  
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (interaction models).  ...  The next section briefly describes how artifacts can be modeled with Petri nets. Section 3 introduces location-aware extensions and their impact to artifact models.  ...  [17] study the interplay between control flow models and object life cycles.  ... 
doi:10.1007/978-3-642-17358-5_3 fatcat:p7frplrd6fcazp6v7p3i6utp5q
« Previous Showing results 1 — 15 out of 520,261 results