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
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
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
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
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
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
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
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
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
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
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
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. ...
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
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
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
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