@techreport{
    HUT-TCS-A101,
    author = "Dubrovin, Jori",
    ps = "HUT-TCS-A101.ps",
    title = "{Jumbala} --- An Action Language for {UML} State Machines",
    url = "http://www.tcs.hut.fi/Publications/info/bibdb.DubrovinMsc.shtml",
    pages = "70",
    year = "2006",
    number = "A101",
    abstract = "UML 2.0 is a language for modeling complex software systems. A UML model may describe the dynamic aspects of software as well as the static structure. We concentrate on models of reactive systems, such as embedded controllers or telecommunications switches. The behavior of such systems is modeled using UML state machines. Although UML defines the structure of state machines, it leaves open the choice of an action language, which is the language used to specify how the transitions of a state machine affect the configuration of the underlying model. \par A UML action language named Jumbala is introduced. The language has been designed as part of a project where the goal is to formally analyze behavioral UML models. Jumbala is based on the Java programming language. It has nearly the same syntax and semantics for statements and expressions as Java. Some new programming constructs have been added to facilitate state machine modeling. Jumbala also supports object-oriented programming with classes and inheritance. \par An interpreter that parses and executes Jumbala programs has been developed. The interpreter will be part of a prototype tool set for analyzing the behavior of reactive computer systems modeled in UML.",
    month = "March",
    flags = "SERIES-A public SMUML copy",
    address = "Espoo, Finland",
    keywords = "action language, behavioral modeling, interpreter, Java, object-oriented, UML",
    pdf = "HUT-TCS-A101.pdf",
    onlinenote = "Reprint of Master's thesis; see URL below.",
    type = "Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}