Rigorous Object-Oriented Analysis

@inproceedings{Moreira1994RigorousOA,
  title={Rigorous Object-Oriented Analysis},
  author={Ana Moreira and Robert G. Clark},
  booktitle={ISOOMS},
  year={1994}
}
The Rigorous Object-Oriented Analysis (ROOA) method provides a systematic development process which takes a set of informal requirements and produces a formal object-oriented analysis model. The model, which is expressed in LOTOS, integrates the static, dynamic and functional aspects of a problem and acts as a requirements specification. As LOTOS specifications can be executed symbolically, rapid prototyping can be used to check the conformance of the specification against the requirements and… 
Adding rigour to object-oriented analysis
TLDR
ROOA provides a systematic development process which, starting from a set of informal requirements, produces an executable objected-oriented analysis model that provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem.
Combining Object-Oriented Analysis and Formal Description Techniques
TLDR
The Rigorous Object-Oriented Analysis method provides a systematic development process by proposing a set of rules to be followed during the analysis phase that integrates the static, dynamic and functional properties of a system in contrast to other object-oriented analysis methods.
Constructing formal specifications from informal requirements
  • R. Clark, A. Moreira
  • Computer Science
    Proceedings Eighth IEEE International Workshop on Software Technology and Engineering Practice incorporating Computer Aided Software Engineering
  • 1997
TLDR
A user-centred model will give very early feedback to the requirements capture process and can be used as a step in the construction of the ROOA model, a formal and executable model which specifies behaviour in terms of what the environment expects from the system should be constructed initially.
Formal user-centred models
TLDR
The construction of a formal and executable user-centred model is proposed and its use within the Rigorous Object-Oriented Analysis (ROOA) method is shown.
Object-oriented modelling and speci$cation using SHE
TLDR
The formal semantics of POOSL provides a solid basis for the application of veri$cation and performance analysis techniques and establishing a rigorous connection to existing analysis tools.
Extending formal specification to object-oriented models through level-view structured schemas
  • K. Cheung, K. Chow, T. Cheung
  • Computer Science
    Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393)
  • 1999
This paper describes an approach to extending formal specification to object oriented (OO) models, called FXOOM (Formal eXtension to OO Models). FXOOM is composed of four schemas, namely, class
POOSL : an object-oriented specification language for the analysis and design of hardware/software systems
TLDR
POOSL (Parallel Object-Oriented Specification Language) is meant for the specification, design, and description of systems which contain a mixture of software and hardware components and explicitly distinguishes process objects from (dynamically moving) data objects.
An architecture based approach to specifying distributed systems in LOTOS and Z
TLDR
This work formalises the foundation set of concepts in LOTOS and Z then shows how specification architectures based on the computational viewpoint can be developed, and highlights the advantages in a formal approach through the identification of limitations and errors in the ODP framework.
Specification and Animation of Reactive Systems
TLDR
SOLVE (Specification using an Object-based, LOTOS-defined, Visual language), designed to allow formal requirements capture, particularly for reactive systems, is supported by tools that allow direct visual animation of systems specified in this language.
...
...

References

SHOWING 1-10 OF 214 REFERENCES
Combining Object-Oriented Analysis and Formal Description Techniques
TLDR
The Rigorous Object-Oriented Analysis method provides a systematic development process by proposing a set of rules to be followed during the analysis phase that integrates the static, dynamic and functional properties of a system in contrast to other object-oriented analysis methods.
LOTOS in the Object-Oriented Analysis Process
TLDR
The aim is to production a rigorous object-oriented analysis method which combines OOA with FDTs to produce a practical method to be used by software engineers.
Structured analysis and object-oriented design are compatible
TLDR
It is the thesis of this paper that structured analysis is a desirable way to specify software requirements, and that structuredAnalysis and object-oriented design are compatible and work effectively together.
The Integration of LOTOS with an Object Oriented Development Method
This paper describes the first step in an attempt of transferring the formal description technique (FDT) LOTOS from a research department to a development department within the Ascom Group. The
The object-oriented software development method: a practical approach to object-oriented development
TLDR
The Object-Oriented Software Development Method (OOSD) includes object- oriented requirements analysis, as well as object-oriented design, which focuses on the objects of a problem throughout development.
Object-oriented and conventional analysis and design methodologies
TLDR
The authors' intent is to answer the question of whether emerging object-oriented analysis and design methodologies require incremental or radical changes on the part of prospective adopters.
Object oriented requirements analysis in an Ada project
TLDR
It is believed that if a single coordinated methodology is used throughout all the phases of the software life cycle, it will increase the traceability in the system, decrease the integration problems, and improve conceptual integrity of the design, leading to a more consistent final system.
Essays on object-oriented software engineering
TLDR
This work analyzes the recursive/parallel life-cycle approaches, abstraction, encapsulation and information hiding, and the motivation for an object-oriented approach to software engineering.
Inheritance in LOTOS
...
...