Filters








3,091,777 Hits in 5.9 sec

Consistency of Partial Process Specifications [chapter]

Maarten Steen, John Derrick, Eerke Boiten, Howard Bowman
1998 Lecture Notes in Computer Science  
In this paper, we analyse the notion of consistency in the context of formal process speci cation. It turns out that di erent notions of correctness give rise to di erent consistency relations.  ...  Each notion of consistency is formally characterised and placed in a spectrum of consistency relations. An example illustrates the use of these relations for consistency checking.  ...  Acknowledgements We would like to thank Guy Leduc for his comments on an earlier version of this paper.  ... 
doi:10.1007/3-540-49253-4_19 fatcat:t6pd5hb4kffxfck2keyqo73yk4

Extending Causal Consistency to any Object Defined by a Sequential Specification [article]

Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018 arXiv   pre-print
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification.  ...  As causality is captured by a partial order on the set of operations issued by the processes on shared objects (concurrent operations are not ordered), it follows that causal consistency allows different  ...  Acknowledgments This work has been partially supported by the Franco-German DFG-ANR Project 40300781 DISCMAT (devoted to connections between mathematics and distributed computing), and the French ANR project  ... 
arXiv:1802.00706v1 fatcat:bueaceip6bdlnj2v6ea7c5ktsq

Formal methods for verification and validation of partial specifications: A case study

Steve Easterbrook, John Callahan
1998 Journal of Systems and Software  
We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product that is important.  ...  We describe a case study of the use of partial formal models for V&V of the requirements for Fault Detection Isolation and Recovery on the space station.  ...  Maintenance of consistency in our partial specifications became a real problem.  ... 
doi:10.1016/s0164-1212(97)00167-2 fatcat:2vvgmonmqfgdlb2ujprtj2ssji

On Maintaining Consistency of Process Model Variants [chapter]

Emilian Pascalau, Ahmed Awad, Sherif Sakr, Mathias Weske
2011 Lecture Notes in Business Information Processing  
Automated maintenance of the consistency between process variants is an important goal that saves the time and efforts of process modelers.  ...  with specific country regulations.  ...  Acknowledgements We would like to thank Clemens Rath from eBay's European Center of Excellence, for his support.  ... 
doi:10.1007/978-3-642-20511-8_28 fatcat:vmorh4zimvatzegokqamisyrny

Partial process models to manage business process variants

Emilian Pascalau, Ahmed Awad, Sherif Sakr, Mathias Weske
2011 International Journal of Business Process Integration and Management  
Our approach, Partial Process Models (PPM), is a query-based approach which maintains the link between the variant process models by means of defining process model views.  ...  Thus, dynamic evaluation for the defined queries of the process views guarantee that the process modeler is able to get up-todate and consistent status of the process model.  ...  Acknowledgements We would like to thank Clemens Rath from eBay's European Center of Excellence for his support.  ... 
doi:10.1504/ijbpim.2011.042528 fatcat:rn74zvk6wfbt3foc7hrmbuuk74

A framework for expressing the relationships between multiple views in requirements specification

B. Nuseibeh, J. Kramer, A. Finkelstein
1994 IEEE Transactions on Software Engineering  
In this paper, we deploy multiple View-Points that hold partial requirements specifications, described and developed using different representation schemes and development strategies.  ...  We elaborate on some of the requirements for expressing and enacting inter-Viewpoint relationships-the vehicles for consistency checking and inconsistency management.  ...  ACKNOWLEDGMENT We would like to gratefully acknowledge the extensive constructive comments of A. van Lamsweerde on an earlier version of this paper. Thanks are also due to S.  ... 
doi:10.1109/32.328995 fatcat:tvqkcve2i5dzlmpweuvzkxvbjq

Coordinating distributed ViewPoints: the Anatomy of a Consistency Check

Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
1994 Concurrent Engineering - Research and Applications  
In this paper, we argue that striving to maintain complete consistency at all points in the development process is unnecessary, and an approach based on tolerance and management of inconsistency can be  ...  Central to this problem is the issue of managing consistency between the various elements of an emerging design.  ...  Acknowledgements The work described in this paper was partly funded by the UK Department of Trade and Industry (DTI), as part of the Advanced Technology Programme (ATP) of the Eureka Software Factory -  ... 
doi:10.1177/1063293x9400200307 fatcat:ysx5mefklbacdizgommjs23mlm

Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations [article]

