FIU Home
About CADSE
Research
Recent Publications
CADSE Activities
People
Opportunities
Training
Funding
Contact Info
Links



CADSE Home


List of Selected Publications from the Object-Oriented Technologies research project:


  • Book Series

    1. X. He and Y. Ding: "Object Orientation in Hierarchical Predicate Transition Nets", Advances in Petri Nets, Lecture Notes in Computer Science, vol.2001, 2001.

  • Conferences

    1. X. He: "Formalizing Class Diagrams Using Hierarchical Predicate Transition Nets", Proc. of the 24th International Computer Software and Application Conference (COMPSAC'2000), IEEE Computer Society, Taiwan, Oct., 2000, 217-222.
    2. X. He: "Formalizing Use Case Diagrams in Hierarchical Predicate Transition Nets", Proc. of the IFIP 16th World Computer Congress, Publishing House of Electronics Industry, Beijing, China, August, 2000, 484-491.
    3. S. Lewandowski and X. He: "A Java Framework for Implementing Hierarchical Predicate Transition Nets", Proc. of the 10th International Conference on Software Engineering and Knowledge Engineering (SEKE'98), San Francisco, 1998, 261-268.

    4. S. Lewandowski and X. He: "Automating the Generation of Code for A Hierarchical Predicate Transition Net Based Design", Proc. of the 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, July, 2000, 15-22.

    5. Z. Dong and X. He: "Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets", Lecture Notes in Informatics, vol. P-7, 2001, 99-112.

    6. H. Reza and X. He: "Petri Net Patterns: Elements of Reusable Petri Net Specifications", Proc. of the 2002 International Conference on Software Engineering Research and Practice, Las Vegas, July, 2002, 173-179.

    7. Z. Dong, Y. Fu, and X. He: "Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams - A Case Study", Proc. of SEKE 2003, California, 2003, 150-157.


[ Object-Oriented Technology Home ]

For problems or questions about this web, contact webmaster@cadse.cs.fiu.edu