Paper Info
Title
Development Of Class-Level And Instance-Level Design Models For Distributed-Object Software
Abstract
Leading the pack of new-generation software applications are distributed applications, which are well suited to designs based on distributed objects. To help cope with the increased complexity of such systems, developers can benefit from formal methods and associated tools that support specification and analysis. This paper presents a Petri net motivated approach for modeling distributed-object software. Both class-level and instance-level models are defined, with the goal of supporting scalable designs. Model analysis, with state space reduction due to symmetry among object instances, is also considered. A case-study is presented to illustrate the specific modeling and analysis features.
Year
Venue
Keywords
2002
COMPUTER SYSTEMS SCIENCE AND ENGINEERING
distributed applications, specification and analysis, distributed-object software modeling
Field
DocType
Volume
Middleware,Object-oriented design,Distributed object,Software design,Computer science,Distributed design patterns,Software development process,Component-based software engineering,Software development,Distributed computing
Journal
17
Issue
ISSN
Citations 
3
0267-6192
0
PageRank 
References 
Authors
0.34
3
2
Name
Order
Citations
PageRank
X. Xie100.34
Sol M. Shatz246955.25