Steven Cheng, Lisa Higham, Jalal Kawash
2013 arXiv   pre-print
This paper provides a case study of this process. We specify a new model, partition consistency, that generalizes many existing consistency models.  ...  Therefore, formal specification of the implementation or architecture is necessary, and proofs of correspondence between the abstract and the concrete models are required.  ...  Acknowledgments This research was supported by the Natural Sciences and Engineering Research Council of Canada through discovery grant number 41900-07.  ... 
arXiv:1306.0077v1 fatcat:b3fr4schpfc3vcxakpcjb65fqa

The Use of Partial Correlation to Control Halo in Performance Ratings

Kevin W. Mossholder, William F. Giles
1983 Educational and Psychological Measurement  
Internal Consistency and the Partialing Process Although Landy et al. (1980) formally proposed the partialing procedures, it was previously used by Holzbach (1978) toward the same end.  ...  Finally, because of the relatively similar effect of the partialing process on within- and between- dimension correlations, a ‘‘good’’ residuals factor structure with acceptable internal consistencies  ... 
doi:10.1177/001316448304300405 fatcat:ji3i4m2twbhipkcyy772duhtpq

Method engineering for multi-perspective software development

Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
1996 Information and Software Technology  
The paper outlines the Viewpoints framework-an organizational framework developed to model such a scenario-and then examines the method engineering process required to support the kind of multi-perspective  ...  This paper examines the role of the method engineer in the context of multi-perspective software development.  ...  Partial funding was also provided by the ESPRIT Basic Research Actions PROMOTER and the UK EPSRC project VOILA.  ... 
doi:10.1016/0950-5849(95)01054-8 fatcat:kjm6smfz6fb55ctwvlnpn47pvu

Page 792 of American Journal of Sociology Vol. 42, Issue 6 [page]

1937 American Journal of Sociology  
—follows the known physicochemical laws, but life consists in a specific co-ordination of all these partial processes.  ...  understanding of the specific laws of the life-process.  ... 

Integration between Scheduling and Design of Batch Systems Based on Petri Net Models

T. ITO
2005 IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences  
It next formulates batch scheduling problems based on Petri net partial languages, proposes their solution technique and last discusses the integration between scheduling and design of batch systems.  ...  The distinctive feature of a batch process is that various decision making processes, such as scheduling, design, operation, etc. are strongly connected with each other.  ...  Acknowledgments The authors gratefully acknowledge partial financial support from the Japan Society for the Promotion of Science through a Grant-in Aid for Scientific Research (B) (No. 16360394).  ... 
doi:10.1093/ietfec/e88-a.11.2989 fatcat:wvh3wvgccbe37l3iru6kmli7i4

Quantitative study of catalytic activity and catalytic deactivation of Fe–Co/Al2O3 catalysts for multi-walled carbon nanotube synthesis by the CCVD process

Sophie L. Pirard, Georges Heyen, Jean-Paul Pirard
2010 Applied Catalysis A : General  
The catalytic deactivation during multi-walled carbon nanotube (MWNT) synthesis by the CCVD process and the influence of hydrogen on it were quantified.  ...  by avoiding amorphous carbon deposition, thus leading to a greater relative specific productivity of carbon nanotubes.  ...  The same two samples of data as for the initial specific reaction rate and specific production were considered: the first sample consisted of the four experiments with an ethylene partial pressure equal  ... 
doi:10.1016/j.apcata.2010.03.064 fatcat:escxudjek5f3zcg46ymnoce27e

Architecture and Design Methodology of Self-Optimizing Mechatronic Systems [chapter]

Jurgen Gausemeier, Sascha Kahl
2010 Mechatronic Systems Simulation Modeling and Control  
Integrated methods of simulation and Real-Time control aiming at improving the efficiency of an iterative design process of control systems are presented in Chapter 12.  ...  The conceivable development of information and communication technology will enable mechatronic systems with inherent partial intelligence. We refer to this by using the term "self-optimization".  ...  Self-Optimization takes place as a process that consists of the three following actions, called the Self-Optimization Process: 1.  ... 
doi:10.5772/9121 fatcat:qz2tj23pyndshnq5jybdcd53hy

Page 6452 of Mathematical Reviews Vol. , Issue 2004h [page]

2004 Mathematical Reviews  
We explore four theories of refinement based on an underlying partial relation model for specifications, and we show that they are all equivalent.  ...  A memory system is called sequentially consistent if there always exists an interleaving of the program orders of all the processes such that each load returns the value of the most recent store at the  ... 
« Previous Showing results 1 — 15 out of 3,091,777 results