Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
Solving inheritance anomaly with OMNets
Journal of Computer Science and Technology
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Net-Based Multi-tier Behavior Inheritance Modelling Method
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Flexible Workflow Management Systems: An Approach Based on Generic Process Models
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Checking behavioural subtypes via refinement
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
A TCPN based approach to model the coordination in virtual manufacturing organizations
Computers and Industrial Engineering
Requester-centered composition of business processes from internal and external services
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Event structure semantics of Orc
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A semantic approach for business process model abstraction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Perceived consistency between process models
Information Systems
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
State propagation in abstracted business processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
From fine-grained to abstract process models: A semantic approach
Information Systems
| Hi-index | 0.01 |