ObjectWeb Consortium

Advanced Search - Powered by Google

  Consortium     Activities     Projects     Forge     Events 


Project Links
· Home
· Documentation
· Download
· License
· What's New

Developers' Corner
· Workplan
· OW2 GitLab Fractal

· Team
· Users
· Partners
· Mailing List Archive

Fractal BPC

Fractal Behavior Protocol Checker (Fractal BPC) is the behavior protocols platform for Fractal components. This platform is a port of behavior protocols from SOFA to Fractal.

Fractal BPC is made of two behavior protocol checkers (static and runtime) that allow programmers to define and associate behavior protocols (basically valid sequences of operation invocations) to components interfaces and then to check the validity of these protocols (static cheking including Java code cheking with JavaPathFinder to detect problems such as deadlocks) and the compliance with these protocols at runtime. The code also include associated Fractal ADL and Julia extensions.


  • The Fractal BPC documentation explains how to use this tool.
  • The Demo description contains a description of a demo application (a system providing wifi access to the internet at an airport), on which the project results have been validated.

Mailing list

Questions, comments, ideas, etc. related to Fractal BPC can be posted on the Fractal mailing list.

Copyright © 1999-2009, OW2 Consortium | contact | webmaster | Last modified at 2012-12-03 09:57 PM