MOBICHARTS: A notation to specify mobile computing applications

Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Volumn , Issue , 2003, Pages

  Acharya, S ^a   Mohanty, H ^a   Shyamasundar, R K ^b  

^a UNIVERSITY OF HYDERABAD   (India)

^b TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

Author keywords

cloning; container; disconnected operations; hoarding; inheritance; migration; Mobicharts; mobile computing; notational specifications; Objectcharts; sharing; Statecharts; synchronization

Indexed keywords

CLONING; CONTAINERS; GENETIC ENGINEERING; MOBILE COMPUTING; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; SYNCHRONIZATION;

DISCONNECTED OPERATIONS; HOARDING; INHERITANCE; MIGRATION; MOBICHARTS; OBJECTCHARTS; SHARING; STATECHARTS;

OBJECT ORIENTED PROGRAMMING;

EID: 84969557106     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2003.1174844     Document Type: Conference Paper

References (12)

1. nd Ed., Redwood City, Benjamin Cummings, 1994
2. Derek Coleman, Fiona Hayes and Stephen Bear, "Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design", IEEE Transaction on Software Engineering, Vol.18, No 1, January 1992, pp 9-18
3. Fiona Hayes & Derek Coleman, "Coherent Models for Object Oriented Analysis", Proceedings of ACM, OOPSLA'91, pp.171-183
4. Stephen Bear, Phillip Allen, Derek Coleman & Fiona Hayes, "Graphical Specification of Object Oriented Systems", Proceedings of ECOOP/OOPSLA'90, pp 28-37
5. David Harel & Amnon Naamad, "The STATEMATE Semantics of Statecharts", ACM Transaction on Software Engineering & Methodologies, Vol.5, No.4, October 1996, pp.293-333
6. Fernam Jahanian & Aloysius K. Mok, "Modechart: A Specification Language for Real-time Systems", IEEE Transaction on Software Engineering, Vol. 20, No 12, December 1994, pp. 933-947
7. Stuart Kent, "Constraint Diagrams: Visualizing Invariants in Object Oriented Models", Proceedings of OOPSLA'97, pp. 327-341
8. Arthur Allen & Dennis de Champeaux, "Extending the Statechart Formalism: Event Scheduling & Dispositions", Proceedings of ACM OOPSLA'95, pp. 1-16
9. George Samaras, Evaggelia Pitoura, "Computational Models for Wireless & Mobile Environments", Technical Report TR-1998-4, Dept. of Computer Science, University of Cyprus
10. D. Harel, "Statecharts: A Visual Formalism for Complex Systems", Technical Report, The Weizmann Institute of Science, Israel, July 1986
11. Grady Booch, James Rambaugh, Ivar Jacobson, "The Unified Modeling Language User Guid", Low Price Edition, Pearson Education, Inc., 1999
12. V. Anil Kumar, Maruthi, "Mobile Charts - A Notation for Developing Mobile Computing Applications", M.Tech Thesis, Department of Computer Science, University of Hyderabad, December 2001