Comparing Petri net and activity diagram variants for workflow modelling - a quest for reactive Petri nets.
In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science. Springer, (To appear).
Methodologies for requirements engineering research and practice.
In V. Gervasi, D. Zowghi, S. Easterbrook, and S. E. Sim, editors, Comparative Evaluation in Requirements Engineering (CERE'03), 2003.
Workshop at 11th IEEE International Requirements Engineering Conference.
Second International Workshop on From SofTware Architectures to Architectures (STRAW'03).
In 25th ITTT International Conference on Software Engineering, pages 797-798. IEEE Computer Science Press, 2003.
A value-oriented approach to e-business process design.
In Conference on Advanced Information System Engineering (CAiSE 03), pages 390-403. Springer, 2003.
LNCS 2681.
Aligning application architecture to the business context.
In Conference on Advanced Information System Engineering (CAiSE 03), pages 209-225, 2003.
LNCS 2681.
Design Methods for Reactive Systems: Yourdon, Statemate and the UML.
Morgan Kaufmann, 2003.
Requirements-level semantics and model checking of object-oriented statecharts.
Requirements Engineering Journal, 7(4):243-263, 2002.
Extending CTL with actions and real time.
Journal of Logic and Computation, 12(4):607-621, 2002.
Requirements engineering-based conceptual modeling.
Requirements Engineering Journal, 7(2):61-72, 2002.
Verification support for workflow design with UML activity graphs.
In 24th International Conference on Software Engineering (ICSE 2002), pages 166-176, 2002.
An execution algorithm for UML activity graphs.
In M. Gogolla and C. Kobryn, editors, Fourth International Conference on the Unified Modeling Language
UML
2001, volume 2185 of Lecture Notes
in Computer Science, pages 47-61. Springer, 2001.
A comparison of petri net and activity diagram variants.
In Proceedings 2nd International Colloquium on Petri Net Technologies for Modeling Communication Based Systems, Berlin, Germany, 2001.
A fixed-point characterization of a deontic logic of regular action.
Fundamenta Informaticae, pages 107-128, November 2001.
Software requirements engineering: The need for systems engineering and literacy.
Requirements Engineering Journal, 6(2):132-134, 2001.
Computers kunnen niet rechtspreken.
Automatiseringsgids, page pagina 19, 4 mei 2001.
Techniques for reactive system design: The tools in TRADE.
In K.R. Dittrich, A. Geppert, and M.C. Noirie, editors, Advanced Information Systems Engineering (CAiSE), pages 93-107. Springer, 2001.
Lecture Notes in Computer Science 2068.
Regular database update logics.
Theoretical Computer Science, 254(1-2):591-661, 2001.
A real-time execution semantics for UML activity diagrams.
In H. Hussmann, editor, Fundamental Approaches to Software Engineering (FASE), pages 76-90. Springer, 2001.
Lecture Notes in Computer Science 2029.
Architectuur is systeem.
In Landelijk Architectuurcongres, 23-24 November 2000.
Een raamwerk voor architectuur als systematische samenhang.
In Landelijk Architectuurcongres, 23-24 November 2000.
Two case studies of subsystem design for general-purpose CSCW software architectures.
In Landelijk Architectuurcongres, 23-24 November 2000.
The declarative problem frame: Designing systems that create and use norms.
In 10th International Workshop on Software Specification and Design (IWSSD-10), pages 75-85. IEEE Computer Society, 2000.
Extending CTL with actions and real time.
In International Conference on Temporal Logic 2000, pages 105-114, October 4-7 2000.
A case base for requirements engineering: problem categories and solution techniques.
In K. Pohl and M. Rossi, editors, Sixth International Workshop on Requirements Engineering: Foundation for Software Quality, June 2000.
Requirements level semantics for UML statecharts.
In S.F. Smith and C.L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS) IV, pages 121-140, 2000.
A semantics for persistency in propositional dynamic logic.
In J. Lloyd V. Dahl, U. Furbach, Manfred Kerber, K.-K. Lau, C. Palamidessi, L. M. Pereira, Y. Sagiv, and P.J. Stuckey, editors, Proceedings First International Conference on Computational Logic (CL2000), Lecture Notes in Artificial Intelligence, 1861, pages 912-925. Springer, 2000.
Ontologies and diagrams for software and systems engineering.
In Firth World Conference on Integrated Design and Process trechnology, June 4-8, 2000, Dallas, 2000.
Mu-calculus-based deontic logic for regular actions.
In Robert Demolombe and Risto Hilpinen, editors, Pre-proceedings Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), pages 43-61, 2000.
Thirty one problems in the semantics of UML 1.3 dynamics.
In R. France, J.-M. Bruel, B. Henderson-Sellers, A. Moreira, and B. Rumpe, editors, OOPSLA 99 Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, 1999.
A logic for the specification of multi-object systems.
In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Formal methods for Open Object-Based Distributed Systems, pages 387-398. Kluwer, 1999.
Embedding object-oriented design a systems engineering approach.
In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 287-310. Kluwer, 1999.
Update of a previous paper, that appeared in Second ECOOP Workshop on Precise Behavioral semantics, July 1998.
Towards a method for evolutionary implementation of groupware.
In A.L. Opdahl, K. Pohl, and E. Dubois, editors, Proceedings of the Fifth International Workshop on Requirements Engineering: Foundations for Software Quality (REFSQ'99), pages 187-192, 1999.
A survey of structured and object-oriented software specification methods and techniques.
ACM Computing Surveys, 30(4):459-527, December 1998.
De onzichtbare wereld van de informaticus: Conceptuele modellen en virtuele objecten.
Technical report, Department of Computer Science, University of Twente, 1998.
inaugural lecture.
Subsystem design guidelines for extensible general-purpose software.
In J.N. Magee and D.E. Perry, editors, International Software Architecture Workshop, pages 49-52. ACM Press, New York City, NY, USA, 1998.
Domain-oriented architecture design for production control software.
In J. Bosch, H. Bachatene, G. Hedin, and K. Koskimies, editors, ECOOP98 Workshop on Object-Oriented Software Architectures. Department of Computer Science and Business Administration, University of Karlskrona/Ronneby, 1998.
Integrating semi-formal and formal software specification techniques.
Information Systems, 23(3/4), 1998.
The role of deontic logic in the specification of information systems.
In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 71-115. Kluwer, 1998.
Postmodern software design with NYAM: Not yet another method.
In M. Broy and B. Rumpe, editors, Requirements Targeting Software and Systems Engineering, pages 69-94. Springer, 1998.
Lecture Notes in Computer Science 1526.
Preferential semantics for action specification in first-order modal action logic.
In ECAI-98 Workshop on Practical Reasoning and Rationality, 1998.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/98-PrefActionSemantics.ps.Z. month = August.
Overheid moet stabiliteit opleidingen garanderen.
Automatiseringsgids, page 17, 13 maart 1998.
A minimal transition system semantics for lightweight class- and behavior diagrams.
In M. Broy, D. Coleman, T. Maibaum, and B. Rumpe, editors, ICSE98 Workshop on Precise Semantics for Software Modeling techniques, pages 129-151, 1998.
Report TUM-I9803, Technische Universität München.
Traceability and modularity in software design.
In Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9). IEEE, 1998.
Advanced object-oriented requirement specification methods.
Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997.
Tutorial presented at the International Symposium of Requirements Engineering, 6-10 january 1997, Annapolis, U.S.A.
Integrating semi-formal and formal requirements.
In A. Olivé and J.A. Pastor, editors, Advanced Information Systems Engineering, pages 19-32. Springer, 1997.
Lecture Notes in Computer Science 1250. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/97-TradeAlbert.ps.Z.
Minimal Semantics for Action Specifications in PDL.
In Joeri Engelfriet and Martijn Spaan, editors, Proceedings Accolade '96, pages 15-30, Department of Mathematics and Computer Science, University of Amsterdam, 1996. Dutch Graduate School in Logic.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/96-ActionSpecProp.ps.Z.
A formal analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques.
Requirements Engineering, 1:106-131, 1996.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/96-ShlaerMellorFormalization.ps.Z.
An integrated framework for ought-to-be and ought-to-do constraints.
Artificial Intelligence and Law, 4:77-111, 1996.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/96-AIandLaw.ps.Z.
Free choice and contextually permitted actions.
Studia Logica, 57:193-220, 1996.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/96-FreeChoice.ps.Z.
A modal approach to intentions, commitments and obligations: Intention plus commitment yields obligation.
In M.A. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, pages 80-97. Springer, 1996.
Workshops in Computing. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/95-intentions.ps.Z.
Requirements Engineering: Frameworks for Understanding.
Wiley, 1996.
Reactie en repliek op ``een analyse van methoden voor systeemontwikkeling''.
Informatie, 37:629-631, 1995.
Validating specifications of dynamic systems using automated reasoning techniques.
In J.C. Bioch and Y.-H. Tan, editors, NAIC'95: Proceedings of the Seventh Dutch Conference on Artificial Intelligence, pages 105-114, 22-23 June 1995 1995.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/95-validation.ps.Z.
Information Systems - Correctness and Reusability. Selected papers from the IS-CORE workshop. World Scientific Publishing, 1995.
Object identifiers, keys, and surrogates-- object identifiers revisited.
Theory and Practice of Object Systems, 1(2):101-114, 1995.
Using dynamic classes and role classes to model object migration.
Theory and Practice of Object Systems, 1(1):61-83, 1995.
Combining static and dynamic modeling methods: a comparison of four methods.
The Computer Journal, 38(1):17-30, 1995.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/95-MethodIntegration.ps.Z.
Een analyse van methodes voor informatiesysteemontwikkeling.
Informatie, 37(1):23-30, Januari 1995.
Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases.
Journal of Logic and Computation, 5(1):27-50, 1995.
Integration of formal and informal techniques for requirements engineering.
In M. Willems, D. Fensel, and F. van Harmelen, editors, Modelling Languages for Knowledge-Based Systems. Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam and Department of Social Science Informatica, University of Amsterdam, 1995.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/95-FormalInformal.ps.Z.
Validating database constraints and updates using automated reasoning techniques.
In B. Thalheim, editor, Proceedings of the Workshop on Semantics in Databases, pages 24-32. Fakultät für Mathematik, Naturwissenschaften und Informatik, Technische Universität Cottbus, 1995.
Technical report. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/94-validation.ps.Z.
A dynamic logic for reasoning about sub-ideal states.
In Proceedings, ECAI Workshop on Artificial Normative Reasoning, pages 79-92, 1994.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/94-subideal.ps.Z.
Inheritance conditions for object life cycle diagrams.
In U.W. Lipeck and G. Vossen, editors, Formale Grundlagen für den Entwurf von Informationsystemen, pages 79-88. Institut für Informatik, Universität Hannover, Postfach 6009, D-30060, Hannover, May 1994.
Informatik-Berichte Nr. 03/94. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/94-LifeCycleInheritance.ps.Z.
Transaction decomposition in object-oriented models.
In E. Dubois, P. Hartel, and G. Saake, editors, Proceedings of the Workshop on Formal Methods for Information System Dynamics, 1994.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/94-transactions.ps.Z.
Combining Troll with the Object Modeling Techique.
In B. Wolfinger, editor, Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, pages 35-42. Springer, Informatik aktuell, 1994.
Roles and dynamic subclasses: a modal logic approach.
In M. Tokoro and R. Pareschi, editors, Object-Oriented Programming, 8th European Conference (ECOOP'94), pages 32-59. Springer, 1994.
Lecture Notes in Computer Science 821. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/93-Roles.ps.Z Revised and extended version appears in [56].
Contextual permission: A solution to the free choice paradox.
In A.J.I. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science (DEON'94), pages 107-130. Norwegian Research Center for Computers and Law, 1994.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/93-DeonticContext.ps.Z.
LCM 3.0: Specification of a control system using dynamic logic and process algebra.
In C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems -- Case Study Production Cell, pages 333-355. Springer, 1994.
Lecture Notes in Computer Science 891. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/94-ProductionCell.ps.Z.
Combining TROLL with the Object Modeling Technique.
In B. Wolfinger, editor, Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, Informatik aktuell, pages 35-42. Springer-Verlag, 1994.
OMTROLL -- Object Modeling in Troll.
Proceedings of the International Worskshop on Information Systems -- Correctness and Reusability (IS-CORE'93), Udo W. Lipeck and G. Koschorrek (eds), pages 267-283. Institut für Informatik, Universität Hannover, Postfach 6009, D-30060, Hannover. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/93-OmTroll.ps.Z, September 1993.
Actors, actions, and initiative in normative system specification.
Annals of Mathematics and Artificial Intelligence, 7:289-346, 1993.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/93-DeonticActors.ps.Z.
Deontic Logic in Computer Science, volume 9(1-2) of Special issue of Annals of Mathematics and Artificial Intelligence.
J.C. Balzer A.G., 1993.
Deontic Logic in Computer Science: Normative System Specification.
Wiley, 1993.
Applications of deontic logic in computer science: A concise overview.
In J.-J.Ch. Meyer and R.J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pages 17-40. Wiley, 1993.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/93-DeonticApplications.ps.Z.
Deontic logic: A concise overview.
In J.-J.Ch. Meyer and R.J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pages 3-16. Wiley, 1993.
An integrated system for ought-to-be and ought-to-do.
In J. Horty, Y. Shoham, J. Doyle, H. Levesque, and M. Pollack, editors, Working Notes, AAAI Spring Symposium Series, pages 48-57, Stanford University, March 23, 24, 25 1993.
Dynamic database logic: The first-order case.
In U.W. Lipeck and B. Thalheim, editors, Modelling Database Dynamics, pages 103-120. Springer, 1993.
Special Issue of Data and Knowledge Engineering, Dynamic Specification of Temporal Semantics of Conceptual Models, October 1991.
vol. 6, nr. 6.
Object-oriented analysis, structured analysis, and Jackson System Development.
In F. van Assche, B. Moulin, and C. Rolland, editors, Object Oriented Approach in Information Systems, pages 1-21. North-Holland, 1991.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/91-SA-OO-JSD.ps.Z.
A formalization of objects using equational dynamic logic.
In C. Delobel, M. Kifer, and Y. Masunaga, editors, 2nd International Conference on Deductive and Object-Oriented Databases (DOOD'91), pages 431-452. Springer, 1991.
Lecture Notes in Computer Science 566. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/91-DynamicObjects.ps.Z.
Actor-oriented specification of dynamic and deontic integrity constraints.
In B. Talheim, J. Demetrovics, and H.-D. Gerhardt, editors, 3rd Symposium om Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS 91), pages 89-103. Springer, 1991.
Lecture Notes in Computer Science 495. ftp://ftp.cs.utwente.nl/pub/doc/MAICS/91-Actors.ps.Z.
The inheritance of dynamic and deontic integrity constraints.
Annals of Mathematics and Artificial Intelligence, 3:393-428, 1991.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/91-Inheritance.ps.Z.
Declarative semantics of passive and active updates in logic databases.
In Proceedings, 3rd International Workshop on Foundations of Models and Languages for Data and Objects, pages 37-46, Aigen, Austria, September 1991.
Some finite-graph models for process algebra.
In J.C.M. Baeten and J.F. Groote, editors, 2nd International Conference on Concurrency Theory (CONCUR'91), pages 495-509, 1991.
Equational specification of dynamic objects.
In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design, and Construction (DS-4), pages 415-438. North-Holland, 1991.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/91-EquationalSpecOfOBjects.ps.Z.
Actor-oriented system specification with dynamic logic.
In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), volume 2, pages 337-357. Springer, 1991.
Lecture Notes in Computer Science 494.
Steps towards a method for the formal modeling of dynamic objects.
Data and Knowledge Engineering, 6:509-540, 1991.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/91-StepsToOO.ps.Z.
Algebraic Foundations for Dynamic Conceptual Models.
PhD thesis, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, May 1990.
An integrated specification of values, objects and processes for object-oriented models.
In J. Göers and A. Heuer, editors, Proceedings, 2nd International Workshop on Foundations of Models and Languages for Data and Objects, pages 199-208. Institut für Informatik, Technische Universität Clausthal, Postfach 1253, 3392 Clausthal-Zellerfeld, Germany, September 1990.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/90-Aigen.ps.Z.
Algebraic specification of object dynamics in knowledge base domains.
In R.A. Meersman, Zhongshi Shi, and Chen-Ho Kung, editors, Artificial Intelligence in Databases and Information Systems (DS-3), pages 411-436. North-Holland, 1990.
How to eat a cake without having it: An evaluation of the IFIP Working Group 8.1 Report on Information Systems Methodologies.
In IFIP 8.1. Review Workshop, Sesimbra, Portugal, 5-6 June 1989.
ftp://ftp.cs.utwente.nl/pub/doc/MAICS/89-cake.ps.Z.
Three roles of conceptual models in information system design and use.
In E.D. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 31-51. North-Holland, 1989.
Specifying dynamic and deontic integrity constraints.
Data and Knowledge Engineering, 4:157-189, 1989.
A specification language for static, dynamic and deontic integrity constraints.
In J. Demetrovics and B. Thalheim, editors, 2nd Symposium on Mathematical Fundamentals of Database Systems, pages 347-366. Springer, 1989.
Lecture Noes in Computer Science 364.
Machine Intelligence and Explication.
Eburon, 1987.
http://www.cs.utwente.nl/~roelw/MI.ps.
Expertsystemen in de landbouw: Een voorbeeld uit de fytopathologie.
In Agro-informatica reeks nr. 1, Wageningen, 1987.
The republic of Zambia.
International Demographics, 5(2):1-9, May 1986.
Fenomenologische opmerkingen over metingen van hersenmechanismes van de visuele aandacht.
Algemeen Nederlands Tijdschrift voor Wijsbegeerte, pages 69-82, April 1984.