Filters








3,193 Hits in 5.2 sec

Formal Modeling and Analysis of the REST Architecture Using CSP [chapter]

Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Formal Modeling and Analysis of the REST Architecture Using CSP Motivation Representational State Transfer (REST) Architecture Rapidly development of the RESTful systems brings the misunderstanding and  ...  Formalization using CSP Modeling Mapping six REST constraints to the framework. Describing using First-Order Logic. Verifying using Process Analysis Toolkit (PAT).  ...  Modeling and Analysis of the REST Architecture Using CSP  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38230-7_6">doi:10.1007/978-3-642-38230-7_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3il2o3e665fhnbcfkr5rj5vquy">fatcat:3il2o3e665fhnbcfkr5rj5vquy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811095704/http://www.informatik.uni-rostock.de/ws-fm2012/slides/wsfm-rest.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9b/8e/9b8ee2162f2ffcdfb62acd08f51e90515cb6432e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38230-7_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Failure modelling in software architecture design for safety

Weihang Wu, Tim Kelly
<span title="2005-07-01">2005</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
This method is based upon the use of CSP as the failure modelling language and its associated tools as failure analysis. Preliminary findings from the application of this approach are also presented.  ...  This paper presents a compositional method for failure analysis of a system based on the proposed software architecture.  ...  ACKNOWLEDGMENTS The authors would like to thank Airbus UK for supporting this research, and others working in the same area in the HISE group.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082983.1083222">doi:10.1145/1082983.1083222</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r6jemkttn5dp5n7k7ecucjxcte">fatcat:r6jemkttn5dp5n7k7ecucjxcte</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120712150948/http://www-users.cs.york.ac.uk/~tpk/wads05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/2f/0a2fb822a9a9269abb8bbfd1a84da64d17d5149d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082983.1083222"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formalization and Verification of REST on HTTP Using CSP

Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In this paper, we focus on the most important constraints of REST, stateless property and hypertext-driven property. First we establish a formal model for REST on HTTP in CSP.  ...  In the model, components in RESTful systems communicate with each other using standard HTTP methods and are modeled as CSP processes.  ...  The formal descriptions of the principles mentioned above can be found in the Modeling We use CSP to model the REST architecture on HTTP in this section.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2014.12.007">doi:10.1016/j.entcs.2014.12.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2f7pxh6jgjhkzamnfdm6sqx4i4">fatcat:2f7pxh6jgjhkzamnfdm6sqx4i4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926014053/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/348/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjExNDAwMDkxNw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/67/da6764346f66d44cb46151df5e2833c69662f5d6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2014.12.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Combining The Description Features Of Umlrt And Csp+T Specifications Applied To A Complete Design Of Real-Time Systems

Kawtar Benghazi Akhlaki, Manuel I. Capel-Tuñón
<span title="2007-07-20">2007</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Therefore, we combine two methods, a semiformal one, UML-RT, which allows the visual modeling of a realtime system and a formal one, CSP+T, which is a design language including the specification of real-time  ...  The Real-time UML profile (UML-RT), developed and standardized by OMG, defines a unified framework to express the time, scheduling and performance aspects of a system.  ...  ACKNOWLEDGMENT The authors thank Anna Grimán Padua (Departmento de Procesos y Sistemas, Universidad Simón Bolívar, Caracas, Venezuela) for her help with the first draft of this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1056022">doi:10.5281/zenodo.1056022</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s4nabq56kvhpjfj7xseeyeb2kq">fatcat:s4nabq56kvhpjfj7xseeyeb2kq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201226003336/https://zenodo.org/record/1056022/files/1876.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/36/bf36b21944239201b9633a40122c2c9359aa7fb2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1056022"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

K. Benghazi Akhlaki, M.I. Capel Tuñón, J.A. Holgado Terriza, L.E. Mendoza Morales
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
By following a methodological approach, introduced in a previous work, a correct system specification in terms of CSP+T process algebra is systematically obtained from the UML-RT model of a real-time software  ...  dependability analysis at the design phase of the system development life cycle for hard real-time systems.  ...  Acknowledgement This work is funded by the research project MAT2004-06872-C03-03 of the Spanish Ministry of Science.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2006.08.005">doi:10.1016/j.scico.2006.08.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hsd7vr7sivhi5muygrpufkx2ny">fatcat:hsd7vr7sivhi5muygrpufkx2ny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927154422/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/559/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDE2NzY0MjMwNjAwMTgxeA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/24/9f24c80aa18fc8147e7307922b3d6b5b9379c0f3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2006.08.005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Relaxing B Sharing Restrictions within CSP||B [chapter]

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We show that the inconsistencies in state sharing can be identified by translating the CSP controllers into B specifications and then using a more refined consistency checking process.  ...  We also hint at possible extensions towards other CSP B architectural patterns with various types of sub-components sharing.  ...  B Machines B is a formal software development method used to model and reason about systems [5] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30564-1_3">doi:10.1007/978-3-642-30564-1_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6svlacn46jha7cn4qdbzmoxfs4">fatcat:6svlacn46jha7cn4qdbzmoxfs4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924203153/https://hal.archives-ouvertes.fr/hal-00699997/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/ed/a0edd86bb19124a63193184abb84f2cd48214f81.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30564-1_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On Architecting Software Fault Tolerance using Abstractions

