Current Search: Object-oriented methods Computer science (x)
View All Items
(1 - 12 of 12)
- Title
- Modeling use cases and their sequences in object-oriented analysis.
- Creator
- Anwar, Mahbub Morshed., Florida Atlantic University, Fernandez, Eduardo B.
- Abstract/Description
-
Use cases and scenarios are used by most of the object-oriented modeling approaches for capturing users' requirements, analyzing the system and building the test cases. All the different methodologies have different approaches for modeling use cases and applying them to other object-oriented models. Use case models help the analyst to construct dynamic as well as static models. In this thesis, we show an approach of modeling use cases for object-oriented software analysis. We give emphasis to...
Show moreUse cases and scenarios are used by most of the object-oriented modeling approaches for capturing users' requirements, analyzing the system and building the test cases. All the different methodologies have different approaches for modeling use cases and applying them to other object-oriented models. Use case models help the analyst to construct dynamic as well as static models. In this thesis, we show an approach of modeling use cases for object-oriented software analysis. We give emphasis to modeling the sequences of the activities within the scenarios and the sequences of the scenarios throughout the system. We show how these sequences influence the static model (object diagram) and dynamic model (state diagram). We propose an Integrated State diagram for dynamic modeling and an Object Interaction diagram for modeling the flows of the scenarios throughout the system by applying the use case sequence models. Our approaches are demonstrated by solving a variety of examples.
Show less - Date Issued
- 1997
- PURL
- http://purl.flvc.org/fcla/dt/15389
- Subject Headings
- Object-oriented methods (Computer science)
- Format
- Document (PDF)
- Title
- Generating formal models from UML class diagrams.
- Creator
- Shroff, Malcolm Keki., Florida Atlantic University, France, Robert B., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
The rich structuring mechanisms, and abstract modeling constructs available in most graphical object-oriented modeling methods (OOMs) facilitate the creation of abstract, visually-appealing, highly-structured graphical models. On the other hand, lack of formal semantics for the modeling notation can severely limit the utility of OOMs. Formal specification techniques (FSTs) support the creation of precise and analyzable specifications, but they can be tedious to create and difficult to read,...
Show moreThe rich structuring mechanisms, and abstract modeling constructs available in most graphical object-oriented modeling methods (OOMs) facilitate the creation of abstract, visually-appealing, highly-structured graphical models. On the other hand, lack of formal semantics for the modeling notation can severely limit the utility of OOMs. Formal specification techniques (FSTs) support the creation of precise and analyzable specifications, but they can be tedious to create and difficult to read, especially by system developers not trained in formal methods. The complementary strengths of OOMs and FSTs suggest that their integration can result in techniques that can be used to create precise and analyzable models. This thesis describes a technique for integrating analysis level UML (Unified Modeling Language) Class Diagrams with the formal notation Object-Z.
Show less - Date Issued
- 1997
- PURL
- http://purl.flvc.org/fcla/dt/15514
- Subject Headings
- UML (Computer science), Object-oriented methods (Computer science)
- Format
- Document (PDF)
- Title
- The notion of aggregation.
- Creator
- Saksena, Monika., Florida Atlantic University, France, Robert B., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Most popular object-oriented modeling techniques (OOMTs) provide good support for the creation of conceptual models of system behavior and structure. A serious drawback of these techniques is that the concepts and notations used are not rigorously defined. This can lead to the creation of ambiguous models, and to disagreements over the proper use and interpretation of modeling constructs. An important modeling construct that is often loosely defined is aggregation. This thesis presents a...
Show moreMost popular object-oriented modeling techniques (OOMTs) provide good support for the creation of conceptual models of system behavior and structure. A serious drawback of these techniques is that the concepts and notations used are not rigorously defined. This can lead to the creation of ambiguous models, and to disagreements over the proper use and interpretation of modeling constructs. An important modeling construct that is often loosely defined is aggregation. This thesis presents a precise characterization of aggregation that can help developers identify appropriate applications of the concept. Our characterization is the result of careful analysis of literature on conceptual modeling, knowledge representation and object-oriented (OO) modeling. We discuss primary and secondary properties of aggregation and propose annotations for UML (Unified Modeling Language). An extensive discussion of the more useful patterns of aggregation helps developers pick a suitable prescription of aggregation.
Show less - Date Issued
- 1998
- PURL
- http://purl.flvc.org/fcla/dt/15537
- Subject Headings
- Object-oriented methods (Computer science), UML (Computer science)
- Format
- Document (PDF)
- Title
- Object-oriented analysis and design of a serial peripheral interface monitor.
- Creator
- Scharf, Sherri Hannah., Florida Atlantic University, Fernandez, Eduardo B., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Presented here is an object-oriented design for a real-time system used to monitor bus activity on a microcontroller via a PC. This system could prove to be an inexpensive and user-friendly alternative to existing hardware used for this purpose. The use of an object-oriented design methodology and the application of two Model-View-Controller architectures as well as a layered approach aided in producing a system composed of reusable components that is flexible and easily extensible....
Show morePresented here is an object-oriented design for a real-time system used to monitor bus activity on a microcontroller via a PC. This system could prove to be an inexpensive and user-friendly alternative to existing hardware used for this purpose. The use of an object-oriented design methodology and the application of two Model-View-Controller architectures as well as a layered approach aided in producing a system composed of reusable components that is flexible and easily extensible. Additionally, a reusable pattern can be extracted from the architecture presented here that could be utilized in designing similar software applications for communicating with peripheral hardware devices.
Show less - Date Issued
- 1998
- PURL
- http://purl.flvc.org/fcla/dt/15538
- Subject Headings
- Object-oriented methods (Computer science), User interfaces (Computer systems)
- Format
- Document (PDF)
- Title
- A critical comparison of three user interface architectures in object-oriented design.
- Creator
- Walls, David Paul., Florida Atlantic University, Fernandez, Eduardo B., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Frameworks for the development of object-oriented, user interactive applications have been examined. Three alternate approaches have been explored; the Model-View-Controller (MVC) approach, the MVC++ approach and the Presentation-Abstraction-Control (PAC) approach. For the purpose of assessing the approaches, a simple engineering application was selected for object-oriented analysis using the three techniques. The utility of each technique was compared on the basis of complexity,...
Show moreFrameworks for the development of object-oriented, user interactive applications have been examined. Three alternate approaches have been explored; the Model-View-Controller (MVC) approach, the MVC++ approach and the Presentation-Abstraction-Control (PAC) approach. For the purpose of assessing the approaches, a simple engineering application was selected for object-oriented analysis using the three techniques. The utility of each technique was compared on the basis of complexity, extensibility and reusability. While the approaches aim to provide reusable user interface components and extensibility through incorporation of an additional class, only MVC++ and PAC truly achieve this goal, although at the expense of introducing additional messaging complexity. It was also noted that, in general, decoupling of the GUI classes, while providing increased extensibility and reusability, increases the inter-object messaging requirement.
Show less - Date Issued
- 1999
- PURL
- http://purl.flvc.org/fcla/dt/15747
- Subject Headings
- User interfaces (Computer systems), Object-oriented methods (Computer science)
- Format
- Document (PDF)
- Title
- Object-oriented models for material requirements planning systems.
- Creator
- Jamnongpipatkul, Alisa., Florida Atlantic University, Han, Chingping (Jim)
- Abstract/Description
-
The Material Requirement Planning System (MRP) is a key module in the Enterprise Resources Planning (ERP) systems. Finding better ways of developing systems leads to a robust MRP system and provides prototypes which can be expanded to other modules of the ERP systems. This thesis will provide an object-oriented model of a MRP system which was created and presented by using the Object Modeling Technique (OMT). The model consisted of three parts, the object model, dynamic model, and functional...
Show moreThe Material Requirement Planning System (MRP) is a key module in the Enterprise Resources Planning (ERP) systems. Finding better ways of developing systems leads to a robust MRP system and provides prototypes which can be expanded to other modules of the ERP systems. This thesis will provide an object-oriented model of a MRP system which was created and presented by using the Object Modeling Technique (OMT). The model consisted of three parts, the object model, dynamic model, and functional model. An innovative way to handle the static bill of materials (BOM) data with a more flexible dynamic item class was developed. To demonstrate the flexibility, extendability, and reusability of the object-oriented MRP model, two major business change scenarios were applied to the model. Minor changes to the design were required to accommodate major changes on the functionality of the MRP system.
Show less - Date Issued
- 1999
- PURL
- http://purl.flvc.org/fcla/dt/15653
- Subject Headings
- Object-oriented methods (Computer science), Material requirements planning
- Format
- Document (PDF)
- Title
- Object-oriented models for manufacturing inventory control systems.
- Creator
- Peng, ZhiWei., Florida Atlantic University, Fernandez, Eduardo B., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
The inventory is a key element in modern manufacturing systems. We present here object-oriented manufacturing inventory models, including detailed static and dynamic models. Three different representations of the object model are presented and compared. Two case studies are given to verify the extensibility and reusability of the models. One of the models is developed into a pattern, that can be used as a prototype for similar type of systems, e.g., an inventory of the books in a library....
Show moreThe inventory is a key element in modern manufacturing systems. We present here object-oriented manufacturing inventory models, including detailed static and dynamic models. Three different representations of the object model are presented and compared. Two case studies are given to verify the extensibility and reusability of the models. One of the models is developed into a pattern, that can be used as a prototype for similar type of systems, e.g., an inventory of the books in a library. Comparison of our inventory model with other inventory data models is also presented.
Show less - Date Issued
- 1997
- PURL
- http://purl.flvc.org/fcla/dt/15394
- Subject Headings
- Object-oriented methods (Computer science), Inventory control
- Format
- Document (PDF)
- Title
- Extending use cases and interaction diagrams to develop distributed system architecture requirements.
- Creator
- Hawkins, John C., Florida Atlantic University, Fernandez, Eduardo B.
- Abstract/Description
-
Current object-oriented development methodologies do not introduce distributed system architectural aspects early enough in the system development cycle. A development partitioning scheme that includes the system level, in addition to the problem and application levels, will encourage analysis that includes elicitation of non-functional system requirements. These requirements include response time with respect to system communication load, fault tolerance, safety, security, and real-time...
Show moreCurrent object-oriented development methodologies do not introduce distributed system architectural aspects early enough in the system development cycle. A development partitioning scheme that includes the system level, in addition to the problem and application levels, will encourage analysis that includes elicitation of non-functional system requirements. These requirements include response time with respect to system communication load, fault tolerance, safety, security, and real-time deadlines, among others. They can be documented with an extended form of Jacobson's use cases. Where use cases describe how a system will work from a user's point of view, extended use cases add the capability to describe how well it should work. System level analysis information can be graphically depicted on extended forms of Unified Modeling Language (UML) interaction diagrams and on multilevel architecture diagrams.
Show less - Date Issued
- 1997
- PURL
- http://purl.flvc.org/fcla/dt/15406
- Subject Headings
- Object-oriented methods (Computer science), UML (Computer science), Electronic data processing--Distributed processing
- Format
- Document (PDF)
- Title
- Industrial-strength formalization of object-oriented real-time systems.
- Creator
- Raghavan, Gopalakrishna., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
The goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The...
Show moreThe goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The proposed process uses industry standard tools and fits well within stringent industrial schedules. Formal requirements analysis is conducted using High Level Message Sequencing Chart (HMSC) and Message Sequencing Chart (MSC). In the formal analysis phase, the static structures are modeled using Unified Modeling Language (UML) and the constraints are formalized using Object Constraint Language (OCL). System behavior is formally modeled using Specification and Description Language (SDL) during the formal design phase. SDL is used for behavior modeling due to wide commercial availability of SDL-based tools for formal behavior analysis and validation. Transition rules mapping from UML Class Diagrams and Statecharts to SDL models are proposed. SDL models are formally simulated and validated during the formal validation phase. Using the proposed process real-time clock, timer, periodic process, aperiodic process, resource and precedence constraints were formalized. Different types of timers, such as periodic, aperiodic, one-shot, fixed-interval and variable-interval timers are derived using inheritance models. Semaphore wait and signal operations are formalized as part of the resource constraint. Pre-conditions, post-conditions and invariants for the real-time constraints were captured using OCL. Behavior of the proposed models were captured using Statecharts. The proposed mapping rules were used to translate the behavior models to SDL. The SDL models were formally simulated and validated using Telelogic Software Development Tool (SDT). The tools allowed extensive model analysis and helped uncover several design flaws. The real-time constraints were stereotyped and packaged into reusable formal components. These components can be easily imported by applications. Two case studies, Cruise Control System and Bottle Filling System, are included to illustrate the use of the proposed process and the real-time package. The "industrial-strength" of the process was validated by utilizing the proposed process in an industrial project where it was found to accelerate the development process.
Show less - Date Issued
- 2000
- PURL
- http://purl.flvc.org/fcla/dt/12632
- Subject Headings
- Object-oriented programming (Computer science), Real-time data processing, Formal methods (Computer science)
- Format
- Document (PDF)
- Title
- A framework for an icon-based software engineering environment.
- Creator
- Huang, Qinxi., Florida Atlantic University, Larrondo-Petrie, Maria M.
- Abstract/Description
-
Current computer technologies and demands bring new challenges to the software engineering tools. This thesis includes a survey of software engineering environments, standards and technologies. It also examines the features needed to support rigorous object-oriented software development. The main contributions of the thesis are descriptions of innovative concepts and a high-level framework for a next-generation object-oriented software system development, management and maintenance...
Show moreCurrent computer technologies and demands bring new challenges to the software engineering tools. This thesis includes a survey of software engineering environments, standards and technologies. It also examines the features needed to support rigorous object-oriented software development. The main contributions of the thesis are descriptions of innovative concepts and a high-level framework for a next-generation object-oriented software system development, management and maintenance environment, called IconSEE++, an Icon-based Software Engineering Environment.
Show less - Date Issued
- 1998
- PURL
- http://purl.flvc.org/fcla/dt/15576
- Subject Headings
- Software engineering, Object-oriented methods (Computer science), Icon (Computer program language)
- Format
- Document (PDF)
- Title
- A methodology for object-oriented modeling and design of real-time, fault-tolerant systems.
- Creator
- Hancock, Debera R., Florida Atlantic University, Fernandez, Eduardo B.
- Abstract/Description
-
Many methodologies for software modeling and design include some form of static and dynamic modeling to describe the structural and behavioral views respectively. Modeling and design of complex real-time software systems requires notations for describing concurrency, asynchronous event handling, communication between independent machines, timing properties, and accessing real time. Function-oriented structured analysis methodologies such as Ward and Mellor's SA/RT and Harel's Statecharts have...
Show moreMany methodologies for software modeling and design include some form of static and dynamic modeling to describe the structural and behavioral views respectively. Modeling and design of complex real-time software systems requires notations for describing concurrency, asynchronous event handling, communication between independent machines, timing properties, and accessing real time. Function-oriented structured analysis methodologies such as Ward and Mellor's SA/RT and Harel's Statecharts have provided extensions for real-time system modeling. Dynamic modeling of real time systems using object-oriented methodologies also requires extensions to the traditional state machine notations in order to convey the real time system characteristics and constraints. Shaw's Communicating Real Time State Machines (CRSM's), Harel's O-Chart notations, and the Octopus methodology provide methods for modeling real-time systems consistent with object-oriented methods. This thesis proposes an object-oriented analysis and design methodology that augments the traditional Object Modeling Technique (OMT) dynamic model with real-time extensions based on high-level parallel machines and communication notations from CRSM. An example of the proposed methodology is provided using a realistic but hypothetical example of an automated passenger train system. A design refinement step is included for fault tolerant considerations. An evaluation of the proposed methodology with its extended notations is provided.
Show less - Date Issued
- 1997
- PURL
- http://purl.flvc.org/fcla/dt/15405
- Subject Headings
- Object-oriented methods (Computer science), Fault-tolerant computing, Real-time programming
- Format
- Document (PDF)
- Title
- Cache optimization for real-time embedded systems.
- Creator
- Asaduzzaman, Abu Sadath Mohammad, College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Cache memory is used, in most single-core and multi-core processors, to improve performance by bridging the speed gap between the main memory and CPU. Even though cache increases performance, it poses some serious challenges for embedded systems running real-time applications. Cache introduces execution time unpredictability due to its adaptive and dynamic nature and cache consumes vast amount of power to be operated. Energy requirement and execution time predictability are crucial for the...
Show moreCache memory is used, in most single-core and multi-core processors, to improve performance by bridging the speed gap between the main memory and CPU. Even though cache increases performance, it poses some serious challenges for embedded systems running real-time applications. Cache introduces execution time unpredictability due to its adaptive and dynamic nature and cache consumes vast amount of power to be operated. Energy requirement and execution time predictability are crucial for the success of real-time embedded systems. Various cache optimization schemes have been proposed to address the performance, power consumption, and predictability issues. However, currently available solutions are not adequate for real-time embedded systems as they do not address the performance, power consumption, and execution time predictability issues at the same time. Moreover, existing solutions are not suitable for dealing with multi-core architecture issues. In this dissertation, we develop a methodology through cache optimization for real-time embedded systems that can be used to analyze and improve execution time predictability and performance/power ratio at the same time. This methodology is effective for both single-core and multi-core systems. First, we develop a cache modeling and optimization technique for single-core systems to improve performance. Then, we develop a cache modeling and optimization technique for multi-core systems to improve performance/power ratio. We develop a cache locking scheme to improve execution time predictability for real-time systems. We introduce Miss Table (MT) based cache locking scheme with victim cache (VC) to improve predictability and performance/power ratio. MT holds information about memory blocks, which may cause more misses if not locked, to improve cache locking performance., VC temporarily stores the victim blocks from level-1 cache to improve cache hits. In addition, MT is used to improve cache replacement performance and VC is used to improve cache hits by supporting stream buffering. We also develop strategies to generate realistic workload by characterizing applications to simulate cache optimization and cache locking schemes. Popular MPEG4, H.264/AVC, FFT, MI, and DFT applications are used to run the simulation programs. Simulation results show that newly introduced Miss Table based cache locking scheme with victim cache significantly improves the predictability and performance/power ratio. In this work, a reduction of 33% in mean delay per task and a reduction of 41% in total power consumption are achieved by using MT and VCs while locking 25% of level-2 cache size in an 4-core system. It is also observed that execution time predictability can be improved by avoiding more than 50% cache misses while locking one-fourth of the cache size.
Show less - Date Issued
- 2009
- PURL
- http://purl.flvc.org/FAU/359919
- Subject Headings
- Real-time embedded systems and components, Embedded computer systems, Programming, Computer architecture, Integrated circuits, Design and construction, Signal processing, Digital techniques, Object-oriented methods (Computer science)
- Format
- Document (PDF)
