Introducing Objectcharts or how to use Statecharts in object-oriented design

Coleman, Derek; Hayes, Fiona; Bear, Stephen

doi:10.1109/32.120312

Cited by 127 publications

(64 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…An instance of the scenarios defined above can be found in the alarm clock described in Objectcharts [30], an incremental way to extend state machines. Figure 2, reproduced from that paper, depicts two state machines mainSM and timeSM for the class AlarmClock.…”

Section: A Concrete Examplementioning

confidence: 99%

See 1 more Smart Citation

Promoting traits into model-driven development

Abdelzad

Lethbridge

2015

Softw Syst Model

View full text Add to dashboard Cite

Traits are primitive units of code reuse that serve as building blocks of classes. In this research, we enhance reuse by extending the capabilities of traits; in particular, we add modeling abstractions to them.Traits have a variety of benefits, including facilitating reuse and separation of concerns. They have appeared in several programming languages, particularly derivatives of Smalltalk. However, there is still no support for traits that contain modeling abstractions, and no straightforward support for them in general-purpose programming languages. The latter is due to structural concerns that exist for them at runtime, especially traits that contain modeling abstractions.Model-driven technologies are making inroads into the development community, albeit slowly. Modeling abstractions such as state machines and associations provide new opportunities for reuse, and can be combined with inheritance for even greater reusability.However, issues with inheritance apply also when these new abstractions are inheritable units. This suggests that traits and models ought to be able to be synergistically combined.We perform a comprehensive analysis of using modeling elements in traits. We implement such traits in Umple, which is a model-oriented programming language that permits embedding of programming concepts into models.The contributions of the thesis are: a) Adding new elements including state machines and associations into traits, hence bringing more reusability, modularity, and applications to traits; b) Developing an algorithm that allows reusing, extending, and composing state machines through traits; c) Extending traits with required interfaces so dependencies at the semantic level become part of their usage, rather than simple syntactic capture; d) Adding template parameters with associations in traits, offering new applications for traits in which it is possible to define design patterns and to have a library of most-used functionality; e) The implementation of all the above concepts, including generating code in multiple generalpurpose programming languages through automatic model transformation.iii

show abstract

Section: A Concrete Examplementioning

confidence: 99%

“…State machines control the behavior of instances of classes; it is a key way that UML envisions using state machines [117]. There is considerable literature focusing on such state machines and also on code generation from such machines [30,34,79,95,96] to avoid the need for manual coding of their logic.…”

Section: State Machinesmentioning

confidence: 99%

Promoting traits into model-driven development

Abdelzad

Lethbridge

2015

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…All these fundamental classes have behavior, based on modal programming. We used ObjectCharts as the formalism to specify behavior [4]. ObjectCharts are a well-suited tool to describe environments based on events and actions as in hyperstories.…”

Section: The Modelmentioning

confidence: 99%

Virtual environment interaction through 3-D audio by blind children

Sanchez¹,

Lumbreras²

1999

PsycEXTRA Dataset

View full text Add to dashboard Cite

Interactive software is profusely used for learning, cognition, and entertainment purposes. Educational entertainment software is not very familiar among blind children because most computer games and electronic toys do not have appropriate interfaces to be accessible without visual cues. This work applies the concept of interactive hyperstories to blind children. Hyperstories are tried out in a 3D acoustic virtual world. In past studies we have conceptualized a model to design hyperstories. The study illustrates the feasility of the model as well as introduces to the field of entertainment software for blind children. As a result, we have designed and field tested AudioDoom, a virtual environment interacted through 3D Audio by Blind Children.AudioDoom is also a software that enables testing non trivial interfaces and cognitive tasks with blind children. We explored the construction of cognitive spatial structures in the minds of blind children through audio-based entertainment and spatial sound navigable experiences.Children playing AudioDoom were exposed to first person experiences by exploring highly interactive virtual worlds through the use of 3D aural representations of the space. This experience was structured in several cognitive tasks where they had to build concrete models of their spatial representations constructed through the interaction with AudioDoom by using Lego blocks.We analyze our preliminary results after testing AudioDoom with chilean children from a school for blind children. We discuss issues such as interactivity in software without visual cues, the representation of spatial sound navigable experiences, and entertainment software such as computer games for blind children. We also evaluate the feasibility to construct virtual environments through the design of dynamic learning materials with audio cues.

show abstract

“…These are Provided-services, Required-services, and Clauses. Provided and required services can be regarded as input and output ports (gates) (i.e., IO-model by Coleman et al (1992')). …”

Section: A 1 External Class Descriptionmentioning

confidence: 99%

“…TOOMS is based on an object-oriented formal language and model named TROL (Nesi, 1993;Bucci et al, 1994). TROL adopts a dual model which is capable of integrating the operational and the descriptive formalism; its operational or descriptive features are similar to other IO-based objectoriented specification languages and methodse.g., TRIO + by Morzenti and SanPietro (1992); ObjectCharts by Coleman et al (1992); ObjectOriented version of SDL (OSDL) by Braek and Haugen (1993); Object-Time by Northern Telecom (1993). Most of these approaches have the capabilities of specifying system behavior, structure, and functionality and allow the verification and validation of composition/decomposition mechanisms.…”

Section: Introductionmentioning

confidence: 99%