I mentioned Blawx in a prior blog post. While Blawx was designed to work with legal information, it also works with accounting information. Here is the Accounting Equation and SFAC 6 Elements of Financial Statements representations using Blawx:
Accounting Equation: (properly functioning)
Accounting Equation: (intensional error)
SFAC 6 Elements of Financial Statements: (note that I could not represent two of the mathematical rules)
For some bonus points, here is a prototype of SBRM represented using Blawx (work in progress):
Lots of potential here! Thank you to Jason Morris for helping me get the accounting equation and SFAC 6 examples created.