Rogério de Lemos
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Since structural and behavioural properties associated with these abstractions are formally specified, the process of verifying and validating software architectures can be automated.  ...  Depending on the fault model and the resources available, different abstractions can be employed for representing architectural issues related to fault tolerance.  ...  Acknowledgement The author would like to thank Patrick H. S. Brito, Cecília Mary F. Rubira, Eliane Martins, and Regina Moraes for their contributions to the work reported in this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.03.012">doi:10.1016/j.entcs.2009.03.012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yuz6di4zzzfsrbp64yj7lcejb4">fatcat:yuz6di4zzzfsrbp64yj7lcejb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171005194436/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/f9f/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwOTAwMDkxNw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/36/49/3649bbb4e3c9d5b5535dfa7f50a5debde1b9fa7d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.03.012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A CSP View on UML-RT Structure Diagrams [chapter]

Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z.  ...  Thus the usual architecture specification in terms of the CSP operators parallel composition, renaming and hiding is replaced by a graphical description.  ...  This allows us to use graphical architecture descriptions in CSP-OZ without losing its formal semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45314-8_8">doi:10.1007/3-540-45314-8_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cln2ie35ofbh7ldqukt3u4dzm4">fatcat:cln2ie35ofbh7ldqukt3u4dzm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502212715/https://link.springer.com/content/pdf/10.1007%2F3-540-45314-8_8.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b0/6d/b06d440658bef5275f9a0f20ee4535f25d71447d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45314-8_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Formal Model for Component-Based Embedded Software Development

Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gkdds5vmbvfhdj6hneeduu2n3a" style="color: black;">2009 International Conference on Embedded Software and Systems</a> </i> &nbsp;
This paper presents a formal model for specification, verification, and composition of componentbased embedded software.  ...  The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.  ...  ; giving a formal architecture style of product family for the reusability of system architecture; and developing tools to support the establishment of the model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icess.2009.51">doi:10.1109/icess.2009.51</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icess/LiZDY09.html">dblp:conf/icess/LiZDY09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dyiyiactvjburmme4wnpbmfkzu">fatcat:dyiyiactvjburmme4wnpbmfkzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812042611/http://es.sdu.edu.cn/project/doc/papers/icess09-papers/01-3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/61/75/6175e34f0f6bcf74971b8f96b6dcadafade10468.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icess.2009.51"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Checking SysML Models for Co-simulation [chapter]

Nuno Amálio, Richard Payne, Ana Cavalcanti, Jim Woodcock
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
, and the CSP process algebra and its FDR3 model-checker.  ...  The paper's contributions lie in: a SysML profile for architectural modelling supporting multi-modelling and co-simulation; our approach to check the adequacy of a SysML model for co-simulation using theorem  ...  Thanks are due to Etienne Brosse, who implemented the INTO-SysML profile in the Modelio tool, and Bernhard Thiele, who provided useful feeedback on the work presented here.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47846-3_28">doi:10.1007/978-3-319-47846-3_28</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mn2zw4xvu5aabgdj6iscnhmnfm">fatcat:mn2zw4xvu5aabgdj6iscnhmnfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218213422/http://pdfs.semanticscholar.org/1122/81f7a209704dbf919dd44f09a09963d6a434.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/22/112281f7a209704dbf919dd44f09a09963d6a434.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47846-3_28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verifying Critical Cyber-Physical Systems After Deployment

Colin O'Halloran
<span title="2015-11-24">2015</span> <i title="European Association of Software Science and Technology"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ds6dyxrqzrddpmxtwf2p5ljfn4" style="color: black;">Electronic Communications of the EASST</a> </i> &nbsp;
The heterogeneous, evolving and distributed nature of CPS means that there is little chance of performing a top down development or anticipating all critical requirements such devices will need to satisfy  ...  Cyber-Physical Systems (CPS) are increasingly novel hardware and software compositions creating smart, autonomously acting devices, enabling efficient end-to-end workflows and new forms of user-machine  ...  Acknowledgements I am hugely indebted to Neil Brock from Draper Labs for discussions about this problem area and for providing me with the C code and architectural composition used in this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.72.1027">doi:10.14279/tuj.eceasst.72.1027</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/eceasst/OHalloran15.html">dblp:journals/eceasst/OHalloran15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/seqrunodxvdebcf3o63il2i5ri">fatcat:seqrunodxvdebcf3o63il2i5ri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200216130556/https://journal.ub.tu-berlin.de/eceasst/article/download/1027/1015" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/68/70/6870d473e6aa5e572ccef9dc9ae4575ffd48ddd5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.72.1027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT

