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.
Filters
Modelling, verification, and formal analysis of security properties in a P2P system
2010
2010 International Symposium on Collaborative Technologies and Systems
Preserved Fulltext
We formally modelled the salient behavior of the actual system using ABCD, a high level specification language with a coloured Petri net semantics, which allowed the execution states of the system to be ...
Furthermore, since the implementation is also a formal model, we have been able to show that any execution of the model satisfies certain desirable security properties once these flaws are repaired. ...
If successful, we will have a system that was designed, model checked, simulated, and formally analyzed around the exact same specification, strengthening the ties between many aspects of the software ...
doi:10.1109/cts.2010.5478474
dblp:conf/cts/SanjabiP10
fatcat:ltzy3jeh6ndgvpw67g5na2e4wq
Collaborative models for autonomous systems controller synthesis
2020
Formal Aspects of Computing
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.
Collaborative models for autonomous systems controller synthesis 5. provide experimental results demonstrating the effectiveness of the controllers; 6. present an approach to extend the work to larger ...
Model checking of a continuous-time system is challenging, as the state-space of a continuous system is infinite in size. ...
To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. ...
doi:10.1007/s00165-020-00508-1
fatcat:6ey7aif3uze7fn36rnveuuzjry
Model and Formalism Driven Development of Collaborative Applications
2007
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
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 2022; you can also visit the original URL.
The file type is application/pdf.
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to express collaborative situations ...
CONCLUSION In this paper, we outlined a new formalism called ORCHESTRA, which objective is to provide a graphical expression of Cooperative Behavior Model. ...
This provides a minimal system that handles synchronous collaboration, as well as persistence of collaboration states between sessions. ...
dblp:conf/models/DavidC07
fatcat:d6bwvieerredtboajipyaanclq
Formally-based Model-Driven Development of Collaborative Robotic Applications
2021
Journal of Intelligent and Robotic Systems
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 2021; you can also visit the original URL.
The file type is application/pdf.
AbstractThe development of Human Robot Collaborative (HRC) systems faces many challenges. First, HRC systems should be adaptable and re-configurable to support fast production changes. ...
This toolchain relies on (i) UML profiles for quick model design, (ii) formal verification for exhaustive search for unsafe situations (caused by intended or unintended human behavior) within the model ...
formal model. ...
doi:10.1007/s10846-021-01386-2
fatcat:oh6p33owhncffnvomtkancen7q
A Formal Proximity Model for RBAC Systems
2012
Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing
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.
In addition to proposing the model, we present a number of theoretical results for such systems, including a complexity analysis, templates for cryptographic protocols, and proofs of security features. ...
In this work, we present a more rigorous definition of proximity based on formal topological relations. ...
Formal Proximity Model Our formal definition of proximity is derived from constructing an abstract space model S from the reference space models or realms (e.g., the physical world, social networks, communication ...
doi:10.4108/icst.collaboratecom.2012.250453
dblp:conf/colcom/0002KB12
fatcat:hc3dbevbg5cjbaizmv47x2guem
An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration inThinkteam®
[chapter]
2012
Formal Methods for Industrial Critical Systems
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 develop and study rather limited, abstract formal models that are intended to address specific issues, and use these models to verify properties that provide insight in the dependencies of various aspects ...
of the models and their effect on system performance from an easy to understand user perspective. ...
ACKNOWLEDGMENTS The work described in this chapter was partially funded by the Italian projects TOCAI (MIUR/FIRB) and XXL (CNR/RSTL). thinkteam, think3, and think-PLM are registered trademarks of think3 ...
doi:10.1002/9781118459898.ch9
fatcat:4ryk4mhwbzfd3pmjjnydslxo74
SERSCIS-Ont Evaluation of a Formal Metric Model using Airport Collaborative Decision Making
2011
International Journal on Advances in Intelligent Systems
unpublished
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.
In this paper we detail the specification for a post-von Neumann model of metrics where program performance and resource consumption can be quantified and encoding of the behaviour of processes that use ...
The approach is evaluated using a case study based on an airport-based collaborative decision-making scenario. ...
Scenario Description The scenario used to validate the metric model is based on Airport Collaborative Decision Making (A-CDM). ...
fatcat:s4p2wwgdxvc43afn3gl442aqau
MODELLING AND EVALUATION OF A MULTI-AGENT SYSTEM FOR A COLLABORATION
2005
IFAC Proceedings Volumes
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 present a model of the MAS (Multi-Agent System) devoted to collaborative teleoperation architectures. ...
This formalism is combined astutely with the Ferber model to provide new collaborative features of the agent. ...
{ } ) (Re ) 1 ( 1 ∏ = = = N i i sults N i PROD (8)
FORMAL MODELLING OF COLLABORATOR AGENT In this section we present a formal model for the collaborator agent. ...
doi:10.3182/20050703-6-cz-1902.01363
fatcat:crvdt723o5evhpx5kohlrlmw2u
Collaborative Systems of Systems Need Collaborative Design
[chapter]
2014
IFIP Advances in Information and Communication 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 2018; you can also visit the original URL.
The file type is application/pdf.
The work reported here has been supported by the EU FP7 projects COMPASS (Grant 287829) and DESTECS (Grant 248134), and by the EPSRC Platform Grant on Trustworthy Ambient Systems (EP/J008133/1). ...
Co-modelling of Cyber-Physical Systems Our work on collaborative development of SoS models has focussed on the computing systems. However, CPSs demand semantically heterogeneous models. ...
Collaborative SoS Engineering: the COMPASS approach In previous work, we proposed formal model-based methods for describing SoSs in terms of the interfaces offered by the constituent systems, with each ...
doi:10.1007/978-3-662-44745-1_2
fatcat:j3vpt4zvwrcvvieyvrxnkjudqa
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
2010
Journal of Object 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 2010; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose an approach for transforming UML statechart and collaboration diagrams to Colored Petri net models. ...
This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal notation (Colored Petri net models) for analysis purposes. ...
Using our approach, the modellers specify the dynamics of a system by means of a set of statechart diagrams and collaboration diagram. ...
doi:10.5381/jot.2010.9.4.a2
fatcat:wh7btojl5zgltorj6y5op5gu6i
Up and Down the Number-Line: Modelling Collaboration in Contrasting School and Home Environments
[chapter]
2005
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 2006; you can also visit the original URL.
The file type is application/pdf.
This paper is concerned with user modelling issues such as adaptive educational environments, adaptive information retrieval, and support for collaboration. ...
The HomeWork project is examining the use of learner modelling strategies within both school and home environments for young children aged 5 -7 years. ...
This will enable us to examine the use of the system within a less formal home environment. ...
doi:10.1007/11527886_55
fatcat:7op4ougnf5avvpees5agc4kthe
Strengthening Collaboration, Integration and Modelling in System of Systems Engineering
[chapter]
2014
Strengthening Collaboration, Integration and Modelling in System of Systems 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 2019; you can also visit the original URL.
The file type is application/pdf.
The dissertation has three focus areas: managing integration challenges, enhancing the capabilities of System of Systems modelling and enabling collaborative development in formal modelling. ...
formal modelling techniques in System of Systems Engineering. ...
Challenges in Collaborative Formal Modelling of System of Systems. Draft paper to be submitted to the International Journal of System of Systems Engineering, 2014. ...
doi:10.13052/rp-99788793237155
fatcat:ez2a3gl22jazrccy5ee37lyfyy
Formal Verification-based Risk Assessment for Industrial Human-Robot Collaboration
2019
Zenodo
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 2021; you can also visit the original URL.
The file type is application/pdf.
; (iii) formulae modeling human error phenotypes [6]; (iv) a formal replication of the ISO/TR 14121-2 risk estimation procedure; (v) formulae describing risk reduction measures (RRM) for collaborative ...
, robot and the layout, the most important entities of collaborative systems, and the executing job; (ii) formulae modeling the significant hazardous situations as described in ISO 10218-2 and ISO/TS 15066 ...
; (iii) formulae modeling human error phenotypes [6] ; (iv) a formal replication of the ISO/TR 14121-2 risk estimation procedure; (v) formulae describing risk reduction measures (RRM) for collaborative ...
doi:10.5281/zenodo.4794414
fatcat:wrqc2dh5lvferbydubiiqwijzy
CSCW for Preparing Formal Software Specifications: Issues and Implementation
2008
Journal of 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.
A web-based prototype application system based on this model has been developed. ...
To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues. ...
This model uses the internet as infrastructure for group of individuals to communicate and collaborate to produce a software formal specification document. ...
doi:10.3844/jcssp.2008.333.340
fatcat:pwm6twfzxrai3jvj4shze7y7su
Towards an Integrated Graph Based Semantics for UML
2003
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.
For UML models consisting of a class diagram and particular state diagrams, a graph transformation system can be defined. ...
Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. ...
UML collaboration diagrams. These derivations are the formal counterpart of the diagrams and can help to confirm or to decrease the modeler's belief in the model. ...
doi:10.1016/s1571-0661(04)80619-4
fatcat:2gpqujr5yzawhlwq2dojfee76i
« Previous
Showing results 1 — 15 out of 648,327 results