Nuclear factor-kB (NF-kB) is a transcription factor that has crucial roles in inflammation, immunity, cell proliferation and apoptosis. Activation of NF-kB mainly occurs via IkB kinase (IKK)-mediated phosphorylation of inhibitory molecules, including IkBa. Optimal induction of NF-kB target genes also requires phosphorylation of NF-kB proteins, such as p65, within their transactivation domain by...

The paper presents a technique that defines creation of ESTELLE/Ag specifications using knowledge bases (KB). Application KB is created using the knowledge acquisition technique joined with a piece-linear aggregate model. The production rules of the application KB are transformed to decision tables, and the static properties of the KB are checked in PROLOGA system. Further, the application KB i...