Filters








90,964 Hits in 4.9 sec

Object-oriented analysis in practice [chapter]

J. Brunet, C. Cauvet, D. Meddahi, F. Semmak
1993 Lecture Notes in Computer Science  
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]

Christoph Schütz, Lois M. L. Delcambre, Michael Schrefl
2013 Lecture Notes in Business Information Processing  
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]

Ole Eckermann, Matthias Weidlich
2011 Lecture Notes in Business Information Processing  
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]

René Wies
1995 Integrated Network Management IV  
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

Fawaz S. Al-Anzi, David L. Spooner
1994 Proceedings of the third international conference on Information and knowledge management - CIKM '94  
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

Rik Eshuis, Pieter Van Gorp
2015 Computing  
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

Hitohi Komoto, Mitsutaka Matsumoto, Shinsuke Kondoh
2021 Procedia CIRP  
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]

Andreas Weiß, Santiago Gómez Sáez, Michael Hahn, Dimka Karastoyanova
2014 Lecture Notes in Computer Science  
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]

Nancy Samaan, Ahmed Karmouch
2004 Lecture Notes in Computer Science  
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

C. Stary
2000 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
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

Marvin V. Zelkowitz, Sergio Cardenas
1991 Information Sciences  
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

James W. Winchester, Gerald Estrin
1982 Proceedings of the June 7-10, 1982, national computer conference on - AFIPS '82  
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]

Ralf Jungclaus, Gunter Saake, Cristina Sernadas
1991 Lecture Notes in Computer Science  
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

Jonathan Lee, John Yen, Josette Pastor
1994 International Journal of Intelligent Systems  
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

Miguel Angel Orellana Postigo, Javier Martinez Silva, José Reinaldo Silva
2020 Brazilian Applied Science Review  
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