544 Hits in 5.3 sec

rCOS: Theory and Tool for Component-Based Model Driven Development [chapter]

Zhiming Liu, Charles Morisset, Volker Stolz
2010 Lecture Notes in Computer Science  
Abstract We present the roadmap of the design and progress of a theory supported tool for component-based model driven software development (CB-MDD).  ...  First the motivation for using CB-MDD, its needs for a theoretical foundation and tool support are discussed, followed by an overview of the development of the theory and a prototype tool.  ...  Ravn for his suggestions and comments.  ... 
doi:10.1007/978-3-642-11623-0_3 fatcat:7jbtx2s7b5hnfoey2xlocskc4m

The RCO/DN Approach to Planning of Urban Growth Boundaries

Vladimir A. Masch
2012 Journal of Urban Management  
ACKNOWLEDGEMENTS The author is extremely grateful to Shih-Kung Lai and Haoying Han for clarifying the methodology of Decision Network and its application in the planning of urban growth boundaries.  ...  CONCLUSIONS RCO/DN is a powerful long-range risk management tool capable of improving overall plans for the expansion of urban growth boundaries.  ...  In this manner, the RCO/DN model combines the time-driven and event-driven systems, while enhancing the latter by allowing deficiencies, should that be deemed beneficial to the overall plan.  ... 
doi:10.1016/s2226-5856(18)30057-8 fatcat:u3vzvbuhq5efjaaijidiiuiaka

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

Zhenbang Chen, Charles Morisset, Volker Stolz
2010 Lecture Notes in Computer Science  
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process.  ...  Components are specified in rCOS, a relational calculus for Refinement of Component and Object Systems.  ...  We have implemented the requirements modelling stage of a use case-driven model-based component development process following the rCOS methodology in the rCOS modeler.  ... 
doi:10.1007/978-3-642-11623-0_23 fatcat:aj4h2znifnhqrjav53tn3ves3e

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.  ...  This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (  ...  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

rCOS: A refinement calculus of object systems

He Jifeng, Xiaoshan Li, Zhiming Liu
2006 Theoretical Computer Science  
We take the approach of the development of the design calculus based on the standard predicate logic in Hoare and He's Unifying Theories of Programming (UTP).  ...  We also propose a calculus based on this model to support both structural and behavioral refinement of object-oriented designs.  ...  In this article, we present part of a model and a refinement calculus (named as rCOS) that we have been recently developing for component and object systems.  ... 
doi:10.1016/j.tcs.2006.07.034 fatcat:oehf73zbb5fipfuyvppjjbvsvm

Refinement and verification in component-based model-driven design

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
2009 Science of Computer Programming  
This gives evidence that the formal techniques developed in rCOS can be integrated into a model-driven development process and shows where it may be integrated in computer-aided software engineering (CASE  ...  This requires that the modelling notations are formally defined and related in order to have tool support developed for the integration of sophisticated checkers, generators and transformations.  ...  Acknowledgements We would like to thank the anonymous referees for their very constructive and detailed comments that helped us a lot to bring this paper into this form.  ... 
doi:10.1016/j.scico.2008.08.003 fatcat:tomow3xpbbcujkxlmqeuno3lom

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)  
Software development tools need to support more and more phases of the entire development process, because applications must be developed more correctly and efficiently.  ...  The tools therefore need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensure high quality of such add-ins is to base them on sound formal foundations.  ...  The stream calculus [14] and Reo [12] are also quite mature formal theories for component-based development.  ... 
doi:10.1109/isola.2006.49 dblp:conf/isola/LiuMRY06 fatcat:kx6nia7wx5gsxepufep5ytkawi

Design and Verification of a Trustable Medical System

Xijiao Xiong, Jing Liu, Zuohua Ding
2010 Electronical Notes in Theoretical Computer Science  
This implies that the formal techniques developed in rCOS can be integrated into a model-driven development process.  ...  In this paper, we construct and analyze a trustable medical system by Refinement Calculus of Object Systems (rCOS) in a model-driven development process.  ...  Acknowledgments We are grateful to the anonymous reviewers for their detailed comments and suggestions that improved the paper. This work is partially supported by National High  ... 
doi:10.1016/j.entcs.2010.08.050 fatcat:4axedhngcfbbpgl2gb2lp4ae5y

A Refinement Driven Component-Based Design

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
2007 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)  
We report here our experience on these issues in an application of a formal calculus, rCOS, to a component-based design of the point of sale system (POS).  ...  We demonstrate the possibility in scaling-up correctness by design and discuss how rCOS may be integrated with current and emerging software engineering tools.  ...  We report on our experience with rCOS in a model driven development of a point of sale system (POS) for a retail store.  ... 
doi:10.1109/iceccs.2007.12 dblp:conf/iceccs/ChenLSYR07 fatcat:llkelsxidjaqhdmtpdttulkw6y

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.  ...  Conclusion We have proposed a classical relational model (rCOS ) for component-based and objectoriented development.  ... 
doi:10.1016/j.entcs.2005.03.005 fatcat:itznqvo6pjefxbk7gpxitugfke

BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development

Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
2009 Electronical Notes in Theoretical Computer Science  
However, there still lacks unified theory foundation and tool supports for the rigorous modeling approach.  ...  To solve these problems, we implemented an integrated modeling and verification environment tMDA (Trustable MDA) based on the theory of UTP.  ...  Acknowledgement We are grateful to the reviewers for their careful reading and detailed comments that helped us to improve the paper. This  ... 
doi:10.1016/j.entcs.2009.07.006 fatcat:csaepww3hrb7vh7dnaor5famdy

A future airliner's reduced-crew: modelling pilot incapacitation and homicide-suicide with systems theory

Daniela Schmid, Neville A. Stanton
2019 Human-Intelligent Systems Integration  
We introduce a future operational design concept for RCO which includes a remotecopilot as ground support and automation tools monitoring pilot's health and entries into aircraft systems.  ...  The aim of this modelling study is to evaluate the potential effects of a single-pilot's incapacitation on a future design approach to RCO.  ...  Acknowledgements We would like to thank the anonymous commercial pilot for validating the results during two video conferences.  ... 
doi:10.1007/s42454-019-00001-y fatcat:n4ubbiouyvffhhhmamf4fttzd4

A Framework for Automated and Certified Refinement Steps [article]

Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2011 arXiv   pre-print
In a previous work, we have extended this mechanization for object-oriented programs, where the memory is represented as a graph, and we have integrated our approach within the rCOS tool, a model-driven  ...  software development tool providing a refinement language.  ...  rCOS The rCOS method consists of two parts: a component/object-oriented language with formal semantics, and a modeling tool, enforcing a use-case based methodology for software development, providing tool  ... 
arXiv:1112.0215v1 fatcat:4l6b5ril6bayre2te7iw5pzpda

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  
Modelling such complex dynamic systems' architectures has always been essential for the development and application of techniques/tools to support design and deployment of integration of new components  ...  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  ...  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

Formal Use of Design Patterns and Refactoring [chapter]

Long Quan, Qiu Zongyan, Zhiming Liu
2008 Communications in Computer and Information Science  
systems, known as rCOS.  ...  Design patterns has been used very effectively in object-oriented design for a long time. Refactoring is also widely used for producing better maintainable and reusable designs and programs.  ...  Also a UML profile is defined for rCOS [22, 5] in a component-based model driven development process.  ... 
doi:10.1007/978-3-540-88479-8_23 fatcat:xnx4v2qupvcc3kgovikgbzrg24
« Previous Showing results 1 — 15 out of 544 results