OMG. UML revision task force spezication v1.3. OMG-Document ad/99-06-08, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A UML Package for Specifying Real-Time Objects - Dipippo (Correct)
....class diagram of Figure 1a augmented with a constraint that specifies that each airplane in the tracking application has a speed 0. Notice that the constraint is a notation associated with a class, and not a part of the class itself. For a full description of the expressiveness of OCL, see [5]. 2.1.3 Foundation Package The UML Foundation Package is the infrastructure for UML. It is made up of three subpackages: the Core, the Extension Mechanisms, and the Data Types [1] The Core package defines the basic abstract and concrete constructs needed for the development of object models. ....
OMG. Object Constraint Language Specification. OMG, Inc., Sept. 1997. OMG document ad/97-0808.
A UML Package for Specifying Real-Time Objects - Dipippo (Correct)
....Relationships And Constraints) model. The RT Object package has been used to design real time objects in a Real Time Multi User Virtual Environment in which widely distributed users collaborate in time critical planning and decision making. 1 Introduction The Unified Modeling Language (UML) [1,2] is a general object based metamodel that provides mechanisms for specifying a wide variety of systems. It provides a set of diagram types that enable system designers to visually model the target system. Real time systems designers use UML to specify system models from requirements analysis ....
....describes the RTSORAC (Real Time Semantic Object Relationships and Constraints) model for real time objects on which the RT Object package is based. 2. 1 UML UML is a third generation object oriented modeling language for specifying, constructing, visualizing, and documenting software systems [2]. The original designers of UML incorporated the object oriented community s consensus on core modeling concepts, with the ability to specify extensions for specific types of applications. System designers use UML diagrams to develop software. The diagrams can be augmented with constraints, ....
OMG. UML Summary -- V1.1. OMG, Inc., Sept. 1997. OMG document ad/97-08-03.
Formal Development of Open Distributed Systems: towards an .. - Traoré, Aredo, Stølen (Correct)
....by machines. No matter how good a development method is, it will only be successful if the developers who are to use it are willing and able to do so [Kneuper,1997] Most specification techniques supporting the development of open distributed systems, such as the UML (Unified Modeling Language) [OMG,1999], Booch et al. 1999] lack the formal semantics and the various reasoning facilities underlying formal developement methods. Moreover, we are not aware of any conventional formal development method that is able to fully handle the flexible, extendable and very dynamic features characterizing ....
....2. The definition of a formal semantics for the di#erent constructs involved, in order to remove all ambiguities. The first of these objectives is generally performed using natural language resulting in ambiguities. An alternative which deals with both issues is OCL (Object Constraint Language) [OMG,1999], a semi formal constraint language easy to read and write, which is used to specify well formedness of the modeling abstractions provided by UML. An OCL specification consists of a set of expressions. An OCL expression has a type and has no side e#ect. OCL has several constructs for modeling ....
OMG UML Specification v. 1.3, (OMG document ad/99-06-08), http://uml.shl.com/artifacts.htm
A UML Package for Specifying Real-Time Objects - Dipippo Self-citation (Time) (Correct)
....may also require special concurrency control specification in order to take timeliness into account when making decisions. The Object Management Group (OMG) the standardizing body for UML, has recently put out a Request for Proposals (RPF) for a UML Profile for Scheduling, Performance, and Time [3]. The RFP is looking for proposals that specify standard paradigms of use for modeling time, performance and schedulability. Many of the required features specified in the RFP will provide a foundation for the definition of a real time object package. For example, the RFP requires provision of ....
....2.2 Real Time UML The OMG s standardization effort towards a real time UML has been motivated by a lack of direct support in the standard for key elements necessary to real time systems design. The RFP requires that responses include mechanisms to handle real time features, such as the following [3]: 1. Models of physical time. Responses should include models for universal time, mission time, discrete and continuous time, global and local time. 2. Timing Specifications. Responses should include modeling of timing specifications such as deadlines, periods, frequencies, execution times, time ....
[Article contains additional citation context not shown here]
OMG. UML Profile for Scheduling, Performance, and Time -- Request for Proposal. OMG, Inc., April 1999. OMG document ad/99-03-13.
Additional Structuring Mechanisms for the OTS Specification - International Business.. Self-citation (Specification) (Correct)
No context found.
OMG, Object Constraint Language Specification, Revision 1.1, September 1997, OMG document ad/97-08-08.
Context Properties for the Flexible Grouping of Model Elements - Bübl (2000) (Correct)
No context found.
OMG. UML revision task force spezication v1.3. OMG-Document ad/99-06-08, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC