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 Fleischer1,*, Lars M. Kristensen1,*
  • 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
Copyright © 2008–2024 ICST
EAI Logo

About EAI

Community

Publish with EAI