Object-Oriented White Papers
Validation of Dynamic Behavior in UML Using Colored Petri Nets
Overview This paper describes an approach for modeling the behavioral characteristics of concurrent object-oriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET method and specified in the Unified Modeling Language (UML). This work is part of an on-going effort to automate the behavioral analysis of concurrent and real-time object-oriented software designs.
| Publisher | George Mason University | File Format | |
|---|---|---|---|
| Date Published | September 2000 | ||
| Format | White Papers | ||
| Topics | |||
The Scoop on the New CCNA and CCNP Specializations
There has been a lot of interest among students lately on the details surrounding the CCNA specializations and their relationship with the corresponding CCNP specializations. These specializations were introduced in...
A Better Alternative: An Improved Approach to Facilities Management
Real estate is typically the second largest corporate expense after personnel, so why do so many organizations remain unchanged in the way they manage their facilities? Shouldn't they, and you,...
Smarter Products - The Building Blocks for a Smarter Planet
Businesses are delivering a new generation of smarter products that are increasingly instrumented, interconnected and intelligent - enabled through software. Integration of software engineering with electronic and mechanical...
Data Modeling: It's All About the Relationships
Unsuccessful data models are due to many factors - uncertainty about the concepts or the business requirements, lack of solid training for the programmer and even trying to be effective...
Towards Semantic Web Engineering: WEESA - Mapping XML Schema to Ontologies
The existence of semantically tagged Web pages is crucial to bring the Semantic Web to life. But it is still costly to develop and maintain Web applications that offer data...



