|Consortium Activities Projects Forge Events|
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.
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