Filters








65 Hits in 5.8 sec

Towards a model-based development approach for wireless sensor-actuator network protocols

S. A. Ajith Kumar, Kent I. F. Simonsen
2014 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14  
The aim is to build protocols with shorter design to implementation time and efforts, along with higher confidence in the protocol designed.  ...  Also, with the use of network simulators and formal modeling tools, we obtain a verified and validated model to be used as a basis for code-generation.  ...  Create a CPN model of the protocol for which an implementation is to be obtained. 2. Annotate modeling elements with pragmatics to facilitate code generation.  ... 
doi:10.1145/2593458.2593465 dblp:conf/cyphy/KumarS14 fatcat:xcdemlmztncqxay5zhzovelyza

PetriCode: A Tool for Template-Based Code Generation from CPN Models [chapter]

Kent Inge Fagerland Simonsen
2014 Lecture Notes in Computer Science  
PetriCode takes a template-based approach to code generation from CPN models [6] annotated with pragmatics.  ...  The intended use of PetriCode is to generate software for network protocols based on annotated and descriptive protocol models [19] in a flexible way and for different target languages and platforms.  ... 
doi:10.1007/978-3-319-05032-4_12 fatcat:gzxlsv7xmraajbuu5axsjdkd2y

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification [chapter]

Kent Inge Fagerland Simonsen, Lars M. Kristensen, Ekkart Kindler
2016 Lecture Notes in Computer Science  
On the other hand, these restrictions make it possible to automatically generate code, the protocol software, from the CPNs modelling the protocol.  ...  generate the implementation of the protocols from the CPN models.  ... 
doi:10.1007/978-3-662-53401-4_1 fatcat:hlcohxry7fa4feqhv3374bdja4

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation [chapter]

Kent Inge Fagerland Simonsen, Lars Michael Kristensen
2014 Lecture Notes in Computer Science  
In earlier work, we have proposed a template-based approach using Coloured Petri Net formal models with pragmatic annotations for automated code generation of protocol software.  ...  Model-based software engineering offers several attractive benefits for the implementation of protocols, including automated code generation for different platforms from design-level models.  ...  The automatic code generation process, as implemented in the PetriCode tool, starts with a CPN model annotated with pragmatics.  ... 
doi:10.1007/978-3-662-43352-2_9 fatcat:bmial4bcsfb55iy2c32ueq5rzy

Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course

Søren Christensen, Kjeld Høyer Mortensen
1997 DAIMI Report Series  
</strong> Education issues related to nets; Coloured Petri Nets; distributed systems; experience with using nets,case studies; applications of nets to protocols.</p>  ...  From the two assignments the students experience that Coloured Petri Nets, as a formal method, are useful for designing and analysing distributed systems.  ...  This work has been supported by a grant from the Danish Research Council STVF.  ... 
doi:10.7146/dpb.v26i520.7049 fatcat:of6a27r2afbijes4bzyuhpjn3y

Requirements and Method for Assessment of Service Interoperability [chapter]

