Projects SRC

Team : SRC

  • https://www.lip6.fr/pnml
    PNML Framework

    PNML Framework is a prototype implementation of ISO/IEC-15909 part 2, International Standard on Petri Net Markup Language. The primary purpose of PNML is to enable interoperability among Petri net tools. PNML framework has thus been designed to back the Standard. It will enable Petri nets tools developers to seamlessly integrate PNML support into their tools. It provides an extensive and comprehensible API to create, save, load and browse PNML models.

    Project leader : Fabrice KORDON
    04/01/2005
    More details here …
  • CPN-AMI

    CPN-AMI is a Petri Net based CASE environment. It offers a set of services to perform specification, validation, formal verification, model checking, compute structural properties (invariants, traps, syphons etc.) simulate and generate code. These services have been implemented either by members of our team or university partners (Technical university of Helsinki, University of Torino, Technical university of Munchen, Bell laboratories). The second geration of CPN-AMI, build on top of FrameKit, is available on the Internet since March 1997.


  • https://www.lip6.fr/framekit
    FrameKit

    is a software platform dedicated to the prototyping and quick implementation of CASE environments. FrameKit is valuable to quickly implement a CASE environment, either for evaluation purposes or as a final product, especially if graphical representations are involved. It is a small generic CASE environment that can be filled with specific information enabling to customize it in discrete ways.


    More details here …
  • GatoStar

    (French link) is a system platform built on an hybrid architecture (9 heterogeneous workstations, one of them bi-processor, interconnected through a high speed network) that supports our research related to the dynamic fault tolerant load balancing. This experimental platform offers migration, fault tolerant and reference management services that supports cooperatives applications in distributed environment.


  • https://www.lip6.fr/jac
    JAC

    is a framework for aspect-oriented programming in Java. An aspect program in JAC is a set of aspect objects that can be dynamically deployed and undeployed on top of running application objects. Aspect objects may define three kinds of aspect methods: wrapping methods (that wrap application methods and provide the ability to run code before and after the wrapped methods), role methods (that add new functionalities to application objects), and exception handlers. The aspects composition issue is handled through a well-defined wrapping controller that specifies for each wrapped object at wrap-time, runtime or both, the execution order of aspect objects.


    More details here …
  • MetaScribe

    is a generator of transformation engine that facilitates the automatic code generation. The transformation is handled from the source formalism, a semantic pattern that specifies the transformations to do on an input model to produce another one that belongs to the target formalism, and a syntactic pattern that defines the syntactic sugar to apply on the result of the semantic pattern. An experimental version of MetaScribe is available on demand.


Archives
Mentions légales
Site map