JAbstractor-X

JAbstractor-X is a tool for extraction of Threaded Behavior Protocols (TBP) from a component implementation. The tool is based on the XMLJT framework.

The component implementation is expected to be annotated by information about provided and required interfaces as shown in the SessionManager demo.

Download

Related publications:

Poch, T., Plasil, F.: Extracting Behavior Specification of Components in Legacy Applications,
In Proceedings of the 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582, ISBN 978-3-642-02413-9, pp. 87-103, Jun 2009

Kofron, J., Poch, T., Sery, O.: TBP: Code-Oriented Component Behavior Specification,
In Proceedings of SEW-32, IEEE, ISBN 978-0-7695-3617-0, pp. 75-83, Greece, Jan 2009