Stanislav Pokraev, Dick Quartel, Maarten W. A. Steen, Manfred Reichert
2006 Lecture Notes in Computer Science  
Freeband Communication (http://www.freeband.nl) is sponsored by the Dutch government under contract BSIK 03025.We would like to thank Henk Jonkers, Patrick Strating and Rogier Brussee from the Telematica  ...  To check if the composition from our example meets Requirement 3, we translate the model to the corresponding CPN using the presented mapping and construct the occurrence graph of that net.  ...  Nets that correspond to some elementary causality relations from our language are depicted in The presented mappings allow models expressed in our language to be translated into CPN and analyzed using  ... 
doi:10.1007/11948148_1 fatcat:drtotucrm5arxgnt7ud3gzy4sq

Translating unstructured workflow processes to readable BPEL: Theory and implementation

Wil M.P. van der Aalst, Kristian Bisgaard Lassen
2008 Information and Software Technology  
Therefore, we provide a mapping from Workflow Nets (WF-nets) to BPEL.  ...  Several vendors offer a graphical interface that generates BPEL code. However, the graphical representations are a direct reflection of the BPEL code and not easy to use by end-users.  ...  The use of CPN models (both the requirements CPN and the CWN) was supported by CPN Tools, i.e., the models have been simulated and end-users could interact with the model through the animation facilities  ... 
doi:10.1016/j.infsof.2006.11.004 fatcat:w6bkg2iygbgqnkgg3d44m2vtn4

Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998

Kurt Jensen
1998 DAIMI Report Series  
This booklet contains the proceedings of the 1998 Workshop on Practical Use of Coloured Petri Nets and Design/CPN.  ...  The papers are also available in electronic form via the CPN Web pages at University of Aarhus: http://www.daimi.au.dk/CPnets/  ...  Coloured Petri nets and the support of Design/CPN make up a very powerful modelling and analysis tools.  ... 
doi:10.7146/dpb.v27i532.7649 fatcat:6etzboywojbbjidwfpcyxh2br4

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

Kurt Jensen
2009 DAIMI Report Series  
The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009.  ...  Moreover, we extended the Oryx back-end with a module that generates CPNs from Oryx’s internal representation of process models.  ... 
doi:10.7146/dpb.v38i590.7187 fatcat:t5yh5d4v7jbjjj7wghs2ba6ida

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems [chapter]

Twan Basten, Martijn Hendriks, Lou Somers, Nikola Trčka
2012 Lecture Notes in Computer Science  
Acknowledgements This work has been carried out as part of the Octopus project with Océ-Technologies B.V. under the responsibility of the Embedded Systems Institute.  ...  The template is filled with the information from a concrete DSEIR model. The resulting CPN model can then be simulated by CPN Tools.  ...  Automatically generated CPN models turned out to yield simulation times similar to the handcrafted CPN models.  ... 
doi:10.1007/978-3-642-33365-1_1 fatcat:wnijtclosrhofndbznkg26zpxy

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems [chapter]

Twan Basten, Martijn Hendriks, Nikola Trčka, Lou Somers, Marc Geilen, Yang Yang, Georgeta Igna, Sebastian de Smet, Marc Voorhoeve, Wil van der Aalst, Henk Corporaal, Frits Vaandrager
2013 Embedded Systems  
Acknowledgements This work has been carried out as part of the Octopus project with Océ-Technologies B.V. under the responsibility of the Embedded Systems Institute.  ...  The template is filled with the information from a concrete DSEIR model. The resulting CPN model can then be simulated by CPN Tools.  ...  Automatically generated CPN models turned out to yield simulation times similar to the handcrafted CPN models.  ... 
doi:10.1007/978-1-4614-4821-1_7 fatcat:5kmf4e2t45c3vizwux2j2xcule

Process Integration [chapter]

Lachlan Aldred
2009 Modern Business Process Automation  
ESBs, however, generally forced modellers to choose a particular underlying middleware and to stick to it, despite their ability to connect with many forms of middleware.  ...  Furthermore ESBs encourage process integrations to be modelled on their own, logically separate from the process model.  ...  This thesis would not have been possible without the transformative ideas from my associate supervisors Dr. Wil van  ... 
doi:10.1007/978-3-642-03121-2_19 fatcat:4m7pco7va5awtpoia2fb7b3qau

The Doctoral Symposium at MODELS 2009 [chapter]

Juergen Dingel
2010 Lecture Notes in Computer Science  
Doctoral Symposium, MODELS'09. Oct. 5, 2009.  ...  The team has completed the beta version of the generic software infrastructure and the sepsis treatment protocol models resulting in the STEEP toolset.  ...  [5] ) where code is automatically generated from models.  ... 
doi:10.1007/978-3-642-12261-3_1 fatcat:5sjnbavhwje7lphkdlznmg5kpi

Feature Interaction in Composed Systems [chapter]

Elke Pulvermueller, Andreas Speck, James O. Coplien, Maja D'Hondt, Wolfgang De Meuter
2002 Lecture Notes in Computer Science  
This workshop intended to be the first co−ordinated effort to address the general problem of feature interaction in composed systems separately from other issues.  ...  Approaches such as object−oriented and component− based software development, as well as relatively new directions such as aspect−oriented programming, multi−dimensional separation of concerns and generative  ...  Fig. 4b shows an example of such a MSC automatically generated from a simulation of the CPN model.  ... 
doi:10.1007/3-540-47853-1_7 fatcat:zx3cavkfcbbj3j4fhdnn4itd3m

Applying Formal Methods to Networking: Theory, Techniques, and Applications

Junaid Qadir, Osman Hasan
2015 IEEE Communications Surveys and Tutorials  
from scratch.  ...  This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness.  ...  Petri Nets (including Colored Petri Nets or CPNs) are popular modeling tools for protocols. CPNs and the tool occ-CPN has been used by Xiong et al. [207] for analyzing the AODV routing protocol.  ... 
doi:10.1109/comst.2014.2345792 fatcat:oc6l6pn4tnddjbbr5v4gbbuycq
« Previous Showing results 1 — 15 out of 65 results