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.

Further White Paper Details
PublisherGeorge Mason University File FormatPDF
Date PublishedSeptember 2000
FormatWhite 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...


Quick Sitemap Links: