Filters








241 Hits in 3.9 sec

Specification and Validation of Behavioural Protocols in the rCOS Modeler [chapter]

Zhenbang Chen, Charles Morisset, Volker Stolz
2010 Lecture Notes in Computer Science  
Components are specified in rCOS, a relational calculus for Refinement of Component and Object Systems.  ...  The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process.  ...  Specification of behaviour in rCOS usually considers trace languages of method invocations instead of data.  ... 
doi:10.1007/978-3-642-11623-0_23 fatcat:aj4h2znifnhqrjav53tn3ves3e

Robustness testing for software components

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
2010 Science of Computer Programming  
First, a set of paths is generated to cover transitions of the state machine, and it is used by the test cases to bring the component into a specific control state.  ...  Robustness testing is a testing methodology to detect the vulnerabilities of a component under unexpected inputs or in a stressful environment.  ...  Acknowledgements We would like to thank the anonymous reviewers of the FACS'08 version and of this version for their detailed comments that helped in revising the paper to its current form.  ... 
doi:10.1016/j.scico.2010.02.005 fatcat:pc2qz3qxafeprgn5up2cqmq2fe

Modelling with Relational Calculus of Object and Component Systems - rCOS [chapter]

Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang (+1 others)
2008 Lecture Notes in Computer Science  
We demonstrate how rCOS supports modelling different views and their relationships of the system and the separation of concerns in the development.  ...  We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2.  ...  Acknowledgements The authors thank Wang Xu and Siraj Shaikh at UNU-IIST for helpful suggestion on CSP and FDR, and the careful reviewers.  ... 
doi:10.1007/978-3-540-85289-6_6 fatcat:i27juyc5efcgxabpezw6rzp4bq

Integrating Theories and Techniques for Program Modelling, Design and Verification [chapter]

Bernard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed
2008 Lecture Notes in Computer Science  
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.  ...  This proposal is made on behalf of all members of the academic staff at UNU-IIST. We would like to thank our colleagues, Chris George, Dang Van Hung and Tomasz Janowski for the discussions.  ...  Therefore, for a component C, we treat the interface methods of C and the protocol as the specification of the use cases of the component and the components in environment of C as the actors of these use  ... 
doi:10.1007/978-3-540-69149-5_31 fatcat:6wvzxhedpfdmxbzrzjumjov75m

A Component-Based Access Control Monitor [chapter]

Zhiming Liu, Charles Morisset, Volker Stolz
2008 Communications in Computer and Information Science  
We present a formal specification of an access control monitor using the calculus of refinement of component and object systems (rCOS).  ...  A control of access to information is increasingly becoming necessary as the systems managing this information is more and more open and available through non secure networks.  ...  This work was supported by the project HTTS funded by the Macao Science and Technology Development Fund and by the projects NSFC-60673114 and 863 of China 2006AA01Z165.  ... 
doi:10.1007/978-3-540-88479-8_24 fatcat:pu7wee6xuzca7fqu3dnng2auzq

Harnessing Theories for Tool Support

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
The paper concludes with a discussion of feasibility of developing the proposed add-ins and of the conditions for such extensions to be actually used.  ...  In order to know where such add-ins will fit, we investigate the use of an existing successful commercial tool and identify suitable places for adding formally supported checking, transformation and generation  ...  The theory of rCOS shares the idea with Circus [3] in their attempts to combine event-based models and state-based models.  ... 
doi:10.1109/isola.2006.49 dblp:conf/isola/LiuMRY06 fatcat:kx6nia7wx5gsxepufep5ytkawi

Towards a Rigorous Approach to UML-Based Development

Zhiming Liu, Jifeng He, Xiaoshan Li
2005 Electronical Notes in Theoretical Computer Science  
We discuss the promises and problems of UML-based development.  ...  We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better.  ...  To validate expressions and commands in a dynamic binding environment, the model must keep track of the current type of each object.  ... 
doi:10.1016/j.entcs.2005.03.005 fatcat:itznqvo6pjefxbk7gpxitugfke

Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems

Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan Bowen
2016 Sensors  
The proposed architecture, called refinement of Cyber-Physical Component Systems (rCPCS), which extends the refinement calculus for component and object system (rCOS) modelling method, is implemented using  ...  With rCPCS implementation in Reo, we specify the communication, synchronisation and co-operation amongst the heterogeneous components of the system assuring, by design scalability and the interoperability  ...  Author Contributions: E.P. and S.M. set the problem statement and system model; E.P., Z.L. and J.B. conceived and designed the modelling architecture; E.P., X.C. and Z.L. conceived and designed the implementation  ... 
doi:10.3390/s16111810 pmid:27801829 pmcid:PMC5134469 fatcat:4hwqcjpujvdvtdifhwynpqydz4

