Modelling the configuration/management API middleware using coloured petri nets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Modelling the configuration/management API middleware using coloured petri nets

Full text

Pdf (555 KB)

Source

International Conference on Simulation Tools and Techniques for Commuications, Networks and Systems & Workshops archive
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops table of contents

Marseille, France

SESSION: Technical program table of contents

Article No. 16

Year of Publication: 2008

ISBN:978-963-9799-20-2

Authors

Paul Fleischer	University of Aarhus
Lars M. Kristensen	University of Aarhus

Sponsors

: ICST
: INRIA

Publisher

ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, Belgium, Belgium

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

The Configuration/Management Application Programming Interface (CMAPI) is a vendor-specific API and middlewarelayer for configuration and management of components in embedded systems. CMAPI is used by TietoEnator Denmark in the implementation of a controller for the Generic Access Network (GAN) architecture. This paper presents a hierarchical Coloured Petri Net model of CMAPI that was developed in the process of applying Coloured Petri Nets and CPN Tools for the specification of the GAN controller.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	3GPP. Digital cellular telecommunications system (Phase 2+); Generic access to the A/Gb interface; Stage 2. 3GPP TS 43.318 version 6.9.0 Release 6, March 2007.
	2	3GPP. Website of 3GPP. http://www.3gpp.org, May 2007.
	3	P. Fleischer and L. M. Kristensen. Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume 584 of DAIMI PB, pages 9--28, October 2007.
	4	Kurt Jensen , Lars Michael Kristensen , Lisa Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer (STTT), v.9 n.3, p.213-254, May 2007 [doi>10.1007/s10009-007-0038-x]
	5	J. B. Jørgensen. Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare. In K. Jensen, editor, Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume 560 of DAIMI PB, pages 61--80, August 2002.
	6	C. E. Kaufman. Internet Key Exchange (IKEv2) Protocol. RFC4306, December 2005.
	7	S. Kent and K. Seo. Security Architecture for the Internet Protocol. RFC4301, December 2005.
	8	Abhishek Singh , Jonathan Billington, Creating an internet inter-ORB protocol service specification, Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems, p.57-66, June 01, 2002, Adelaide, Australia
	9	Abhishek Singh , Jonathan Billington, A formal service specification for IIOP based on ISO/IEC 14752, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, p.111-125, March 20-22, 2002
	10	TietoEnator. Website of TietoEnator Denmark. http://www.tietoenator.dk, 2007.
	11	University of Aarhus. CPNTools. http://www.daimi.au.dk/CPNTools, 2007.