A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Object-oriented analysis in practice
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
The locality principle allows to concentrate on one object, stressing its structure and behavior through the notion of life cycle, the refinement principle allows to refine objects by means of inheritance ...
The case study is developped with the model of the Modway method. The Modway method is an object-oriented method which makes use of object concepts since the very beginning of the development process. ...
This life cycle graph can be seen as a refinement of the state ANTICIPATED appearing in the trace life cycle graph. . ...
doi:10.1007/3-540-56777-1_16
fatcat:papjkthx4fblvozveyac6msv5m
Multilevel Business Artifacts
[chapter]
2013
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
on process design business entities (PD entities) by ■ Behavior-consistent specialization of life cycle models □ Yongchareon et al. (2012) : Specialization of interactions between process modelsSummary ...
+ Life Cycle Models
Multilevel Concretization
Instantiation
Specialization
Specialization of Life Cycle Models
Refinement
Meta-process Modeling
■ Concretization is not a
one-shot activity
■ ...
doi:10.1007/978-3-642-36285-9_35
fatcat:faujgqg46vdnpa62ics5cuqxdu
Flexible Artifact-Driven Automation of Product Design Processes
[chapter]
2011
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Based on high-level process models, object life-cycle models are derived. Those are manually enriched and used for automatic generation of an executable workflow model. ...
These processes require a high degree of flexibility of the process implementation. ...
Specialization of an Object Life-Cycle Evidently, we do not require such refinements of OLCs to be hierarchical. ...
doi:10.1007/978-3-642-21759-3_8
fatcat:4r5y4t3nordcvl67qvhnbqgu7y
Using a Classification of Management Policies for Policy Specification and Policy Transformation
[chapter]
1995
Integrated Network Management IV
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Furthermore, we outline the ideas of a policy life cycle, and that of policy transformation. ...
Policies are derived from management goals and define the desired behavior of distributed heterogeneous systems, applications, and networks. ...
Heinz-Gerd Hegering is a group of researchers of the University of Munich, the Technical University of Munich, and the Leibniz Supercomputing Center of the Bavarian Academy of Sciences. ...
doi:10.1007/978-0-387-34890-2_4
fatcat:oiwblmwmanbcbilwv3f6pduvmi
Modeling behavior, a step towards defining functionally correct views of complex objects in concurrent engineering
1994
Proceedings of the third international conference on Information and knowledge management - CIKM '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Feature
Petri
Statecharts
Objectclmrts
Life
Behavior
Nets [12]
[7]
[4]
Cycle [15]
Diagrams
[17]
Function
Representation
node
arc
arc
node
node
Single Object
States
yes
yes
yes ...
is int reduced,
The re-
quirements
of this problem
for behavioral
modeling
are de-
veloped
and an extension
to the Life Cycle
behavior
model
that
satisfies
these requirements
is presented ...
doi:10.1145/191246.191249
dblp:conf/cikm/Al-AnziS94
fatcat:xl6xyrstvnc4hbfqwiswj7qkzy
Synthesizing data-centric models from business process models
2015
Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The object-centric design specifies in an imperative way the life cycles of the objects and the object interactions. ...
Next, we define a mapping from an object-centric design to a declarative Guard-Stage-Milestone schema, which can be refined into a complete specification of a data-centric BPM system. ...
More related are a few works [21, 24, 26, 44] that define a translation between activity-centric and object-centric process models, which consist of communicating object life cycles. ...
doi:10.1007/s00607-015-0442-0
fatcat:2rrwsvcl4vcrhghxskbxcqedyq
Library of facility models for structural and graphical definition of recycling system simulation considering information flows
2021
Procedia CIRP
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Different product families, however, may differ largely in terms of the number and nature of components. ...
An industrial case study on two product families of steering columns of thyssenkrupp Presta France is then carried out to give a first industrial evaluation of the proposed approach. ...
The work for the model development process is supported by the Japanese Society for Promotion of Science (JSPS), Ministry of Education, Culture, Sports, Science and Technology, Japan, under a Grant-in-Aid ...
doi:10.1016/j.procir.2021.01.028
fatcat:xvutheo53bfznghadwu7yfzy5i
Approach and Refinement Strategies for Flexible Choreography Enactment
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
These abstract modeling constructs allow deferring the modeling decisions to later points in the life cycle of choreographies. ...
choreographies and orchestrations, and a classification of strategies for their refinement to executable workflows. ...
Acknowledgment This work is funded by the projects FP7 EU-FET 600792 ALLOW Ensembles and the German DFG within the Cluster of Excellence (EXC310) Simulation Technology. ...
doi:10.1007/978-3-662-45563-0_6
fatcat:4w3vz5jytvhrpiopfhaqxelxoq
A Case-Based Reasoning Approach for Automated Management in Policy-Based Networks
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The contribution of this work is two fold; the first is a novel guided automated derivation of network level policies from high-level business objectives. ...
originally imposed business objectives. ...
A refinement step is carried-out to evaluate the behavior of dispatched policy. The case is repeatedly refined and dispatched until the target objectives are met. ...
doi:10.1007/978-3-540-30184-4_7
fatcat:d2sei74vkrhgjhhwddxeqkrc2i
TADEUS: seamless development of task-based and user-oriented interfaces
2000
IEEE transactions on systems, man and cybernetics. Part A. Systems and humans
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Index Terms-Customization, intelligent user interface management, interactive work design, knowledge representation, life cycle management, model-based development, object-oriented modeling, object systems ...
In this paper we detail the latest developments in the TADEUS project when implementing a work-process based usability life cycle. ...
the interaction between life cycles of objects (specified through OBDs). ...
doi:10.1109/3468.867859
fatcat:24l47l6gdfcljc67besgd46wbe
The role for executable specifications in system maintenance
1991
Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
As software becomes increasingly complex, two attributes of the system life cycle are taking on more important roles. ...
We need the ability to formally specify the functionality of the systems we build in order to minimize costly development problems and, with long life times, we need the ability to enhance existing systems ...
of the important maintenance aspect of the life cycle. ...
doi:10.1016/0020-0255(91)90086-a
fatcat:rezyzuoeujgwpitjcxa23po5wu
Requirements definition and its interface to the SARA design methodology for computer-based systems
1982
Proceedings of the June 7-10, 1982, national computer conference on - AFIPS '82
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents results of efforts during ...
Figure 1 illustrates how the system development life cycle phases can be defined in terms of the SARA methodology phases. ...
The system development life cycle, specifications and requirements categories, and analysis aspects of requirements definition are first summarized. ...
doi:10.1145/1500774.1500820
dblp:conf/afips/WinchesterE82
fatcat:5pmazhqumrfkzjgpnudbu3tea4
Formal specification of object systems
[chapter]
1991
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The Obtog+-tanguage for object-oriented UoD-specification based on this concept supports the integrated description of data about objects, the development of objects through time and of various relationships ...
between objects taldng into account static and dynamic aspects of object interaction. ...
In particular, Hans-Dieter Ehrich and Amflcar Sernadas developed basic ideas of objects and object descriptions. ...
doi:10.1007/3540539816_61
fatcat:dxbsrt5bwjf3dkj54jb2x64m2q
A tool for task-based knowledge and specification acquisition
1994
International Journal of Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The tool and the framework, together, can thus enhance the verification, validation, and the maintenance of expert systems through their life cycles. 0 ...
Even though methods that address this issue have been proposed, they only loosely relate knowledge acquisition to the remaining part of the software development life cycle. ...
life cycle to produce an adequate specification, thus eliminating possible design failures and reducing product costs. ...
doi:10.1002/int.4550090905
fatcat:pxiqsvbbszbppd62bp5ovsgo24
Applying goal-oriented requirement engineering and refence architecture for microgrid systems
2020
Brazilian Applied Science Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
the design cycle. ...
Considering the inherent complexity of these systems -generally heterogeneous, open and distributed -formal modeling is a key issue for the design of automated electrical systems to fit user experience ...
ACKNOWLEDGMENT The authors acknowledge their respective institutions for the support to their research activities: University of Amazon State (UEA), FAPEAM, and Escola Politécnica, University of São Paulo ...
doi:10.34115/basrv4n3-014
fatcat:oo5bhinbgzfvbexwmbecp5r26e
« Previous
Showing results 1 — 15 out of 90,964 results