Cláudio Naoto Fuzitaki

Publications (8) View all

• Conference Proceeding: Ontology Reasoning in Agent-Oriented Programming.

  Cláudio Naoto Fuzitaki, Alvaro Freitas Moreira, Renata Vieira
  Advances in Artificial Intelligence - SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings; 01/2010
• Conference Proceeding: CXPath: a Query Language for Conceptual Models of Integrated XML Data.

  Diego de Vargas Feijo, Cláudio Naoto Fuzitaki, Alvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser
  Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), Boston, Massachusetts, USA, July 9-11, 2007; 01/2007
• Article: Nautilus, a Concurrent Diagrammatic Specification and Programming Language

  Claudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Pereira Machado, Fernando D’Andrea
  [show abstract] [hide abstract]
  ABSTRACT: Nautilus is a high-level specification and programming language having abstraction mechanisms not commonly found in other programming languages inspired by its semantic domain (a categorial model named Nonsequential Automata). It constitutes an elegant solution for concurrency and non-determinism as well as for synchronization of concurrent systems. The role as specification language highlights the diagrammatic syntax (it was originally text based).The diagrammatic syntax for Nautilus allows complete programs to be written using symbols and graphical diagrams. The graphical notation was elaborated in order to be able to express all the structures in the language, yet trying to improve the visualization of written programs. A brief comparison with UML is included. To support Nautilus as a programming language, a mapping to Java is constructed, setting the basis for an execution environment of Nautilus specifications.
  The Journal of Supercomputing 01/2006; 36(1):51-81. · 0.58 Impact Factor
• Article: Nautilus, a Concurrent Diagrammatic Specification and Programming Language.

  Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea
  The Journal of Supercomputing. 01/2006; 36:51-81.
• Conference Proceeding: A Protocol Checker for Nautilus Language.

  Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado
  Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 3; 01/2004