School of Computer and Information Sciences

Permanent URI for this community

https://dspace.uohyd.ac.in/handle/1/7

Browse

Browsing School of Computer and Information Sciences by Author "Acharya, Satyajit"
  • Item
    Domain consistency in requirements specification
    ( 2005-12-01) Acharya, Satyajit ; Mohanty, Hrushikesha ; George, Chris
    Fixing requirements errors that are detected late in the software development life cycle can be extremely costly. So, finding problems in requirements specification early in the development cycle is critical and crucial. A formal specification can reduce errors by reducing ambiguity and imprecision and by making some instances of inconsistency and incompleteness obvious. In this paper, with an example of a moderately complex system of the mobile computing domain, we discuss how the consistency conditions found during initial abstract formal specification help in detecting logical errors during early stages of system development. We also discuss the importance of consistency conditions while modelling the domain of a complex system and show how the identified consistency conditions help in better understanding the specification and to gain confidence on the correctness of the specification. We use a combination of techniques, like specification inspection and testing the executable specification of a prototype using test cases, to validate the specification against the requirements as well as to ensure that the specified consistency conditions are respected and maintained by the operations defined in the specification. © 2005 IEEE.
  • Item
    Mobichart for modeling mobile computing tasks
    ( 2003-12-01) Mohanty, Hrushikesha ; Acharya, Satyajit ; Shyamasundar, R. K. ; Ghosh, R. K.
    We discuss the specialty and the limitations found in mobile computing environment to motivate the readers on the necessity of having methods for developing mobile computing application in the object oriented paradigm. It is shown that existing specification model like Objectchart do not model the effects due to location awareness and other typical phenomena like hands-off and hands-on. We have shown Mobichart can address the drawbacks of Objectchart and can be used to model mobile computing applications.
  • Item
    Specifying a mobile computing infrastructure and services
    ( 2004-01-01) Acharya, Satyajit ; George, Chris ; Mohanty, Hrushikesha
    We present a model of a mobile computing application environment and its formal specification using the RAISE specification language. Special care is taken to specify the location based operations that are typical of mobile computing. In the process of specifying the mobile environment, we give precise semantics to different services identified with Mobichart notations, an extension to Objectcharts and Statecharts to make them suitable for graphical specification of mobile computing environment and applications. Thus we show the usability of both graphical and formal specification methods in development of mobile computing applications. We also discuss different techniques applied to detect faults and gain confidence in the correctness of the specification using consistency and confidence conditions, prototyping and testing. © Springer-Verlag 2004.