Use of E-LOTOS in adding formality to UML

Journal of Universal Computer Science

Volumn 6, Issue 11, 2000, Pages 1071-1087

  Clark, Robert ^a   Moreira, Ana ^b  

^a UNIVERSITY OF STIRLING   (United Kingdom)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

E LOTOS; Formal modelling; Inconsistent specifications; UML

Indexed keywords

EID: 0842309633     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. [Brinksma (1988)] Brinksma, E.: "LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour"; ISO 8807, 1988.
2. [Clark, Moreira (1999)] Clark, R.G., Moreira, A.M.D.: "Formal Specifications of User Requirements"; Automated Software Engineering, 6, 3 (1999), 217-232.
3. [Eertink, Wolz (1993)] Eertink H., Wolz D.: "Symbolic Execution of LOTOS Specifications"; Formal Description Techniques V, North-Holland (1993), 295-310.
4. [Evans, Kent (1999)] Evans, A., Kent, S.: "Core Meta-Modelling Semantics of UML: The pUML Approach"; Proc. 2nd Int. Conf. on the Unified Modeling Language, LNCS 1723, Springer-Verlag (1999)
5. [France (1999)] France, R.: "A Problem-Oriented Analysis of Basic UML Static Modeling Concepts"; Proc. OOPSLA'99, ACM Sigplan, 34, 10 (1999), 57-69.
6. [Hoare (1985)] Hoare, C.: "Communicating Sequential Processes"; Prentice-Hall (1985)
7. [ISO/IEC (2000)] ISO/IEC: "Enhanced LOTOS"; ISO/IEC 15437 (2000)
8. [Jacobson (1992)] Jacobson, I.: "Object-Oriented Software Engineering"; Addison-Wesley (1992)
9. [Kent et al. (1999)] Kent, S., Evans, A., Rumpe, B.: "UML Semantics FAQ"; Object-Oriented Technology, LNCS 1743 (1999), 33-56.
10. [Milner (1989)] Milner, R.: "Communication and Concurrency"; Prentice-Hall (1989)
11. [Moreira, Clark (1994)] Moreira, A.M.D., Clark, R.G.: "Combining Object-Oriented Analysis and Formal Description Techniques"; Proc. ECOOP '94, LNCS 821, Springer-Verlag (1994), 344-364.
12. [Moreira, Clark (1996)] Moreira, A.M.D., Clark, R.G.: "Adding Rigour to Object-Oriented Analysis"; Software Engineering Journal, 11, 5 (1996), 270-280.
13. [Rumbaugh et al. (1991)] Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: "Object-Oriented Modeling and Design"; Prentice-Hall (1991)
14. [Rumbaugh et al. (1999)] Rumbaugh, J., Jacobson, I., Booch, G.: "The Unified Modeling Language Reference Manual"; Addison Wesley (1999)
15. [Warmer, Kleppe (1999)] Warmer, J., Kleppe, A.: "The Object Constraint Language"; Addison-Wesley (1999)