Tieming Chen, Zhenbo Yu, Shijian Li, Bo Chen
<span title="">2016</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zlknqk4ahbcsthbafxw55emm7a" style="color: black;">Journal of Sensors</a> </i> &nbsp;
Model checking has successfully been applied on verification of security protocols, but the modeling process is always tedious and proficient knowledge of formal method is also needed although the final  ...  At the same time, due to the appearance of novel kind of networks, such as wireless sensor networks (WSN) and wireless body area networks (WBAN), formal modeling and verification for these domain-specific  ...  Acknowledgment This work is supported by National Science Foundation of China with Grant no. 61103044.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/8797568">doi:10.1155/2016/8797568</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fuejnrv2drdv7pzu4vgolkin7q">fatcat:fuejnrv2drdv7pzu4vgolkin7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190504092910/http://downloads.hindawi.com/journals/js/2016/8797568.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/13/41/1341c72af93c6d13d96b4fa608f0510ece9506bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/8797568"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Specifying and analyzing dynamic software architectures [chapter]

Robert Allen, Rémi Douence, David Garlan
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A critical issue for complex component-based systems design is the modeling and analysis of architecture.  ...  As we will show, this permits us to view the architecture in terms of a set of possible architectural snapshots, each with its own steady-state behavior.  ...  The formal semantics based on CSP allows us to adapt or extend the consistency and completeness analysis provided by (static) Wright. First, we formally present these checks in our dynamic context.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0053581">doi:10.1007/bfb0053581</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/73vxclfecraejbfreeqaox6ndy">fatcat:73vxclfecraejbfreeqaox6ndy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170917041258/https://link.springer.com/content/pdf/10.1007%2FBFb0053581.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/52/28/5228a83bde1e87f65a266c3b9ee428967b1ebfcd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0053581"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards a Software Engineering Approach to Multi-Scale Modeling and Simulation

M. Maouche, M. Bettaz
<span title="2016-11-30">2016</span> <i title="Science and Engineering Research Support Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kx4szfp7xvfn7laozkx3mc4iqe" style="color: black;">International Journal of Software Engineering and Its Applications</a> </i> &nbsp;
Our objective in this work is to set a software development methodology, integrating model driven engineering and formal development, and targeting the development of distributed simulation systems in  ...  Section 5 details how our software development methodology is applied in the context of MUSCLE, and also how some MUSCLE core concepts are modelled using MARTE profile.  ...  Acknowledgments This work was fully supported by a grant from the Research Deanship -Philadelphia University-Jordan International Journal of Software Engineering and Its Applications Vol. 10, No. 11 (2016  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijseia.2016.10.11.18">doi:10.14257/ijseia.2016.10.11.18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2swrw2otnrdyrikvt6j4adq3ze">fatcat:2swrw2otnrdyrikvt6j4adq3ze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602173527/http://www.sersc.org/journals/IJSEIA/vol10_no11_2016/18.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/46/56/4656c8d7f04f049fcc0c99cbb42ff408f4e68acd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijseia.2016.10.11.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A formal basis for architectural connection

Robert Allen, David Garlan
<span title="1997-07-01">1997</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7dwkv5m7lfbbpi6he2w2suk6b4" style="color: black;">ACM Transactions on Software Engineering and Methodology</a> </i> &nbsp;
We illustrate how this scheme can be used to de ne a variety of common architectural connectors.  ...  In this paper we present a formal approach to one aspect of architectural design: the interactions between components. The key idea is to de ne architectural connectors as explicit semantic entities.  ...  Acknowledgements We w ould like to thank Gregory Abowd, Stephen Brookes, Tony Hoare, Daniel Jackson, Eliot Moss, John Ockerbloom, Mary Shaw, and Jeannette Wing for their comments on earlier versions of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/258077.258078">doi:10.1145/258077.258078</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/raqw6q5ehvfihgoh3jhe77k3ea">fatcat:raqw6q5ehvfihgoh3jhe77k3ea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922123044/http://www.cs.cmu.edu/afs/cs/project/compose/ftp/pdf/wright-tosem97.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/26/a0260776da54418a5035ddc92a81e3e50e26a055.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/258077.258078"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 3,193 results