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
Consistency of Partial Process Specifications
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
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]
2018
arXiv
pre-print
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.
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
1998
Journal of Systems and Software
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.
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]
2011
Lecture Notes in Business Information Processing
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.
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
2011
International Journal of Business Process Integration and Management
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.
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
1994
IEEE Transactions on Software 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
Concurrent Engineering - Research 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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
arXiv
pre-print
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.
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
1983
Educational and Psychological Measurement
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
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 2014; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
—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
2005
IEICE Transactions on Fundamentals of Electronics Communications and Computer 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Applied Catalysis A : General
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.
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]
2010
Mechatronic Systems Simulation Modeling and Control
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.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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