Abstract
This paper describes some of the features of Nautilus specification/ programming language that make it interesting to develop complex systems and then explains how to map a Nautilus construction into Java constructions. The Nautilus constructions presented are: actions (including nondeterminism and intra-action concurrency), aggregations and refinements.
This work is partially supported by: CNPq (Projects HoVer-CAM, Hyper Seed, GRAPHIT), CNPq/NSF (Project MEFIA) and FAPERGS (Project QaP-For) in Brazil.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Menezes, P.B., Sernadas, A., Costa, J.F.: Nonsequential automata semantics for a concurrent, object-based language. In: Cleaveland, R., Mislove, M., Mulry, P. (eds.) Proc. of the 1st US – Brazil JointWorkshop on the Formal Foundations of Software Systems, New Orleans, EUA, Amsterdan. Electronic Notes in Theoretical Computer Science, vol. 14. Elsevier, Amsterdam (2000)
D’Andrea, F., Menezes, P.B., Fuzitaki, C., lio Machado, J., Costa, S.: Nautilus, a diagrammatic specification and programming language. In: PDCS2002 - 14th International Conference on Parallel and Distributed Computing and Systems, Cambridge, USA (2002)
Carneiro, C.: Identified non sequencial automaton as support for classes in nautilus (in portuguese). Master’s thesis, PPGC da UFRGS, Porto Alegre (1999)
Menezes, P.B., Costa, J.F., Sernadas, A.: Refinement mapping for (discrete event) system theory. In: Albrecht, R., Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1995. LNCS, vol. 1030, pp. 103–116. Springer, Heidelberg (1996)
Carneiro, C., Veit, T., D’Andrea, F., Menezes, P.B.: Nautilus: its concurrent and distributed characteristics as an academic language. In: Arabnia, H.R. (ed.) Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, EUA, Athens, pp. 1919–1925. C.S.R.E.A. (1999)
Fowler, M., Scott, K.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, 2nd edn. Addison-Wesley, Reading (2000)
Menezes, P.B., Costa, S.A., Machado, J.P.: Nautilus: A concurrent anticipatory programming language. In: Conference of Computing Anticipatory Systems, CASYS 2001 (2001)
Menezes, P.B., Machado, J.P., Costa, S.A.: Explicit and implicit nondeterministic refinement for concurrent, interacting systems. In: The International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2002, Las Vegas, USA (2002)
Deitel, H.M., Deitel, P.J.: Java: how to program, 3rd edn. Prentice Hall, Upper Saddle River (1999)
Barbosa, J.L.V., Du Bois, A., Pavan, A., Geyer, C.F.R.: Holojava: Translating a distributed multiparadigm language into java. In: CONFERÊNCIA LATINOAMERICANA DE INFORMÁTICA, 27., Mérida, Venezuela (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fuzitaki, C.N., Blauth Menezes, P., Pereira Machado, J., da Costa, S.A. (2003). Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. In: Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST 2003. EUROCAST 2003. Lecture Notes in Computer Science, vol 2809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45210-2_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-45210-2_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20221-9
Online ISBN: 978-3-540-45210-2
eBook Packages: Springer Book Archive