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.
Filters
Life-cycle inheritance
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
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]
2003
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 International Wireless Communications and Mobile Computing Conference
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.
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
2001
The Journal of Logic and Algebraic Programming
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.
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]
1999
Information Infrastructure Systems for Manufacturing II
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.
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
2011
International Journal of Web Services Research
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 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2003
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Sustainability
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 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
2007
Real-Time Systems (ECRTS), Proceedings of the Euromicro Workshop on
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.
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
2011
IEEE Transactions on Software Engineering
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.
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
1994
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2002
Theoretical 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 2004; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Formal Methods for Open Object-Based Distributed 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.
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
2002
Science of Computer Programming
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 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
2020
Energies
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 2022; you can also visit the original URL.
The file type is text/html.
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