LogicGem有兩方面的用戶群體，軟件開發(fā)人員(程序員)和業(yè)務(wù)分析人員(非程序員)。這兩個不同群體之間的共同點在于他們都需要設(shè)計邏輯上完整的業(yè)務(wù)規(guī)則。對程序員來說，業(yè)務(wù)規(guī)則是就是用編程語言將軟件應(yīng)用程序的功能需求轉(zhuǎn)換成為應(yīng)用程序的一部分。業(yè)務(wù)分析師或領(lǐng)域?qū)＜遥瑹o需將邏輯轉(zhuǎn)換成程序語言，但同樣有這方面的需要。 業(yè)務(wù)分析師需要開發(fā)代表現(xiàn)實生活并提出業(yè)務(wù)流程，這些流程需要軟件一樣的邏輯健壯。我們可以把這樣的程序員和業(yè)務(wù)工程師稱為“邏輯工程師”。

在軟件開發(fā)中大部分的努力不只是為了編寫代碼，更需要覆蓋所有可能的組合情況下的過程——用戶輸入、數(shù)據(jù)庫事務(wù)或者程序中可能遭遇的其它事情。當程序員或分析師忽略可能的用戶輸入或事件，程序或計劃就可能向意想不到的方向發(fā)展。更糟糕的是在程序維護時產(chǎn)生的錯誤，通常是由于程序員沒有完全考慮到許多種不同的可能性之間的交互。事實上，,邏輯分析是繁瑣和極易出錯的：很容易忽略，重復(fù)或條件矛盾。

LogicGem是一種使用決策表理論解決這些問題，被稱為“邏輯處理器”的軟件工具。LogicGem由邏輯編輯器和邏輯編譯器組成。使用邏輯編輯器。你可以創(chuàng)建邏輯表——封裝一組邏輯規(guī)則的電子表格結(jié)構(gòu)。表格的一部分包含的是能夠被鏈結(jié)的創(chuàng)建規(guī)則的條件，另外一部分包含的是與規(guī)則相關(guān)的行為。一旦你定義了規(guī)則，編輯器會自動分析它們，添加缺失的規(guī)則并刪除那些多余的或矛盾的東西。決策表技術(shù)是可以構(gòu)建邏輯完整的業(yè)務(wù)規(guī)則的工具。當你完成的時候，編譯器可以生成Basic, C, C++, Fortran, FoxPro, Java, Pascal, PowerBuilder, SAS, Visual Basic, Visual Basic.NET, Visual C#.NET, 或 Xbase的源代碼。編譯器將生成一組英語、西班牙語、法語或德語的，可以作為文檔或知識庫的規(guī)則。

LogicGem has a two-fold audience, software developers (programmers) and business analysts (non-programmers). The common thread between these two diverse groups is that they both need to design logically complete business rules. For the programmer, the business rules are in fact functional requirements for a software application that are translated into a programming language that becomes part of the application. For the business analyst or domain expert, the same need exists with the exception of translating the logic to a programming language. Business analysts need to develop concise business rules that represent real life or proposed business processes and these processes need to be every bit as logically robust as a software implementation. Collectively, we can refer to both groups of programmers and business analysts as a "logic engineer".

Much of the effort in software development does not involve writing code, but rather the process of covering every possible combination of circumstances — user input, database transaction, or any other event — that the program will encounter. When the programmer or analyst overlooks a possible combination of inputs or events, the program may do things essentially at random. Even worse are errors made during program maintenance, usually by programmers who do not fully understand the interaction between dozens of different possibilities. As it is, logical analysis is tedious and error prone: it's easy to omit, duplicate, or contradict conditions.

LogicGem is a software tool called a "logic processor" that addresses these issues using decision table theory. LogicGem consists of a logic editor, and logic compiler. With the logic editor, you can create logic tables — spreadsheet-like constructions that encapsulate a set of logical rules. One part of a table contains conditions that can be linked to create a rule, and the other part contains actions that are related to the rules. Once you've defined the rules, the editor will automatically analyze them, add missing rules, and remove those that are redundant or contradictory. Decision table technology is the vehicle by which logically complete business rules may be constructed. When you're done, the logic compiler is available to generate source code in Basic, C, C++, Fortran, FoxPro, Java, Pascal, PowerBuilder, SAS, Visual Basic, Visual Basic.NET, Visual C#.NET, or Xbase. The compiler will produce a set of English, Spanish, French or German rules that can be used as documentation or as a knowledge base.

The LogicGem logic processor software tool is designed to provide a familiar, easy-to-use way to create, edit, verify and compile decision table logic. LogicGem's logic tables express a problem visually, making it easy to understand. LogicGem provides the means to prototype and expand a high-level procedural concept into a decision table, work it through analysis and design phases, and then generate English language documentation and programming source code in various programming languages. LogicGem provides tools to ensure that a table's logic is complete, unambiguous and contains every applicable rule in an expanded or reduced format.