Petr nets, algebras, morphisms, and compositionality
Information and Computation
Inheritance and the development of encapsulated software systems
Research directions in object-oriented programming
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
ACM Computing Surveys (CSUR)
Interfaces for strongly-typed object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
Object-oriented modeling and design
Object-oriented modeling and design
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
Advances in Object-Oriented Data Modeling
Advances in Object-Oriented Data Modeling
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
Computer
Modeling Business Rules with Situation/Activation Diagrams
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets
Proceedings of the Workshop on Object-Oriented Technology
Behavior Consistent Extension of Object Life Cycles
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Behavior Consistent Refinement of Object Life Cycles
ER '97 Proceedings of the 16th International Conference on Conceptual Modeling
A new Concept of Refinement used for Behaviour Modelling with Automata
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Categorial Theory of Objects as Observed Processes
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
On the road to behavior-based integration
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Enacting Conformance Assessment of Business Processes " An ebXML Based Approach in E-ADOME
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Requester-centered composition of business processes from internal and external services
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Object-oriented behavioral testing through trace generation
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Modelling inter-process dependencies with high-level business process modelling languages
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Exploiting semantics of inter-process dependencies to instantiate predefined integration patterns
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Mining taxonomies of process models
Data & Knowledge Engineering
A systematic review of UML model consistency management
Information and Software Technology
WSEAS Transactions on Computers
Formal automated analysis of object oriented software models
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Managing knowledge in the human genetic variation (HGV) testing context
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Navigation consistency in web site families
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
A conceptual modeling approach for web service composition supporting service re-configuration
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Formal verification of stochastic timing behavior in web-based business process collaboration
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Process compliance analysis based on behavioural profiles
Information Systems
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
An artifact-centric view-based approach to modeling inter-organizational business processes
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Perceived consistency between process models
Information Systems
MASPEGHI 2004 mechanisms for specialization, generalization and inheritance
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Mining hierarchies of models: from abstract views to concrete specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Applying specialization to petri nets: implications for workflow design
BPM'05 Proceedings of the Third international conference on Business Process Management
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Multilevel business process modeling: motivation, approach, design issues, and applications
Proceedings of the 5th Ph.D. workshop on Information and knowledge
Tracking linear and affine resources with JAVA(X)
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A framework for behavior-consistent specialization of artifact-centric business processes
BPM'12 Proceedings of the 10th international conference on Business Process Management
Behavioral Refinement and Compatibility of Statechart Extensions
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination
Proceedings of the 17th International Software Product Line Conference co-located workshops
Design for service compatibility
Software and Systems Modeling (SoSyM)
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Hi-index | 0.00 |
Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but also by providing an overall description on how instances evolve over time. Such a description is often referred to as "object life cycle."Object-oriented systems organize object types in hierarchies in which subtypes inherit and specialize the structure and behavior of their supertypes. Past experience has shown that unrestricted use of inheritance mechanisms leads to system architectures that are hard to understand and to maintain, since arbitrary differences between supertype and subtype are possible. Evidently, this is not a desirable state of affairs and the behavior of a subtype should specialize the behavior of its supertype according to some clearly defined consistency criteria. Such criteria have been formulated in terms of type systems for semantic data models and object-oriented programming languages. But corresponding criteria for the specialization of object life cycles have so far not been thoroughly investigated.This paper defines such criteria in the realm of Object Behavior Diagrams, which have been originally developed for the design of object-oriented databases. Its main contributions are necessary and sufficient rules for checking behavior consistency between object life cycles of object types in specialization hierarchies with multiple inheritance.