14,648 Hits in 4.4 sec

A rewriting framework and logic for activities subject to regulations

2015 Mathematical Structures in Computer Science  
Activities such as clinical investigations (CIs) or financial processes are subject to regulations to ensure quality of results and avoid negative consequences.  ...  Due to the complexity of both regulations and activities, there is great potential for violation due to human error, misunderstanding, or even intent.  ...  Kuznetsov for providing a very pleasant environment for work.  ... 
doi:10.1017/s096012951500016x fatcat:xxyfno43erg5xauxhq7fbuonwq


2001 Biocomputing 2002  
In summary, we propose and provide an initial description of an algebra and logic of signaling pathways and biologically plausible abstractions that provide the foundation for the application of highpowered  ...  The genomic sequencing of hundreds of organisms including homo sapiens, and the exponential growth in gene expression and proteomic data for many species has revolutionized research in biology.  ...  Acknowledgements We thank Tom Garvey, Peter Karp, Pedro Romero, Raymonde Guindon, Andrea Lincoln, Marianna Yanovsky, Natarajan Shankar for helpful discussions, and the anonymous reviewers for their comments  ... 
doi:10.1142/9789812799623_0038 fatcat:su4prr5cjrcbxd6vk3phgqllmq

Context-Aware Analysis of Data Sharing Agreements

Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
2010 2010 Third International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services  
In this paper, we propose a formal framework for Data Sharing Agreement analysis.  ...  A Data Sharing Agreement is an agreement among contracting parties regulating how they share data under certain contextual conditions.  ...  ACKNOWLEDGMENTS The fourth author would like to thank Alberto Verdejo for his support and help in encoding process algebras into Maude.  ... 
doi:10.1109/centric.2010.17 fatcat:iz4h6io4sjhufnectu767a36fi

Document Logic: Risk analysis of business processes through document authenticity

Shusaku Iida, Grit Denker, Carolyn Talcott
2009 2009 13th Enterprise Distributed Object Computing Conference Workshops  
Rewriting logic is expressive and general enough to define other specialized logics, like Document Logic. In our framework, a business process is modeled as a transition system.  ...  Document Logic is a simple yet powerful framework to infer risks in business processes.  ...  ACKNOWLEDGMENT We thank José Meseguer and Kokichi Futatsugi for useful suggestions and comments on this work.  ... 
doi:10.1109/edocw.2009.5332014 dblp:conf/edoc/IidaDT09 fatcat:4hvdvmlgfrb6tkm6gchcqp7asm

A Rewriting Framework for Activities Subject to Regulations

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott, Ranko Perovic, Marc Herbstritt
2012 International Conference on Rewriting Techniques and Applications  
Activities such as clinical investigations or financial processes are subject to regulations to ensure quality of results and avoid negative consequences.  ...  Due to the complexity of both regulations and activities there is great potential for violation due to human error, misunderstanding, or even intent.  ...  Acknowledgments: We thank Anupam Datta, Nikhil Dinesh, Deepak Garg, Insup Lee, John Mitchell, Grigori Mints, Oleg Sokolsky, and Martin Wirsing for helpful discussions.  ... 
doi:10.4230/lipics.rta.2012.305 dblp:conf/rta/KanovichKNSTP12 fatcat:quggkizubbfcjcon2udbxbosyu

Rewriting Approaches for Ontology-Mediated Query Answering

Shqiponja Ahmetaj
2020 Künstliche Intelligenz  
A most promising approach to answering queries in ontology-based data access (OBDA) is through query rewriting. In this paper we present novel rewriting approaches for several extensions of OBDA.  ...  The goal is to understand their relative expressiveness and to pave the way for efficient query answering algorithms.  ...  This work was supported by the Austrian Science Fund projects W1255, P30360, and P30873.  ... 
doi:10.1007/s13218-020-00671-w pmid:33343089 pmcid:PMC7732797 fatcat:yjxrfa42krexjh2bo4fjpztsjq

Using Maude to write and execute ODP information viewpoint specifications

Francisco Durán, Manuel Roldán, Antonio Vallecillo
2005 Computer Standards & Interfaces  
Maude is an executable rewriting logic language especially well suited for the specification of object-oriented open and distributed systems.  ...  We show how Maude offers a simple, natural, and accurate way of modeling the ODP information viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning  ...  Thank also to José Meseguer, Narciso Martí-Oliet, and Raú l Romero for their comments on previous versions of this paper and for their ideas on the specification of invariants.  ... 
doi:10.1016/j.csi.2004.10.008 fatcat:eb3vbybf2bh3vnvsjzgeljmwbq

Quantitative and Probabilistic Modeling in Pathway Logic

Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn Talcott, Ashish Tiwari
2007 2007 IEEE 7th International Symposium on BioInformatics and BioEngineering  
This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes.  ...  Several such strategies were implemented, and experiments carried out to test feasibility, and to compare results of different approaches.  ...  In this paper we report on a study of different approaches to represent information about approximate quantities and rates as a first step to extending the Pathway Logic modeling framework.  ... 
doi:10.1109/bibe.2007.4375669 dblp:conf/bibe/AbateBSTT07 fatcat:pr76uhkswfhp3fk27hykmbvw7q

