Filters








3,186 Hits in 6.6 sec

Life-cycle inheritance [chapter]

W. M. P. Aalst, T. Basten
1997 Lecture Notes in Computer Science  
This paper describes a Petri-net-based approach to the formal specification and verification of this type of inheritance. We use Petri nets to specify the dynamics of an object class.  ...  The Petrinet formalism allows for a graphical representation of the life cycle of objects which belong to a specific object class. Four possible inheritance relations are defined.  ...  A Petri net describing a life cycle refers to the life cycle of a single object.  ... 
doi:10.1007/3-540-63139-9_30 fatcat:ostjbk4oezhjbdhppxu4aksaxy

Deciding Life-Cycle Inheritance on Petri Nets [chapter]

H. M. W. Verbeek, T. Basten
2003 Lecture Notes in Computer Science  
This paper presents a backtracking algorithm to decide life-cycle inheritance on Petri nets.  ...  The algorithm uses structural properties of both the base life cycle and the potential sub life cycle to prune the search tree. Test cases show that the results are promising.  ...  The authors would like to thank the workflow students and Jacques Bouman for providing us with a set of test samples. Abbrevations  ... 
doi:10.1007/3-540-44919-1_7 fatcat:l35lgd352jc5tgbrghjf4amvx4

Pervasive Service Creation using a Model Driven Petri Net Based Approach

Achilleas Achilleos, Kun Yang, Nektarios Georgalas, Manooch Azmoodech
2008 2008 International Wireless Communications and Mobile Computing Conference  
To achieve this, our approach integrates model-driven architecture (MDA) with Petri Nets (PN).  ...  Petri Nets facilitate the service validation phase through the use of the SOPN language.  ...  In an example of the conventional approach, Adamopoulos et al. [2] described service creation as the most abstract and important stage of the service life-cycle.  ... 
doi:10.1109/iwcmc.2008.54 fatcat:uzutqtwnb5c5bm6saet4zjjfjq

Inheritance of behavior

Twan Basten, Wil M.P. van der Aalst
2001 The Journal of Logic and Algebraic Programming  
In the Petri-net framework, four inheritance rules are de®ned that can be used to construct life cycles of subclasses from the object life cycles of given (super-)classes.  ...  The Petri-net formalism allows for a graphical representation of life cycles of objects with an explicit representation of object states.  ...  In each of the four inheritance rules, the transformation of the original life cycle is based on a live and bounded free-choice P/T net.  ... 
doi:10.1016/s1567-8326(00)00004-7 fatcat:zvxbzlczszesvhprxsvxtehdqe

Information modelling using product life cycle views [chapter]

Reiner Anderl, Bernd Daum, Harald John, Christian Pütter
1999 Information Infrastructure Systems for Manufacturing II  
This paper presents a new method to derive an object-oriented information model from a life cycle oriented modelling approach.  ...  The information model consisting of a product data model and several partial models representing life cycle phases can be implemented easily, e.g. as an objectoriented database, which is a basis for life  ...  In the area of life cycle assessment, a framework based on IDEFO has already been defined (Tipnis, 1995) .  ... 
doi:10.1007/978-0-387-35385-2_10 fatcat:7dfltkcnbzdxtc2xabc4jeuh7m

On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle

Stefanie Rinderle-Ma, Manfred Reichert, Martin Jurisch
2011 International Journal of Web Services Research  
Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle.  ...  In this paper, we introduce the whole composition life cycle and discuss specific requirements for web service equivalence along its different phases.  ...  Inheritance rules (van der Aalst & Basten, 2002) are one possible technique for reasoning about transformations between process models described in terms of a Petri-net.  ... 
doi:10.4018/jwsr.2011010103 fatcat:5lmzk2e7uvhgvad4ut4pr7bgqm

Inheritance of Business Processes: A Journey Visiting Four Notorious Problems [chapter]

W. M. P. van der Aalst
2003 Lecture Notes in Computer Science  
Moreover, we will point out that an approach based on inheritance of dynamic behavior provides a partial solution for each of the problems.  ...  The fourth problem becomes relevant when predefined workflow specifications are customized for a particular business situation. This paper will show that these problems have common characteristics.  ...  Life-cycle inheritance is the most liberal form of inheritance, i.e., protocol and/or projection inheritance implies life-cycle inheritance.  ... 
doi:10.1007/978-3-540-40022-6_19 fatcat:7xlxefr3sbe45euaiccr7lgtqu

Using Specification and Description Language for Life Cycle Assesment in Buildings

Pau Fonseca i Casas, Antoni Fonseca i Casas
2017 Sustainability  
The definition of a Life Cycle Assesment (LCA) for a building or an urban area is a complex task due to the inherent complexity of all the elements that must be considered.  ...  LCA (Life Cycle Assesment) of the building and thereby ascertain its associated impacts.  ...  The tools related to DEVS [35] [36] [37] and PetriNets formalisms [27] often represent an excellent alternative to define and implement a simulation model based on Petri nets or DEVS.  ... 
doi:10.3390/su9061004 fatcat:ebcdzotpafhs7g5ghkqha7mnke

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software

