A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
rCOS: Theory and Tool for Component-Based Model Driven Development
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
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
2012
Journal of Urban 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.
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]
2010
Lecture Notes in Computer Science
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 2010; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
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 2010; you can also visit the original URL.
The file type is application/pdf.
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
2006
Theoretical Computer Science
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 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
2009
Science of Computer Programming
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.
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
2006
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
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 2010; you can also visit the original URL.
The file type is application/pdf.
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
2010
Electronical Notes in Theoretical Computer Science
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.
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
2007
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
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 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
2005
Electronical Notes in Theoretical Computer Science
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 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
2009
Electronical Notes in Theoretical Computer Science
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.
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
2019
Human-Intelligent Systems Integration
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.
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]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2016
Sensors
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.
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]
2008
Communications in Computer and Information Science
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 2010; you can also visit the original URL.
The file type is application/pdf.
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