A Communicational Approach to Organizations: A Framework for Analyzing Contemporary Rationalizations

Jean-Luc Bouillon
2010 Management Communication Quarterly  
This perspective can be linked to the activity theory framework (Engeström, 2000) , which builds relationships between objects, technologies, subjects, organizational processes, and rules.  ...  Roles and individual assignments can then be redefined, and new knowledge may be created in situations of activities to make up for the variability and the unforeseeable nature of reality.  ...  His research deals with contemporary organizational rationalizations, focused on informational and communicational activities.  ... 
doi:10.1177/0893318910380602 fatcat:ewef5forwzgchpzuaxodir7axu

From Data to Events: Checking Properties on the Control of a System

Christophe Jacquet, Frederic Boulanger, Dominique Marcadet
2008 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design  
In this case, the results are subject to interpretation, but can prove useful and help detect defects or even guarantee the correctness of a system.  ...  Descriptions are used both for generating and deploying implementation code and for checking safety properties on the systems.  ...  Our framework has the same expressive power as these, in that it allows one to reference and compare signal values.  ... 
doi:10.1109/memcod.2008.4547682 dblp:conf/memocode/JacquetBM08 fatcat:spqolueacbbsnlefwbe4yh4olq

Cell differentiation: what have we learned in 50 years? [article]

Stuart A. Newman
2019 arXiv   pre-print
Recent work has described unique write-read-rewrite chromatin-based expression encoding in eukaryotes, as well metazoan-specific processes of gene activation and silencing in condensed-phase, enhancer-recruiting  ...  The two models continue to inform hypotheses and computational studies of differentiation of lineage-adjacent cell types.  ...  The newer understanding of gene control in these more complex organisms and the difficulties it presents for both the GGRD and MGRN frameworks are the main subject of this article.  ... 
arXiv:1907.09551v2 fatcat:wt65qqqwyzhdrnrqv3suzogmmm

A Survey of Policy-Based Management Approaches for Service Oriented Systems

Tan Phan, Jun Han, Jean-Guy Schneider, Tim Ebringer, Tony Rogers
2008 Australian Software Engineering Conference : Proceedings  
In this paper, we evaluate five popular policy frameworks which are IETF, Ponder, KAoS, Rei and WS-Policy against a number of general and SOA-specific criteria to identify what features of these existing  ...  Policy based management in Service Oriented Architecture (SOA) allows organizations to apply rules and regulations on their business processes.  ...  Introduction The operation of organizations is governed by business logic, which is the logic of core business processes and activities, and enterprise logic which is corporate and government regulations  ... 
doi:10.1109/aswec.2008.4483228 fatcat:7saiozn4araplbqvkmta46lbwi

Argumentation in the Semantic Web

Paolo Torroni, Marco Gavanelli, Federico Chesani
2007 IEEE Intelligent Systems  
A large share of current research on these topics addresses new logics for concept description and knowledge representation; new languages for defining ontologies, taxonomies, and behavior; and new cooperation  ...  Before traveling, CSD researchers must have formal approval for their trip. To this end, they send CSD a request. CSD checks its rules and regulations and answers accordingly.  ...  Acknowledgments We thank Paola Mello and the anonymous reviewers for their valuable feedback.  ... 
doi:10.1109/mis.2007.100 fatcat:hhjebb3ihzfjvomp6f7trrkzai

A novel logic-based automatic approach to constructing compliant security policies

YiBao Bao, LiHua Yin, BinXing Fang, Li Guo
2011 Science China Information Sciences  
Given security policy Π and delegation policy M declared by logic programs, the approach automatically rewrites Π into a new one Π M which is compliant with M and is readable by the humans.  ...  A novel logic-based automatic approach to constructing compliant security policies.  ...  Π for ρ. dr 1 A is only allowed to label subjects and objects with security levels 0 or 1. dr 2 B is only allowed to label subjects and objects with security levels 2 or 3.  ... 
doi:10.1007/s11432-011-4426-1 fatcat:wtnrgnradneqdbqcclk7buseve

Cooperative development of logical modelling standards and tools with CoLoMoTo

A. Naldi, P. T. Monteiro, C. Mussel, H. A. Kestler, D. Thieffry, I. Xenarios, J. Saez-Rodriguez, T. Helikar, C. Chaouiya
2015 Bioinformatics  
This productive activity now requires a concerted effort to ensure model reusability and interoperability between tools.  ...  Logical (or logic), discrete models comprise the most abstract dynamic models and constitute nowadays a popular modelling framework (for reviews see Bornholdt, 2005; Saadatpour and Albert, 2013; Samaga  ...  Thomas [see Thomas and d'Ari (1990) and Thomas (2013) for a recent discussion]. As a matter of fact, several extensions of the logical framework intend to integrate kinetic information.  ... 
doi:10.1093/bioinformatics/btv013 pmid:25619997 fatcat:lnh7ovub3nf4vaaejgwr5zgovi
« Previous Showing results 1 — 15 out of 14,648 results