2005 · 116 citations · 5 references
ComputingComputer ScienceFormal MethodsSemanticsSyntaxPetri NetsSoftware ModelingActivitiesActivity DiagramsActivity ModelingPetri Net SemanticsSemantic PrecisionUml Activity DiagramsUnified Modeling LanguageUnified Modeling Language Activity Diagrams
The acinar activity pattern of phosphoenolpyruvate carboxykinase (PEPCK) was investigated in livers of streptozotocin diabetic male and female rats and in addition in livers of diabetic males, which had undergone estrogen treatment. In all diabetic animals blood glucose levels were supranormal and liver PEPCK activity was increased. This increase in activity was greatest in estrogen treated diabetic males and lowest in diabetic females. Plasma insulin levels were reduced after the application of streptozotocin to otherwise normal male and female rats. Yet, in males treated in addition with estrogens the plasma insulin levels reached the normal range again. The PEPCK activity showed a heterotopic distribution along the acinus. The periportal to perivenous gradient was steeper in males compared to females in the untreated as well as in the diabetic state. The application of estrogens to males resulted in a further steepening of the gradient.
5
PSL: A semantic domain for flow models
Conrad Bock, Michael Grüninger · Software & Systems Modeling · 2004 · 101 citations
Semantics of Control-Flow in UML 2.0 Activities
Harald Störrle · 2005 · 89 citations