Laura Carnevali, Luigi Sassoli, Enrico Vicario
2007 Real-Time Systems (ECRTS), Proceedings of the Euromicro Workshop on  
We describe a methodology for the construction of realtime tasking sets, which smoothly integrates a f o m l approach in both development and veriJication processes of the software life cycle.  ...  At the same time, the preemptive Time Petri Net spec@cation and the results of its state space analysis support functional testing enabling the construction of a time-sensitive Oracle and providing a metrics  ...  In this paper, we describe a methodology which smoothly integrates preemptive Time Petri Nets (pTPN) [lo] in both development and verification processes of the software life cycle of real-time tasking  ... 
doi:10.1109/ecrts.2007.86 dblp:conf/ecrts/CarnevaliSV07 fatcat:l6ygtajoyzgbnm6nzjais7tdf4

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle

Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 IEEE Transactions on Software Engineering  
To this end, we cast the theory into an organic tailoring of design, coding, and testing activities within a V-Model SW life cycle in respect of the principles of regulatory standards applied to the construction  ...  Preemptive Time Petri Nets (pTPNs) support modeling and analysis of concurrent timed SW components running under fixed priority preemptive scheduling.  ...  defined and documented SW life cycle [12] .  ... 
doi:10.1109/tse.2011.4 fatcat:sh5nv2ayr5etxm24wembf4zwdu

Emerging technologies that support a software process life cycle

G. T. Heineman, J. E. Botsford, G. Caldiera, G. E. Kaiser, M. I. Kellner, N. H. Madhavji
1994 IBM Systems Journal  
SLANG,” and PROCESS WEAVER**,® which use a form of Petri nets. As previously described, MARVEL plays a central role in the PRS framework through its abil- ity to enact processes.  ...  I i What is needed is nothing less than a life-cycle view for software processes.  ... 
doi:10.1147/sj.333.0501 fatcat:uu2pzaufmzga3lt6my5ooykurm

Inheritance of workflows: an approach to tackling problems related to change

W.M.P van der Aalst, T Basten
2002 Theoretical Computer Science  
Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific superclass.  ...  When adapting a workflow process definition to specific needs (ad-hoc change) or changing the structure of the workflow process as a result of reengineering efforts (evolutionary change), inheritance concepts  ...  The approach presented in this paper is based on a special subclass of Petri nets (WF-nets) and a notion of correctness named soundness [1, 2] .  ... 
doi:10.1016/s0304-3975(00)00321-2 fatcat:ij6oy56wjrcmpmvcpivyuuhvzm

Observation Equivalences for the Semantics of Inheritance [chapter]

Claudia Balzarotti, Fiorella Cindio, Lucia Pomello
1999 Formal Methods for Open Object-Based Distributed Systems  
used as is-a relation (type inheritance), and a preorder based on state observation for the semantics of inheritance as code-reuse (implementation inheritance).  ...  nets, CCS).  ...  The life-cycle inheritance defined by van der Aalst and Basten is in fact a too strong relation, that can't be applied in many cases. .  ... 
doi:10.1007/978-0-387-35562-7_6 fatcat:szpifjpcfzfbpk7qg2jarkjxkq

Component-based software architectures: a framework based on inheritance of behavior

W.M.P. van der Aalst, K.M. van Hee, R.A. van der Toorn
2002 Science of Computer Programming  
The interface of a component is described in terms of Petri nets and projection inheritance is used to determine whether a component "ÿts".  ...  To shed light on these issues, we provide a framework for component-based software architectures focusing on the process perspective.  ...  Acknowledgements The authors would like to thank Twan Basten for his excellent work on inheritance of dynamic behavior and Eric Verbeek for the development of Wo an.  ... 
doi:10.1016/s0167-6423(01)00005-3 fatcat:ypvgyvf35ncvfnbogfqjzvz32y

A Holistic Framework for Supporting Maintenance and Asset Management Life Cycle Decisions for Power Systems

Kiki Ayu, Akilu Yunusa-Kaltungo
2020 Energies  
Some of the principles recommended here involve embedding customised overall health index (OHI) and total life cycle cost (LCC) estimation principles into engineering decisions that relate to asset renewal  ...  While discussions about the fundamental theories and estimation approaches for OHI and LCC for power transformers (PTs) already exist in the current body of literature, however, they are mostly in a generic  ...  A maintenance decision optimization method based on life cycle cost of converter transformer.  ... 
doi:10.3390/en13081937 fatcat:sxz7jn4kofaw7bcd7xv4opc3ii
« Previous Showing results 1 — 15 out of 3,186 results