Note: Links to papers are provided
to ensure timely dissemination of scholarly and technical work. Copyright and all
rights therein are retained by authors or by other copyright holders. All
persons accessing this information are expected to adhere to the terms and
constraints invoked by each author's copyright. In most cases, these works may
not be reposted without the explicit permission of the copyright holder.
2009:
J. Lian, S. M. Shatz, and X. He, “Flexible Coordinator Design for Modeling Resource Sharing in Multi-Agent Systems,” To appear in Journal of Systems and Software, 2009.
S. Tian, S. M. Shatz, Y. Yu and J. Li,“ Querying Sensor Networks Using Ad-hoc Mobile Devices: A Two Layer Networking Approach,” Ad Hoc Networks Journal, , Vol. 7, Issue 5, July 2009, pp. 1014 - 1034.
2008:
J. Li, and S. M. Shatz, “ Sampling Sensor Fields Using a Mobile Object: A Band-Based Approach for Directional Broadcast of Sensor Data,” Proceedings of the IASTED International Symposium on Distributed Sensor Networks (DSN), Orlando, Fla., Nov. 2008.
X. He, L. Chang, S. Shatz and J. Li, “Applying a Nested Petri Net Modeling Paradigm to Coordination of Sensor Networks with Mobile Agents,” International Workshop on Petri Nets and Distributed Systems (PNDS 2008), Xi'an, China, June 2008.
L. Chang, J. Ding, X. He
and S. M. Shatz, “A Formal Modeling Approach for Software Agents
Coordination,” 4th International Workshop on Agent-Oriented
Development Methodology (AOSDM), Glasgow, UK, July 2008.
Z. Zhang, A. Kshemkalyani
and S. M. Shatz, “Multi-Root, Multi-Query Processing in
Sensor Networks,” 4th IEEE International Conference on Distributed Computing in
Sensor Systems (DCOSS), Santorini Island, Greece, July 2008.
J. Lian
and S. M. Shatz, “A Modeling Methodology for
Conflict Control in Multi-Agent Systems,” International Journal of Software Engineering
and Knowledge Engineering (IJSEKE), Vol. 18, No. 3, May 2008, pp. 263-303.
J. Li and S. M. Shatz,“Toward Using Node
Mobility to Enhance Greedy-Forwarding in Geographic Routing for Mobile Ad Hoc Networks,”
International Workshop on Mobile
Device and Urban Sensing (MODUS 2008),
H. Xu, S. M. Shatz
and C. K. Bates, “A Framework for Agent-Based Trust Management in Online Auctions,”
Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG 2008), E-Commerce Track,
J. Lian, Z. Hu
and S. M. Shatz, “Simulation-Based Analysis of UML Statechart
Diagrams: Methods and Case Studies,” The Software Quality Journal (SQJ), Vol. 16, No. 1, March 2008, pp. 45-78.
2007:
S. Tian, S. M. Shatz
and Y. Yu, “A Framework for Querying Sensor Networks Using Mobile
Devices,”
Proceedings of the 1st International Workshop on Distributed Sensor Systems
(DSS-07),
J. Lian, S. M. Shatz
and X. He, “Component Based Multi-Agent System Modeling and Analysis: A
Case Study,” Proceedings
of the International Conference on Software Engineering Research and Practice
(SERP),
S. Tian and S. M. Shatz, “Optimizing Query Injection from
2006:
J. Lian and S. M. Shatz, “Potential Arc: A Modeling Mechanism for Conflict Control in Multi-Agent Systems,” Proceedings of the 4th Symposium on Design, Analysis, and Simulation of Distributed Systems (DASD-06), Huntsville, Alabama, April 2006, pp. 467-474.
Z. Zhang and S. M. Shatz, “A Technique for Power-Aware Query-Informed
Routing in Support of Long-Duration Queries for Sensor Networks,” Proceedings of the IEEE International
Conference on Networking, Sensing and Control,
Z. Hu and S. M. Shatz, “Explicit
Modeling of Semantics Associated with Composite States in UML Statecharts,” Journal of Automated Software
Engineering, Vol. 13, No. 4, October 2006, pp. 423-467.
2005:
Z. Hu and S. M. Shatz, “A Transformation
Approach for Modeling and Analysis of Complex UML Statecharts: A Case
Study,” Proceedings of the International Workshop on the Applications
of UML/MDA to Software Systems (UMSS05),
H. Xu, Z. Zhang, and S. M. Shatz, “A
Security Based Model for
2004:
Z. Hu and S. M. Shatz, “Mapping UML
Diagrams to a Petri Net Notation for System Simulation,” Proceedings
of the International Conference on Software Engineering and Knowledge
Engineering (SEKE), Banff, Canada, June 2004, pp. 213-219.
2003:
H. Xu and S. M. Shatz, “A
Framework for Model-Based Design of Agent-Oriented Software,” IEEE Transactions
on Software Engineering, Vol. 29, No. 1, January 2003, pp. 15-30.
PDF File
© 2002 IEEE. Personal use of this material is permitted. However, permission to
reprint/republish this material for advertising or promotional purposes or for
creating new collective works for resale or redistribution to servers or lists,
or to reuse any copyrighted component of this work in other works must be
obtained from the IEEE.
H. Xu and S. M. Shatz, “ADK: An Agent Development Kit Based on a
Formal Design Model for Multi-Agent Systems,” Journal of Automated
Software Engineering, Vol. 10, No. 4, October
2003, pp. 337-365.
2002:
X. Xie and S. M. Shatz,
“Development of Class-level and Instance-level Design Models for
Distributed-Object Software,” International Journal of Computer
Systems Science and Engineering, Vol. 17, No. 3, 2002, pp. 169-181.
PDF File
2001:
X. Xie and S. M. Shatz, “An
Approach for Modeling Components with Customization for Distributed
Systems,” International Journal of Informatica, Special issue on
Component Based Software Development, Vol. 25, No. 4, 2001, pp. 465-474.
PDF File
S. Khanvilkar and S. M. Shatz,
“Tool Integration for Flexible Simulation of Distributed
Algorithms,” Software - Practice & Experience, Vol. 31, 2001,
pp. 1363-1380.
PDF File
J. Saldhana, S. M. Shatz, and Z.
Hu, “Formalization of Object Behavior and Interactions From
UML Models,” International Journal of Software Engineering and
Knowledge Engineering (IJSEKE), Dec. 2001, Vol. 11, No. 6, pp. 643-673.
PDF File
X. Xie and S. M. Shatz,
“Design Models for Components in Distributed Object Software,” Proceedings
of the Monterey Workshop on Software Engineering, Monterey, Calif., June
2001, pp. 229-238.
PDF File
H. Xu and S. M. Shatz, “A
Framework for Modeling Agent-Oriented Software,” Proceedings of the IEEE
21st International Conference on Distributed Computing Systems (ICDCS),
Phoenix, Arizona, April 2001, pp. 57-64.
PDF File
H. Xu and S. M. Shatz, “An
Agent-Based Petri Net Model with Application to Seller/Buyer Design in
Electronic Commerce,” Proceedings of the IEEE 5th International
Symposium on Autonomous Decentralized Systems (ISADS),
PDF File
2000:
H. Xu and S. M. Shatz,
“Extending G-Nets to Support Inheritance Modeling in Concurrent
Object-Oriented Design,” Proceedings of the IEEE Int Conf. on Systems,
Man, and Cybernetics (SMC), Nashville, Tenn., Oct. 2000, 3128-3133.
M. Lemmon, K. He, and S. M. Shatz,
“Dynamic Reconfiguration of Software Objects Using Petri Nets and Network
Unfolding,” Proceedings of the IEEE Int Conf. on Systems, Man, and
Cybernetics (SMC), Nashville, Tenn., Oct. 2000, pp. 3069-3074.
J. Saldhana and S. M. Shatz, “UML
Diagrams to Object Petri Net Models: An Approach for Modeling and
Analysis,” Proceedings of the Int. Conference on Software Engineering
and Knowledge Engineering (SEKE),
PDF File
X. Xie and S. M. Shatz, “An
Approach to Using Formal Methods in Aspect Orientation,” Proceedings
of the Int. Conf. on Parallel and Distributed Processing Techniques and
Applications (PDPTA), (Special Session on Architectural Support for
Aspect-Oriented Software Systems), Las Vegas, Nevada, June 2000.
1999:
R. Gedela, S. Shatz, and H. Xu,
“Modeling of Synchronization Methods for Concur rent Objects in Ada
95,” Proceedings of the ACM Annual International Conference on Ada
(SIGAda-99), Redondo Beach, Calif., Oct. 1999, pp. 211-220.
R. Gedela,
PDF File
V. Sliva, T. Murata, and S. M.
Shatz, “Protocol Specification Design Using an Object-Based Petri Net
Formalism,” Int. Journal of Software Engineering and Knowledge
Engineering, Feb. 1999, Vol. 9, No. 1, pp. 97-125.
1998:
A. Khetarpal, S. M. Shatz, and S.
Tu, “Applying an Object-Based Petri Net to the Modeling of Communication
Primitives for Distributed Software,” Proceedings of the High
Performance Computing Conference (HPC98), Boston, Mass., April 1998, pp.
404-409.
C. Black, S. M. Shatz, and S. Tu,
“A Query Language for Automated General Analysis of Concurrent
PDF File
A. Newman, S. M. Shatz, and X. Xie,
“An Approach to Object System Modeling by State-Based Object Petri
Nets,” Int. Journal of Circuits, Systems, and Computers, Feb.
1998, Vol. 8, No. 1, pp. 1-20.
PDF File
1997:
M. Altaher, U. Buy, S. Shatz, C.
Yu, D. Hier, and W. Panko, “A Computer-Based System for Problem List
Maintenance and Medical Informatics,” 19th Annual IEEE International
Conference on Engineering in Medicine and Biology, Chicago, Oct. 1997, pp.
949-952.
C. Sashidhar and S. M. Shatz,
“Design and Implementation Issues for Supporting Callback Prodedures in
RPC-Based Distributed Software,” 21st Annual International Computer
Software and Applications Conference (COMPSAC-97),
R. Gedela and S. M. Shatz,
“Formal Modeling of Advanced Tasking in Ada: A Petri Net
Perspective,” 2nd International Workshop on Software Engineering for
Parallel and Distributed Systems (PDSE-97), Boston, May, 1997, pp. 4-14.
1996:
S. M. Shatz, S. Tu, T. Murata, and
S. Duri, “An Application of Petri Net Reduction for Ada Tasking Deadlock
Analysis,” IEEE Trans. on Parallel and Distributed Systems, Vol.
7, No. 12, Dec. 1996, pp. 1307-1322.
Postscript File
C. Sashidhar and S. M. Shatz,
“Shared Program Variables for Distributed Sequential Programs,” Proc.
of the 11th Int. Conf. on Systems Engineering,
T. Murata, T. Sazuki, and S. M.
Shatz, “Fuzzy-Timing High-Level Petri Net Model of a Real-Time Network
Protocol,” Proc. of the 1996 Int. Technical Conf. on Circuits/Systems,
Computers and Communications,
V. Sliva, T. Murata, and S. M.
Shatz, “A Method for Applying G-Nets to Communication Protocols,” Proc.
of the 8th Int. Conf. on Software Engineering and Knowledge Engineering,
(SEKE-96), Lake Tahoe, Nevada, June 1996, pp. 145-152.
1995:
L. Lilien, S. M. Shatz, and S.
Damerla, “Redistribution of Hierarchically Structured Software in
Response to Distributed System Site Crashes,” International Journal of
Computer Systems Science and Engineering, Vol. 10, No. 3, July 1995, pp.
144-155.
1994:
S. Duri, U. Buy, R. Devarapalli,
and S. M. Shatz, “Application and Experimental Evaluation of State Space
Reduction Methods for Deadlock Analysis in Ada,”
ACM Transactions on Software Engineering Methodology, Vol. 3, No. 4,
Oct. 1994, pp. 340-380.
1993:
S. Duri, U. Buy, R. Devarapalli and
S.M. Shatz, “Using State Space Methods for Deadlock Analysis in Ada
Tasking,” Proceedings of the International Symposium on Software
Testing and Analysis (ISSTA-93), pp. 51-60, May, 1993.
S.M. Shatz, Development of Distributed Software: Concepts and Tools,
1992:
S.M. Shatz, J.P.
Wang and M. Goto, “Task Allocation for Maximizing Reliability of
Distributed Computer Systems,” IEEE Transactions on Computers, Vol.
41, No. 9, pp. 1156-1168, September, 1992.
S. Damerla and S.M. Shatz,
“Software Complexity and
1991:
T. Murata, R. Bhatia and S. Shatz,
“Markov Chain Reduction and Analysis of GSPN Models for Task Allocation
in Distributed Systems,” International Journal on Microelectronics and
Reliability, (Special Issue on Petri Nets), Vol. 31, No. 4, pp. 727-746,
1991.
S. Damerla and S.M. Shatz, “A
Software Complexity Perspective on Nondeterminism Used to Support Intertask
Communications,” Proceedings of the International Phoenix Conference
on Computers and Communications, Scottsdale, Arizona, pp. 280-286, March,
1991.