Modelling the configuration/management API middleware using coloured petri nets

Paul Fleischer; Lars M. Kristensen

1st International ICST Workshop on Petri Nets Tools and Applications

Research Article

Modelling the configuration/management API middleware using coloured petri nets

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/ICST.SIMUTOOLS2008.3043,
    author={Paul Fleischer and Lars M. Kristensen},
    title={Modelling the configuration/management API middleware using coloured petri nets},
    proceedings={1st International ICST Workshop on Petri Nets Tools and Applications},
    publisher={ACM},
    proceedings_a={PNTAP},
    year={2010},
    month={5},
    keywords={Coloured Petri Nets CPN Tools modelling software speci- fication middleware.},
    doi={10.4108/ICST.SIMUTOOLS2008.3043}
}

Paul Fleischer
Lars M. Kristensen
Year: 2010
Modelling the configuration/management API middleware using coloured petri nets
PNTAP
ICST
DOI: 10.4108/ICST.SIMUTOOLS2008.3043

Paul Fleischer¹^,*, Lars M. Kristensen¹^,*

1: Department of Computer Science, University of Aarhus.

*Contact email: pf@daimi.au.dk, kris@daimi.au.dk

Abstract

The Configuration/Management Application Programming Interface (CMAPI) is a vendor-specific API and middleware- layer for configuration and management of components in embedded systems. CMAPI is used by TietoEnator Den- mark 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.

Keywords: Coloured Petri Nets CPN Tools modelling software speci- fication middleware.

Published: 2010-05-16
Publisher: ACM
Modified: 2010-05-16

: http://dx.doi.org/10.4108/ICST.SIMUTOOLS2008.3043