Conformance notions for the coordination of interaction components

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2010 Science of Computer Programming  
These notions are formalised in terms of the denotational semantics of the process algebra CSP, and assist the designer in common activities during integration, such as the substitution of component specifications  ...  We illustrate the application of these notions through a systematic composition strategy of software frameworks, and we mechanically verify the preservation of behavioural component properties in these  ...  However, the component communication mechanism model in rCOS is specific for method invocation [36] .  ... 
doi:10.1016/j.scico.2009.12.005 fatcat:zlz2i5apljhudlo6xc6fsldxo4

Combining Techniques to Verify Service-based Components

Pascal André, Christian Attiogbé, Jean-Marie Mottu
2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development  
Modelling real life systems covers three aspects of a system (structure, dynamics and functions) and one verification technique is not sufficient to check the properties related to these aspects.  ...  Early verification is essential in model-driven development because late error detection involves a costly correction and approval process.  ...  A component protocol is defined here as the set of all the valid se-quences of service invocations.  ... 
doi:10.5220/0006212106450656 dblp:conf/modelsward/AndreAM17 fatcat:vrjjgtoaqjeold2j3nagn36tp4

Factors Influencing the Adoption of Cloud Incident Handling Strategy: A Preliminary Study in Malaysia [article]

Nurul Hidayah Ab Rahman, Kim-Kwang Raymond Choo
2015 arXiv   pre-print
We also outline future research required to validate the model.  ...  We propose a conceptual model that draws upon the Situation Awareness (SA) model and Protection Motivation Theory (PMT) to guide this research. 40 organisational cloud service users in Malaysia were surveyed  ...  The views and opinions expressed in this article are those of the authors alone and not the organisations with whom the authors are or have been associated and supported.  ... 
arXiv:1505.02908v1 fatcat:yx2eg4bzd5fthkc7cnbafdyg4e

THE USE OF HEART RATE TO ESTIMATE OXYGEN CONSUMPTION OF FREE-RANGING BLACK-BROWED ALBATROSSES DIOMEDEA MELANOPHRYS

Bevan, Woakes, Butler, Boyd
1994 Journal of Experimental Biology  
However, the method should be applied to as many individuals and as many instances of a particular behaviour as possible.  ...  In addition to the calibration procedure, six of the albatrosses were injected with doubly labelled water (DLW), and fh and V(dot)O2 were monitored continuously over a 3 day period while the birds were  ...  The authors would like to thank the following people: everyone at the British Antarctic Survey base at Bird Island, in particular T. Barton, J. Cooper and G. Liddle for their help in the field, Dr P.  ... 
pmid:9317461 fatcat:7ktcfbna7zaujo33iktpf4ytaa

Body composition, water turnover and energy turnover assessment with labelled water

Klaas R. Westerterp
1999 Proceedings of the Nutrition Society  
Westerterp, fax +31 43 3670976, email k.westerterp@hb.unimaas.NL CAB International Body composition, water turnover and energy turnover assessment with labelled water Klaas R. Westerterp  ...  Validation of techniques for the assessment of physical activity Doubly-labelled water is a 'gold standard' for the validation of techniques for the assessment of physical activity such as behavioural  ...  The most promising are motion sensors, specifically accelerometers, as an objective tool for the assessment of physical activity in large populations and over intervals of days to periods long enough to  ... 
doi:10.1017/s0029665199001251 pmid:10817162 fatcat:vnpfjx2ymzct3bvvzqe4lzo4h4

Applicability of the doubly labelled water method to the rhinoceros auklet, Cerorhinca monocerata

M. Shirai, M. Ito, K. Yoda, Y. Niizuma
2012 Biology Open  
We calculated the CO 2 production rate of four auklets (mean initial body mass: 552 g636 s.d.) injected with DLW, using the one-and two-pool models.  ...  The metabolic rates determined using the one-and two-pool models in the DLW method for the same period as the respirometric measurement averaged 16.6162.13 kJ h 21 (n54) and 16.1662.10 kJ h 21 (n54), respectively  ...  Acknowledgements We thank Yuuya Suzuki and Megumi Shikata for their assistance in the field, Yutaka Watanuki for his valuable suggestions and help, and Naoki Tomita for help with the isotope analysis.  ... 
doi:10.1242/bio.20122436 pmid:23213394 pmcid:PMC3507190 fatcat:6ashiag5pjc5pd7j3l3gvxxciq

Doubly labelled water assessment of energy expenditure: principle, practice, and promise

Klaas R. Westerterp
2017 European Journal of Applied Physiology  
reference, and studies on body mass regulation with energy expenditure as a determinant of energy balance.  ...  the behaviour of the subjects.  ...  In a twocompartment model for body composition with the component fat-free mass and fat mass, water is an important constituent of fat-free mass (Pace and Rathbun 1945) .  ... 
doi:10.1007/s00421-017-3641-x pmid:28508113 pmcid:PMC5486561 fatcat:b7m5q37ngfbzhdqv2alisdtxae
« Previous Showing results 1 — 15 out of 241 results